1 2 3 4 5 6 7 8 9 10 11 12
// check-pass trait Tup { type T0; type T1; } impl Tup for isize { type T0 = f32; type T1 = (); } fn main() {}