Skip to content

Rename struct types to ADT types and introduce new interned ADT ID#454

Merged
nikomatsakis merged 2 commits intorust-lang:masterfrom AzureMarker:tweak/generalize-struct-typeMay 18, 2020