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