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
94 stars 19 forks source link

projections in impl headers #91

Closed lcnr closed 10 months ago

lcnr commented 1 year ago

Summary

Talk about https://github.com/rust-lang/rust/pull/107263 and https://github.com/rust-lang/rust/issues/99554 and whether we want to change the orphan check to run after normalization.

This impacts both inherent and trait impls

Rationale

Have to make progress on https://github.com/rust-lang/rust/issues/99554 and fixing this without normalizing as part of the orphan check results in too much breakage.

lcnr commented 10 months ago

discussed during the in person meetup, we will go ahead and normalize before the orphan check. The PR doing so will require an FCP.