1 #![feature(extern_types)] 2 3 extern "C" { 4 type A; 5 type B; 6 } 7 foo(r: &A) -> &B8 fn foo(r: &A) -> &B { 9 r //~ ERROR mismatched types 10 } 11 main()12 fn main() {} 13