src/test/ui/mir/mir_coercion_casts.rs


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 ()) { }