cmd/compile: make prove use non-equality in subtraction for a stronger bound#76609

Open

uellenberg wants to merge 1 commit intogolang:masterfrom

uellenberg-contrib:prove-sub-equality

Commits on Dec 4, 2025

cmd/compile: make prove use non-equality in subtraction for a stronger bound
uellenberg
committed