blob: e9d332455c04eaa3fb7deb232ecb046764717272 [file] [log] [blame]
//@ compile-flags: -Znext-solver
//@ check-pass
fn require_fn(_: impl Fn() -> i32) {}
fn main() {
require_fn(|| -> i32 { 1i32 });
}