Fix upper bound on non-strict while#941

Merged

strub merged 1 commit intomainfrom

fix-non-strict-variant-while

Mar 16, 2026

Commits on Mar 16, 2026

Ensure that upper bound for variant in non-strict while cannot be written to during the loop

oskgo
authored and
strub
committed