about summary refs log tree commit diff
path: root/tests/ui/feature-gates/feature-gate-sized-hierarchy.rs
blob: 33688c2e2ce033d83802809f4ebe9c1871cfc7f7 (plain)
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
}