Normalize in orphan check

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

Normalize in orphan check #104

Open nikomatsakis opened 11 months ago

lcnr commented 9 months ago

Update: WIP PR by @fmease in https://github.com/rust-lang/rust/pull/117164

fmease commented 4 months ago

We now normalize during orphanck and treat ty params in rigid alias tys to be uncovered.

However, for projections specifically, we don't emit a hard error but just a future-incompat dont-report-in-deps warn-by-default lint (tracked in rust-lang/rust#124559).