IDEA-93853 Make: no error if parameterized type capture bound is incompatible to declared bound

java/java-tests/testData/compileServer/incremental/generics/argumentContainment.log

@@ -0,0 +1,16 @@
+Cleaning output files:
+out/production/ArgumentContainment/Sub2.class
+End of files
+Compiling files:
+src/Sub2.java
+End of files
+Cleaning output files:
+out/production/ArgumentContainment/CaptureCreator.class
+out/production/ArgumentContainment/CaptureCreator2.class
+out/production/ArgumentContainment/GenericBound.class
+End of files
+Compiling files:
+src/CaptureCreator.java
+src/CaptureCreator2.java
+src/GenericBound.java
+End of files

java/java-tests/testData/compileServer/incremental/generics/argumentContainment/Sub2.java.new

@@ -0,0 +1,2 @@
+public class Sub2 {
+}

java/java-tests/testData/compileServer/incremental/generics/argumentContainment/src/CaptureCreator.java

@@ -0,0 +1,4 @@
+public class CaptureCreator {
+    public void context(GenericBound<? extends Parent> p) {
+    }
+}

java/java-tests/testData/compileServer/incremental/generics/argumentContainment/src/CaptureCreator2.java

@@ -0,0 +1,4 @@
+public class CaptureCreator2 {
+    public void context(GenericBound<? extends Sub> p) {
+    }
+}

java/java-tests/testData/compileServer/incremental/generics/argumentContainment/src/GenericBound.java

@@ -0,0 +1,2 @@
+public class GenericBound<T extends Sub2> {
+}

java/java-tests/testData/compileServer/incremental/generics/argumentContainment/src/Parent.java

@@ -0,0 +1,2 @@
+public class Parent {
+}

java/java-tests/testData/compileServer/incremental/generics/argumentContainment/src/Sub.java

@@ -0,0 +1,2 @@
+public class Sub extends Parent {
+}

java/java-tests/testData/compileServer/incremental/generics/argumentContainment/src/Sub2.java

@@ -0,0 +1,2 @@
+public class Sub2 extends Sub {
+}

java/java-tests/testData/compileServer/incremental/generics/argumentContainment2.log

@@ -0,0 +1,18 @@
+Cleaning output files:
+out/production/ArgumentContainment2/Sub.class
+End of files
+Compiling files:
+src/Sub.java
+End of files
+Cleaning output files:
+out/production/ArgumentContainment2/CaptureCreator.class
+out/production/ArgumentContainment2/CaptureCreator2.class
+out/production/ArgumentContainment2/GenericBound.class
+out/production/ArgumentContainment2/Sub2.class
+End of files
+Compiling files:
+src/CaptureCreator.java
+src/CaptureCreator2.java
+src/GenericBound.java
+src/Sub2.java
+End of files

java/java-tests/testData/compileServer/incremental/generics/argumentContainment2/Sub.java.new

@@ -0,0 +1,2 @@
+public class Sub {
+}

java/java-tests/testData/compileServer/incremental/generics/argumentContainment2/src/CaptureCreator.java

@@ -0,0 +1,4 @@
+public class CaptureCreator {
+    public void context(GenericBound<? super Sub> p) {
+    }
+}

java/java-tests/testData/compileServer/incremental/generics/argumentContainment2/src/CaptureCreator2.java

@@ -0,0 +1,4 @@
+public class CaptureCreator2 {
+    public void context(GenericBound<? super Sub2> p) {
+    }
+}

java/java-tests/testData/compileServer/incremental/generics/argumentContainment2/src/GenericBound.java

@@ -0,0 +1,2 @@
+public class GenericBound<T extends Parent> {
+}

java/java-tests/testData/compileServer/incremental/generics/argumentContainment2/src/Parent.java

@@ -0,0 +1,2 @@
+public class Parent {
+}

java/java-tests/testData/compileServer/incremental/generics/argumentContainment2/src/Sub.java

@@ -0,0 +1,2 @@
+public class Sub extends Parent {
+}

java/java-tests/testData/compileServer/incremental/generics/argumentContainment2/src/Sub2.java

@@ -0,0 +1,2 @@
+public class Sub2 extends Sub{
+}