]>
Commit | Line | Data |
---|---|---|
fc512014 XL |
1 | trait X { |
2 | type Y<'a>; | |
3 | } | |
4 | ||
5 | const _: () = { | |
6 | fn f2<'a>(arg : Box<dyn X<Y<1> = &'a ()>>) {} | |
17df50a5 XL |
7 | //~^ ERROR this associated type takes 1 lifetime argument but 0 lifetime arguments |
8 | //~| ERROR this associated type takes 0 generic arguments but 1 generic argument | |
fc512014 | 9 | }; |
5869c6ff XL |
10 | |
11 | fn main() {} |