Skip to content

polymorphize: if any param in a predicate is used, then all are used#75595

Merged
bors merged 1 commit intorust-lang:masterfrom
davidtwco:polymorphization-predicate-simplification-correction
Aug 20, 2020

Commits

Commits on Aug 17, 2020