| //@ 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, _, _>(|_| {}); | |
| } |