blob: 89e4c15371d4aa6639c5ab6090ae12e8df3b1e73 [file] [log] [blame]
#![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
}