Avoid unnecessary mk_ty calls in Ty::super_fold_with.#37705

Merged

bors merged 1 commit intorust-lang:masterfrom nnethercote:fewer-mk_ty-calls

Nov 12, 2016

+1-1

Commits on Nov 11, 2016

Avoid unnecessary mk_ty calls in Ty::super_fold_with.
nnethercote
committed