// check-pass #![allow(dead_code)] #![allow(type_alias_bounds)] type Foo<T> where T: Copy = Box<T>; fn main(){}