1 2 3 4 5 6 7 8 9 10 11
//@ check-pass trait T { unsafe extern "Rust" fn foo(&self); } impl T for () { unsafe extern "Rust" fn foo(&self) {} } fn main() {}