// compile-flags: -Znext-solver
// check-pass

fn require_fn(_: impl Fn() -> i32) {}

fn main() {
    require_fn(|| -> i32 { 1i32 });
}