Actually add the requested comment from review#6390
Merged
dwblaikie merged 1 commit intocarbon-language:trunkfrom Nov 18, 2025
Merged
Actually add the requested comment from review#6390dwblaikie merged 1 commit intocarbon-language:trunkfrom
dwblaikie merged 1 commit intocarbon-language:trunkfrom