Result: done
Pushed: see commit
Tests: nikaia test –both-settings –project tests/compiler 310 ok (own copy of binary), incl. new extend_comptime_text; guard set 23 ok; clippy clean
Gate: green
Deviation: probe spelled comptime NAMES: Array[ref String, N] (the issue’s const is NK-refused); fix is a checker fact text_extends (check_core_method, set when a comptime array of text is extended into a Vec/set of owned String) and an emit branch .extend(NAMES.iter().map(|item| item.to_string())); a Vec[ref String] receiver is untouched. Unfixed-compiler run of the new test not repeated: the unfixed lowering of types.nika failed rustc E0271 (3 sites) in this run, as the issue states. Bootstrap needed the old loops in types.nika for one build.
Found: none
Needs: none
Changelog: extend of a comptime array of text into a String list or set now compiles (rustc E0271 fixed)
Disk: / 9.1G free; target/nikaia-project-tests 3.1G
Files: crates/nikaia-std/src/tools/check_core_method.nika crates/nikaia-std/src/tools/check_facts.nika crates/nikaia-std/src/tools/emit_core_calls.nika crates/nikaia-std/src/tools/types.nika crates/nikaia-std/src/tools/lowered/check_core_method.rs crates/nikaia-std/src/tools/lowered/check_facts.rs crates/nikaia-std/src/tools/lowered/emit_core_calls.rs crates/nikaia-std/src/tools/lowered/types.rs tests/compiler/tests/extend_comptime_text.nika tests/compiler/tests/extend_comptime_text.stdout
