[WIP] rustc_typeck: check well-formedness of type aliases.#54033

eddyb wants to merge 2 commits intorust-lang:masterrust-lang/rust:masterfrom

eddyb:alias-waffleseddyb/rust:alias-wafflesCopy head branch name to clipboard