Skip to content

Remove adt_def from projections and downcasts in MIR#59514

Merged
bors merged 2 commits intorust-lang:masterfrom
tmandry:remove-adt-def-from-projection-elem
Apr 3, 2019

Commits

Commits on Apr 2, 2019