| //@ check-pass |
| //@ revisions: current next |
| //@ ignore-compare-mode-next-solver (explicit revisions) |
| //@[next] compile-flags: -Znext-solver |
| |
| // Fix for <https://github.com/rust-lang/rust/issues/125196>. |
| |
| trait Tr { |
| type Gat<T>; |
| } |
| |
| struct W<T>(T); |
| |
| fn foo<T: Tr>() where for<'a> &'a T: Tr<Gat<W<i32>> = i32> { |
| let x: <&T as Tr>::Gat<W<_>> = 1i32; |
| // Previously, `match_projection_projections` only checked that |
| // `shallow_resolve(W<?0>) = W<?0>`. This won't prevent *all* inference guidance |
| // from projection predicates in the environment, just ones that guide the |
| // outermost type of each GAT constructor. This is definitely wrong, but there is |
| // code that relies on it in the wild :/ |
| } |
| |
| fn main() {} |
