-// gcs0695.cs: `C<X,Y>' cannot implement both `I`1<K`1<Y>>' and `I`1<X>' because they may unify for some type parameter substitutions
+// gcs0695.cs: `C<X,Y>' cannot implement both `I<K<Y>>' and `I<X>' because they may unify for some type parameter substitutions
// Line: 10
interface I<X>