normalize adt fields during structural match checking#72897
Merged
bors merged 2 commits intorust-lang:masterfrom Jun 11, 2020
Merged
normalize adt fields during structural match checking#72897bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom
Commits
Commits on Jun 1, 2020
Commits on Jun 2, 2020
- committed