blob: d1df1defb05514b6209a24d702f7a28ea7fc6c22 [file] [log] [blame] [edit]
//@ compile-flags: -Cmetadata=aux
pub trait Trait {
type Output;
}
pub fn fun<T>(_: T) where T: Trait<Output=i32> {}