Open
Description
This is the types team tracking issue for the idea of changing type aliases from a "early expanded hack" in the compiler into a simple form of alias type (one that can always be normalized). This would allow us to enforce aliases and potentially improve diagnostics.
Blocked on lang-team, who needs to decide whether we want to do this change and especially the desired semantics for implied bounds.
Metadata
Metadata
Assignees
Type
Projects
Status
No status
Status
Fixed By