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