1 2 3 4 5 6 7 8 9 10 11 12
// { dg-options "-fsyntax-only" } trait Foo { type Bar; } trait Copy {} fn c<F: Foo<Bar: Foo>>() where F::Bar: Copy, { }