tests/rustdoc/assoc/auxiliary/issue-20646.rs

//@ compile-flags: -Cmetadata=aux

pub trait Trait {
    type Output;
}

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