1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
|
#![feature(extern_types)]
#![feature(sized_hierarchy)]
use std::marker::{MetaSized, PointeeSized};
fn needs_pointeesized<T: PointeeSized>() {}
fn needs_metasized<T: MetaSized>() {}
fn needs_sized<T: Sized>() {}
fn main() {
needs_pointeesized::<u8>();
needs_metasized::<u8>();
needs_sized::<u8>();
needs_pointeesized::<str>();
needs_metasized::<str>();
needs_sized::<str>();
//~^ ERROR the size for values of type `str` cannot be known at compilation time
extern "C" {
type Foo;
}
needs_pointeesized::<Foo>();
needs_metasized::<Foo>();
//~^ ERROR the size for values of type `main::Foo` cannot be known
needs_sized::<Foo>();
//~^ ERROR the size for values of type `main::Foo` cannot be known at compilation time
}
|