]>
Commit | Line | Data |
---|---|---|
f9f354fc XL |
1 | // check-pass |
2 | ||
3 | #![feature(const_generics)] | |
4 | //~^ WARN the feature `const_generics` is incomplete | |
5 | ||
6 | trait Baz { | |
7 | type Quaks; | |
8 | } | |
9 | impl Baz for u8 { | |
10 | type Quaks = [u16; 3]; | |
11 | } | |
12 | ||
13 | trait Bar {} | |
14 | impl Bar for [u16; 3] {} | |
15 | impl Bar for [[u16; 3]; 2] {} | |
16 | ||
17 | trait Foo | |
18 | where | |
19 | [<u8 as Baz>::Quaks; 2]: Bar, | |
20 | <u8 as Baz>::Quaks: Bar, | |
21 | { | |
22 | } | |
23 | ||
24 | struct FooImpl; | |
25 | ||
26 | impl Foo for FooImpl {} | |
27 | ||
28 | fn f(_: impl Foo) {} | |
29 | ||
30 | fn main() { | |
31 | f(FooImpl) | |
32 | } |