`deduce_closure_signature` fails in with ambiguous self-referential aliases

[lcnr]

trait Foo<'a> {
    type Input;
}

impl<'a, F: Fn(&'a u32)> Foo<'a> for F {
    type Input = &'a u32;
}

fn needs_super<F: for<'a> Fn(<F as Foo<'a>>::Input) + for<'a> Foo<'a>>(_: F) {}

fn main() {
    needs_super(|_: &u32| {}); // doesn't need deduce sig rn
    needs_super(|_| {}); // fails with old solver
}

taken from rust-lang/trait-system-refactor-initiative#191 (comment)

We currently don't decide the closure signature for needs_super even though we have a ?expectation: for<'a> Fn(<?expectation as Foo<'a>>::Input). Doing this properly relies on higher-kinded inference variables.

With higher-kinded infer vars, we could set the closure signature to ?inf[?expectation, 'a] and constrain that infer var via a Projection(<?expectation as Foo<'!a>>::Input, [?expectation, '!a]) goal (where '!a is a placeholder.