Choose predicates without inference variables over those with them#55453
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 7, 2018
Merged
Choose predicates without inference variables over those with them#55453bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
