Emit fewer `assume`s now that we have `range` metadata on parameters#135610

scottmcm wants to merge 2 commits intorust-lang:masterrust-lang/rust:masterfrom

scottmcm:assume-lessscottmcm/rust:assume-lessCopy head branch name to clipboard