Discuss plan for trait aliases -- should we stabilize? deprecate? some subset of them? how are they implemented, and are we comfortable with it?
Rationale
Trait aliases are a popular feature request. There's a lang-team component to this -- figuring out the precise scope and use-cases that make them so frequently requested, and deciding the best way to solve them -- but also a types team -- how do we feel about the implementation?
I've hard talk of stabilizing and also removing them, so clearly we need to get into alignment.
Summary
Discuss plan for trait aliases -- should we stabilize? deprecate? some subset of them? how are they implemented, and are we comfortable with it?
Rationale
Trait aliases are a popular feature request. There's a lang-team component to this -- figuring out the precise scope and use-cases that make them so frequently requested, and deciding the best way to solve them -- but also a types team -- how do we feel about the implementation?
I've hard talk of stabilizing and also removing them, so clearly we need to get into alignment.