Result: done (#960 steps 1-4)
Pushed: 8414dc2 develop
Tests: tests/compiler –both-settings 278 passed, 1 failed (a_let_mut_of_a_list_element_blocks_a_read_of_the_list, untracked, #959’s); the 3 new tests pass; guard set green; clippy –all-targets green
Gate: green
Deviation: lower-std aborts on the dirty comptime_tree.nika (another agent’s: NK2305 on emit_unit(at, beside..) in a for over beside, present before my change); lowered/view_changes.rs written by lower-std on a sysroot copy with HEAD’s comptime_tree. The new tests were not run against an unfixed compiler (the issue’s probe shows rustc’s refusal there). Hand-over to a callee that keeps the lent list is not refused (only changes are), vc_first_viewing skips loop views.
Found: lowered/check_core_stmt.rs, emit_stmt.rs, comptime_tree.rs are other agents’ uncommitted lowering, not committed by me
Needs: supervisor: version raise and CHANGELOG (Part I 3.3 sentence, Part III NK2305 row), issue #960 closes with this commit
Changelog: A for lends its list: changing it in the body (method, element assignment, whole assignment) is NK2305 instead of a rustc error; reading stays allowed.