Fully serialize AdtDef#91924

Merged

bors merged 3 commits intorust-lang:masterfrom

Aaron1011:serialize-adt-def

Dec 20, 2021

Commits on Dec 15, 2021

Commits on Dec 16, 2021

Only cache local adt_def results on disk
Aaron1011
committed