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