| #![feature(sized_hierarchy)] | |
| use std::marker::PointeeSized; | |
| type Foo = dyn PointeeSized; | |
| //~^ ERROR at least one trait is required for an object type | |
| fn foo(f: &Foo) {} | |
| fn main() { | |
| foo(&()); | |
| let x = main; | |
| let y: Box<dyn PointeeSized> = x; | |
| //~^ ERROR at least one trait is required for an object type | |
| } |