src/test/ui/unboxed-closures/unboxed-closures-blanket-fn.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

// run-pass
#![allow(unused_variables)]
// Test that you can supply `&F` where `F: Fn()`.

#![feature(lang_items)]

fn a<F:Fn() -> i32>(f: F) -> i32 {
    f()
}

fn b(f: &dyn Fn() -> i32) -> i32 {
    a(f)
}

fn c<F:Fn() -> i32>(f: &F) -> i32 {
    a(f)
}

fn main() {
    let z: isize = 7;

    let x = b(&|| 22);
    assert_eq!(x, 22);

    let x = c(&|| 22);
    assert_eq!(x, 22);
}