tests/ui/sized-hierarchy/reject-dyn-pointeesized.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#![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
}