| //@ check-pass |
| //@ revisions: current next |
| //@ ignore-compare-mode-next-solver (explicit revisions) |
| //@[next] compile-flags: -Znext-solver |
| |
| // Regression test for <https://github.com/rust-lang/rust/issues/141708>. |
| |
| // See description in there; this has to do with fundamental limitations |
| // to the old trait solver surrounding higher-ranked aliases with infer |
| // vars. This always worked in the new trait solver, but I added a revision |
| // just for good measure. |
| |
| trait Foo<'a> { |
| type Assoc; |
| } |
| |
| impl Foo<'_> for i32 { |
| type Assoc = u32; |
| } |
| |
| impl Foo<'_> for u32 { |
| type Assoc = u32; |
| } |
| |
| fn foo<'b: 'b, T: for<'a> Foo<'a>, F: for<'a> Fn(<T as Foo<'a>>::Assoc)>(_: F) -> (T, F) { |
| todo!() |
| } |
| |
| fn main() { |
| let (x, c): (i32, _) = foo::<'static, _, _>(|_| {}); |
| } |
