src/test/run-pass/mir/mir_coercion_casts.rs

   1 // run-pass
   2 // Tests the coercion casts are handled properly
   3
   4 fn main() {
   5     // This should produce only a reification of f,
   6     // not a fn -> fn cast as well
   7     let _ = f as fn(&());
   8 }
   9
  10 fn f<'a>(_: &'a ()) { }