//@ compile-flags: -Cmetadata=aux
pub trait Trait {
type Output;
}
pub fn fun<T>(_: T) where T: Trait<Output=i32> {}