| trait X { |
| type Y<'a>; |
| } |
| |
| const _: () = { |
| fn f2<'a>(arg : Box<dyn X<Y<1> = &'a ()>>) {} |
| //~^ ERROR associated type takes 1 lifetime argument but 0 lifetime arguments |
| //~| ERROR associated type takes 0 generic arguments but 1 generic argument |
| //~| ERROR associated type takes 1 lifetime argument but 0 lifetime arguments |
| //~| ERROR associated type takes 0 generic arguments but 1 generic argument |
| //~| ERROR associated type takes 1 lifetime argument but 0 lifetime arguments |
| //~| ERROR associated type takes 0 generic arguments but 1 generic argument |
| //~| ERROR the trait `X` cannot be made into an object |
| }; |
| |
| fn main() {} |