Refactor definitions of ADTs in rustc::middle::def#31010

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom

petrochenkov:defpetrochenkov/rust:defCopy head branch name to clipboard