Result: partial Files: none Commit: none Body: none Pushed: none (nothing committed) Tests: probes on the new binary with the patch: both #1016 probes print 2, f(v).clone() then push gives 3, a trait method result (&[i64] in trait and impl), a method’s field result, a typed let and a for over the result all run; a function value fn(ref Vec[i64]) -> ref Vec[i64] now fails in rustc (g’s result stays &Vec in emit_core_types.nika:139-145, f is &[i64]); lower-std changed no other tools file; patch reverted, lower-std and build rerun, lowered emit_function.rs and emit_item.rs match HEAD again; gate not run (nothing committed, develop untouched: the Gate line means no change of mine) Gate: green Deviation: steps 1 and 2 not committed: completing step 1 needs emit_core_types.nika (a code type's result, code.result -> inner, gets a_list_read_as_a_slice like its parameters), which the brief does not list as mine; without it the patch breaks passing a function as a value; patch /tmp/claude-0/-home-user-Nikaia/5ad1a770-9209-429c-9dc3-4df73b6b8e76/scratchpad/b3-1016/b3-1016.patch, test draft a_list_view_result_is_a_slice.nika/.stdout in the same directory (covers the function value case too) Found: none Needs: owner decision: allow emit_core_types.nika in this brief (3 lines at line 141, plus the Call-lifetime result at line 172); also a ref Vec[T]? result (Option<&Vec>) over a &[T] parameter fails in rustc the same way, and the parameter rule (non-nullable only) does not cover it, so step 1 leaves it as is Changelog: none Owner: none Disk freed: 0 GB (target/nikaia-project-tests 3.3G, disk 7.5G free, no new cache entries over 100 MB) Rs2nika: none

This site is open source. Improve this page.