Notes for the Kalai maintainers. Both toolchains were built and run on one machine
(kalai 9a2066b9, rustc 1.83.0, icu4x a1123ac, Apple Silicon). Everything below is a
number produced there or a pointer into the source.
^:refon a parameter already emits&Tand works. What is missing is the&at call sites, and any analysis to decide where the annotation goes. Smallest change with the