interface I

// INFO: {"checked": "true"}
interface X<T>

// INFO: {"checked": "true"}
interface Y<T>

// INFO: {"checked": "true"}
interface Z<T>

open class A<T, U>

class B<S> : A<X<S>, Y<S>>(), Z<I>, X<X<S>>, Y<X<I>>