//
// Testing that type items with where clauses output correctly.
// pp-exact
fn main() {
type Foo<T> where T: Copy = Box<T>;
}