blob: 002a3c43fcba6a7ce51f061ea72f8a87e2c68915 [file] [log] [blame]
trait Q<T:?Sized> {}
trait Foo where u32: Q<Self> {
fn foo(&self);
}
impl Q<()> for u32 {}
impl Foo for () {
fn foo(&self) {
println!("foo!");
}
}
fn main() {
let _f: Box<dyn Foo> = //~ ERROR `Foo` cannot be made into an object
Box::new(()); //~ ERROR `Foo` cannot be made into an object
}