Add tests for class hierarchy incremental recompilation

jps-plugin/testData/incremental/classHierarchyAffected/varianceChanged/A.kt

@@ -0,0 +1 @@
+class A<in T>(x: T)

jps-plugin/testData/incremental/classHierarchyAffected/varianceChanged/A.kt.new.1

@@ -0,0 +1 @@
+class A<out T>(x: T)

jps-plugin/testData/incremental/classHierarchyAffected/varianceChanged/B.kt

@@ -0,0 +1 @@
+open class B

jps-plugin/testData/incremental/classHierarchyAffected/varianceChanged/C.kt

@@ -0,0 +1 @@
+class C : B()

jps-plugin/testData/incremental/classHierarchyAffected/varianceChanged/D.kt

@@ -0,0 +1,8 @@
+class D<T>(x: T) {
+    companion object {
+        val b = D(B())
+        val c = D(C())
+    }
+
+    var a = A(x)
+}

jps-plugin/testData/incremental/classHierarchyAffected/varianceChanged/build.log

@@ -0,0 +1,51 @@
+Cleaning output files:
+out/production/module/A.class
+End of files
+Compiling files:
+src/A.kt
+End of files
+Cleaning output files:
+out/production/module/D$Companion.class
+out/production/module/D.class
+out/production/module/META-INF/module.kotlin_module
+out/production/module/UseAKt.class
+End of files
+Compiling files:
+src/D.kt
+src/useA.kt
+End of files
+COMPILATION FAILED
+Type mismatch: inferred type is A<B> but A<C> was expected
+
+
+Cleaning output files:
+out/production/module/A.class
+End of files
+Compiling files:
+src/A.kt
+src/D.kt
+src/useA.kt
+End of files
+Cleaning output files:
+out/production/module/META-INF/module.kotlin_module
+out/production/module/UseDKt.class
+End of files
+Compiling files:
+src/useD.kt
+End of files
+COMPILATION FAILED
+Type mismatch: inferred type is A<B> but A<C> was expected
+
+
+Cleaning output files:
+out/production/module/A.class
+out/production/module/D$Companion.class
+out/production/module/D.class
+out/production/module/UseAKt.class
+End of files
+Compiling files:
+src/A.kt
+src/D.kt
+src/useA.kt
+src/useD.kt
+End of files

jps-plugin/testData/incremental/classHierarchyAffected/varianceChanged/useA.kt

@@ -0,0 +1,5 @@
+fun useA() {
+    var b: A<B> = A(B())
+    var c: A<C> = A(C())
+    c = b
+}

jps-plugin/testData/incremental/classHierarchyAffected/varianceChanged/useA.kt.new.2

@@ -0,0 +1,5 @@
+fun useA() {
+    var b: A<B> = A(B())
+    var c: A<C> = A(C())
+    b = c
+}

jps-plugin/testData/incremental/classHierarchyAffected/varianceChanged/useD.kt

@@ -0,0 +1,3 @@
+fun useD() {
+    D.c.a = D.b.a
+}

jps-plugin/testData/incremental/classHierarchyAffected/varianceChanged/useD.kt.new.3

@@ -0,0 +1,3 @@
+fun useD() {
+    D.b.a = D.c.a
+}