Result: done
Files: crates/nikaia-std/src/tools/check_fields.nika crates/nikaia-std/src/tools/check_core_places.nika crates/nikaia-std/src/tools/check_shapes.nika crates/nikaia-std/src/tools/emit_core_places.nika crates/nikaia-std/src/tools/describe.nika crates/nikaia-std/src/tools/lowered/check_fields.rs crates/nikaia-std/src/tools/lowered/check_core_places.rs crates/nikaia-std/src/tools/lowered/check_shapes.rs crates/nikaia-std/src/tools/lowered/emit_core_places.rs crates/nikaia-std/src/tools/lowered/describe.rs crates/nikaia-std/src/tools/lowered.rs tests/compiler/tests/a_safe_field_after_a_maps_get_is_lent_not_moved.nika tests/compiler/tests/a_safe_field_after_a_maps_get_is_lent_not_moved.stdout
Commit: lowering: m.get(k)?.field lends the member like m[k]?.field
Fixes: #1194
Changelog: lowering: ?. after a get, first or last off a binding lends the member out of what the read finds instead of moving it (E0507)
Attribution:
Co-Authored-By: Claude Opus 5.5 noreply@anthropic.com
Claude-Session: https://claude.ai/code/session_01GFeMqxRbtUMiGVyDMxsvEq
Pushed: local e3344e428fd804053eec626d2619efbeba099e10
