Skip to content

Remove intermediate vectors from add_bounds#79460

Merged
bors merged 1 commit intorust-lang:masterfrom
bugadani:simplify
Nov 28, 2020

Commits

Commits on Nov 27, 2020