Correct retypechecking in --make mode
This addresses #20561 (closed): the rehydration of loops in --make mode
Draft for CI, I will come back to this later in the week when I am able to concentrate better and clean it up. The patch passes all the tests for me locally.
Todo:
-
Craft some notes based on Simon's very useful ticket and explanation -
Add some tests based on the examples in #20200 (closed)
Edited by Matthew Pickering