Remove adt_def from projections and downcasts in MIR#59514
Merged
bors merged 2 commits intorust-lang:masterfrom Apr 3, 2019
Merged
Remove adt_def from projections and downcasts in MIR#59514bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom