1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
// Regression test for #79714 trait Grault { type A; } impl<T: Grault> Grault for (T,) //~^ ERROR overflow evaluating the requirement `<(T,) as Grault>::A == _` where Self::A: Copy, { type A = (); } fn main() {}