| #![feature(generic_const_exprs)] |
| #![allow(incomplete_features)] |
| |
| 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 `X` cannot be made into an object |
| }; |
| |
| fn main() {} |