fixup! K2: soften requirements for supertype arguments accessibility
diff --git a/compiler/testData/diagnostics/tests/multimodule/SupertypesWithInaccessibleTypeArguments.fir.kt b/compiler/testData/diagnostics/tests/multimodule/SupertypesWithInaccessibleTypeArguments.fir.kt
index 2ae1e1f..37e6dfb 100644
--- a/compiler/testData/diagnostics/tests/multimodule/SupertypesWithInaccessibleTypeArguments.fir.kt
+++ b/compiler/testData/diagnostics/tests/multimodule/SupertypesWithInaccessibleTypeArguments.fir.kt
@@ -16,12 +16,22 @@
interface BoxedGenericType : Box<InaccessibleGenericSuperType<Nothing>>
interface BoxedGenericTypeWithGeneric<T> : Box<T>
interface ConcreteSuperType : InaccessibleConcreteSuperType
+interface VeryConcreteSuperType : InaccessibleConcreteSuperType
// MODULE: end(middle)
// FILE: end.kt
+// Type argument of 2nd level supertype is inaccessible
interface BoxedConcreteTypeImplementation : BoxedConcreteType
+// Type argument of 2nd level supertype is inaccessible
interface BoxedGenericTypeImplementation : BoxedGenericType
+// Supertype of type argument of direct supertype is inaccessible
<!MISSING_DEPENDENCY_SUPERCLASS_IN_TYPE_ARGUMENT!>interface BoxedGenericTypeWithGenericImplementation<!> : BoxedGenericTypeWithGeneric<ConcreteSuperType>
+
+// Type argument of supertype of type argument of direct supertype is inaccessible
+interface BoxedGenericTypeWithBoxedImplementation : BoxedGenericTypeWithGeneric<BoxedConcreteType>
+
+// 2nd level supertype of type argument of direct supertype is inaccessible
+<!MISSING_DEPENDENCY_SUPERCLASS_IN_TYPE_ARGUMENT!>interface VeryBoxedGenericTypeWithGenericImplementation<!> : BoxedGenericTypeWithGeneric<VeryConcreteSuperType>
diff --git a/compiler/testData/diagnostics/tests/multimodule/SupertypesWithInaccessibleTypeArguments.kt b/compiler/testData/diagnostics/tests/multimodule/SupertypesWithInaccessibleTypeArguments.kt
index 3b4a60a..f4926c1 100644
--- a/compiler/testData/diagnostics/tests/multimodule/SupertypesWithInaccessibleTypeArguments.kt
+++ b/compiler/testData/diagnostics/tests/multimodule/SupertypesWithInaccessibleTypeArguments.kt
@@ -16,12 +16,22 @@
interface BoxedGenericType : Box<InaccessibleGenericSuperType<Nothing>>
interface BoxedGenericTypeWithGeneric<T> : Box<T>
interface ConcreteSuperType : InaccessibleConcreteSuperType
+interface VeryConcreteSuperType : InaccessibleConcreteSuperType
// MODULE: end(middle)
// FILE: end.kt
+// Type argument of 2nd level supertype is inaccessible
interface BoxedConcreteTypeImplementation : BoxedConcreteType
+// Type argument of 2nd level supertype is inaccessible
interface BoxedGenericTypeImplementation : BoxedGenericType
+// Supertype of type argument of direct supertype is inaccessible
interface BoxedGenericTypeWithGenericImplementation : BoxedGenericTypeWithGeneric<ConcreteSuperType>
+
+// Type argument of supertype of type argument of direct supertype is inaccessible
+interface BoxedGenericTypeWithBoxedImplementation : BoxedGenericTypeWithGeneric<BoxedConcreteType>
+
+// 2nd level supertype of type argument of direct supertype is inaccessible
+interface VeryBoxedGenericTypeWithGenericImplementation : BoxedGenericTypeWithGeneric<VeryConcreteSuperType>
