mcs/errors/gcs0309-6.cs

   1 // CS0309: The type `B<int>' must be convertible to `D<B<int>>' in order to use it as parameter `X' in the generic type or method `C<X>'
   2 // Line: 3
   3 class A : C<B<int>> {}
   4 class B<X> {}
   5 interface C<X> where X : D<X> {}
   6 interface D<X> {}