Skip to content

convert AdtDef::destructor to on-demand#40178

Merged
bors merged 1 commit intorust-lang:masterfrom arielb1:provide-destructorsMar 3, 2017

Commits

Commits on Mar 1, 2017