1 #![feature(generic_associated_types)]
2 #![feature(associated_type_defaults)]
10 // Test parameters in default values
11 type FOk<T> = Self::E<'static, T>;
12 type FErr1 = Self::E<'static, 'static>;
13 //~^ ERROR this associated type takes 1 lifetime argument but 2 lifetime arguments were supplied
14 //~| ERROR this associated type takes 1
15 type FErr2<T> = Self::E<'static, T, u32>;
16 //~^ ERROR this associated type takes 1