tests/ui/trait-bounds/suggest-maybe-sized-bound.rs


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

// issue: 120878
fn main() {
    struct StructA<A, B = A> {
        _marker: std::marker::PhantomData<fn() -> (A, B)>,
    }

    struct StructB {
        a: StructA<isize, [u8]>,
        //~^ ERROR: the size for values of type `[u8]` cannot be known at compilation time [E0277]
    }

    trait Trait {
        type P<X>;
    }

    impl Trait for () {
        type P<X> = [u8];
        //~^ ERROR: the size for values of type `[u8]` cannot be known at compilation time [E0277]
    }
}