1 // Test a case where variance and higher-ranked types interact in surprising ways.
3 // In particular, we test this pattern in trait solving, where it is not connected
4 // to any part of the source code.
10 T: Trait<for<'b> fn(fn(&'b u32))>,
14 impl<'a> Trait<fn(fn(&'a u32))> for () {}
17 // Here, proving that `(): Trait<for<'b> fn(&'b u32)>` uses the impl:
19 // - The impl provides the clause `forall<'a> { (): Trait<fn(fn(&'a u32))> }`
20 // - We instantiate `'a` existentially to get `(): Trait<fn(fn(&?a u32))>`
21 // - We unify `fn(fn(&?a u32))` with `for<'b> fn(fn(&'b u32))` -- this does a
22 // "bidirectional" subtyping check, so we wind up with:
23 // - `fn(fn(&?a u32)) <: for<'b> fn(fn(&'b u32))` :-
24 // - `fn(&!b u32) <: fn(&?a u32)`
25 // - `&?a u32 <: &!b u32`
26 // - `?a: !'b` -- solveable if `?a` is inferred to `'static`
27 // - `for<'b> fn(fn(&'b u32)) <: fn(fn(&?a u32))` :-
28 // - `fn(&?a u32) <: fn(&?b u32)`
29 // - `&?b u32 <: &?a u32`
30 // - `?b: ?a` -- solveable if `?b` is inferred to `'static`
31 // - So the subtyping check succeeds, somewhat surprisingly.
32 // This is because we can use `'static`.
34 // NB. *However*, the reinstated leak-check gives an error here.
37 //~^ ERROR not satisfied