Skip to content

Avoid useless Vec clones in pending_obligations().#51412

Merged
bors merged 1 commit intorust-lang:masterfrom nnethercote:pending_obligationsJun 9, 2018
+7-9

Commits

Commits on Jun 7, 2018