RFC 2071: impl-trait-type-alias

lang (syntax | typesystem | impl-trait | inference)

Moved to 2071-impl-trait-existential-types.md.