-Znext-solver slightly strenghten deduce closure sig

[lcnr]

doesn't fully fix rust-lang/trait-system-refactor-initiative#191 due to remaining issues in rust-lang/trait-system-refactor-initiative#8. Notably, the following still breaks when switching solvers and would rely on actual eager norm to fix

trait Ref<'a, F> {
    type Input;
}

impl<'a, F> Ref<'a, F> for u32 {
    type Input = &'a u32;
}

fn needs_super<F: for<'a> Fn(<u32 as Ref<'a, F>>::Input)>(_: F) {}

fn main() {
    needs_super(|_| {});
}

r? @BoxyUwU

[rustbot]

changes to the core type system

cc @compiler-errors, @lcnr

Some changes occurred to the core trait solver

cc @rust-lang/initiative-trait-system-refactor