+++ /dev/null
-// 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>'
-// Line: 3
-class A : C<B<int>> {}
-class B<X> {}
-interface C<X> where X : D<X> {}
-interface D<X> {}