tests/ui/traits/new-solver/fn-trait.rs


1
2
3
4
5
6
7
8
9
10
11
12
13

// compile-flags: -Ztrait-solver=next
// check-pass

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

fn f() -> i32 {
    1i32
}

fn main() {
    require_fn(f);
    require_fn(f as fn() -> i32);
}