blob: d566ead105c8627037706e6d43352aa81796d917 (
plain)
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);
}
|