about summary refs log tree commit diff
path: root/tests/ui/mir/mir_coercion_casts.rs
blob: bfb47d9cfa3652ae4d8478cca356eecc3a09c417 (plain)
1
2
3
4
5
6
7
8
9
10
//@ run-pass
// Tests the coercion casts are handled properly

fn main() {
    // This should produce only a reification of f,
    // not a fn -> fn cast as well
    let _ = f as fn(&());
}

fn f<'a>(_: &'a ()) { }