idea/testData/checker/BoundsWithSubstitutors.kt

    open class A<T>
    class B<X : A<X>>()

    class C : A<C>()

    val a = B<C>()
    val a1 = B<<error>Int</error>>()

    class X<A, B : A>()

    val b = X<Any, X<A<C>, C>>()
    val b0 = X<Any, <error>Any?</error>>()
    val b1 = X<Any, X<A<C>, <error>String</error>>>()