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

Closed

uellenberg wants to merge 1 commit intogolang:masterfrom

uellenberg-contrib:prove-sub-equality

Commits on Jan 29, 2026

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