1 2 3 4 5 6 7
// compile-flags: -Cmetadata=aux pub trait Trait { type Output; } pub fn fun<T>(_: T) where T: Trait<Output=i32> {}