// run-pass #![allow(dead_code)] // pretty-expanded FIXME #23616 trait Send { fn f(&self); } fn f<T:Send>(t: T) { t.f(); } pub fn main() { }