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