Skip to content

Reduce the number of clone()s needed in obligation_forest#52306

Merged
bors merged 1 commit intorust-lang:masterfrom
ljedrz:obligation_forest_clone
Jul 17, 2018

Commits

Commits on Jul 14, 2018