| // ORIGINAL: /compiler/testData/diagnostics/tests/declarationChecks/nonExpansiveInheritanceRestriction/JavaWithKotlin.fir.kt | |
| // WITH_STDLIB | |
| // !DIAGNOSTICS: -UPPER_BOUND_VIOLATED | |
| // FILE: D.java | |
| public interface D<W> {} | |
| // FILE: Q.java | |
| public interface Q<Z1, Z2> {} | |
| // FILE: C.java | |
| public interface C<X> extends D<P<X,X>> {} | |
| // FILE: 1.kt | |
| interface P<Y1, Y2> : Q<C<Y1>, C<D<Y2>>> | |
| fun box() = "OK" |