Open and answer this issue on GitHub.
ready · opened 2026-11-01 · updated 2026-11-01 · 0 comments
Found by the r3c move of type_rules (#125), docs/briefs/r3c-type-rules-direct.md.report.md; its probes are in the builder’s scratch folder (not in the repository) and on branch wip/r3c-type-rules-chunk2.
A taking arm (an arm that takes parts out of a mut parameter, lowered with mem::replace and a placeholder, ADR-views-1 D4/D5) that carries a guard (Variant { a, b } if cond =>) is not lowered as a taking arm: the parts are moved out of &mut and rustc refuses it (E0507).
To build:
