Remove intermediate vectors from `add_bounds`#79460

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

bugadani:simplifybugadani/rust:simplifyCopy head branch name to clipboard