]>
Commit | Line | Data |
---|---|---|
e74abb32 XL |
1 | pub trait Foo: Sized { |
2 | const SIZE: usize; | |
3 | ||
4 | fn new(slice: &[u8; Foo::SIZE]) -> Self; | |
60c5eb7d | 5 | //~^ ERROR: type annotations needed |
e74abb32 XL |
6 | } |
7 | ||
8 | pub struct Bar<T: ?Sized>(T); | |
9 | ||
10 | impl Bar<[u8]> { | |
11 | const SIZE: usize = 32; | |
12 | ||
13 | fn new(slice: &[u8; Self::SIZE]) -> Self { | |
14 | Foo(Box::new(*slice)) | |
15 | //~^ ERROR: expected function, tuple struct or tuple variant, found trait `Foo` | |
16 | } | |
17 | } | |
18 | ||
19 | fn main() {} |