src/test/pretty/issue-25031.rs

//
// Testing that type items with where clauses output correctly.

// pp-exact

fn main() {
    type Foo<T> where T: Copy = Box<T>;
}