]>
Commit | Line | Data |
---|---|---|
fc512014 | 1 | #![feature(generic_associated_types)] |
fc512014 XL |
2 | |
3 | const _: () = { | |
4 | trait X { | |
5 | type Y<'a>; | |
6 | } | |
7 | ||
8 | fn f1<'a>(arg : Box<dyn X<X::Y = u32>>) {} | |
5869c6ff | 9 | //~^ ERROR: expected one of |
fc512014 XL |
10 | }; |
11 | ||
12 | const _: () = { | |
13 | trait X { | |
14 | type Y<'a>; | |
15 | } | |
16 | ||
17 | trait Z {} | |
18 | ||
19 | impl<T : X<<Self as X>::Y<'a> = &'a u32>> Z for T {} | |
5869c6ff | 20 | //~^ ERROR: expected one of |
fc512014 XL |
21 | }; |
22 | ||
23 | const _: () = { | |
24 | trait X { | |
25 | type Y<'a>; | |
26 | } | |
27 | ||
28 | trait Z {} | |
29 | ||
30 | impl<T : X<X::Y<'a> = &'a u32>> Z for T {} | |
5869c6ff | 31 | //~^ ERROR: expected one of |
fc512014 XL |
32 | }; |
33 | ||
34 | fn main() {} |