//@ compile-flags: -Cmetadata=aux

pub trait Trait {
    type Output;
}

pub fn fun<T>(_: T) where T: Trait<Output=i32> {}