search

rust-lang / types-team

Home of the "types team", affiliated with the compiler and lang teams.
https://rust-lang.github.io/types-team/
Apache License 2.0
92 stars 19 forks source link

Enforce where-clauses on type aliases via alias type #111

Open nikomatsakis opened 9 months ago

nikomatsakis commented 9 months ago

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.

cc https://github.com/rust-lang/rust/issues/112792

nikomatsakis commented 9 months ago

This was discussed at the types team 2023 meetup; notes can be found here. The primary outcome was that we identified that @rust-lang/lang decision was needed and filed https://github.com/rust-lang/lang-team/issues/227.

fmease commented 1 month ago

No longer part of Rust '24 but still actively being worked on by me.