1 2 3 4 5 6
// check-pass pub trait Trait where Self::Out: std::fmt::Display { type Out; } fn main() {}