Skip to content

Correct retypechecking in --make mode

Matthew Pickering requested to merge wip/t20561 into master

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

Merge request reports