Skip to content

Don't clone in UnificationTable::probe().#37848

Merged
bors merged 1 commit intorust-lang:masterfrom nnethercote:UnificationTable-probeNov 20, 2016
+1-1

Commits

Commits on Nov 18, 2016