Added tests for incorporation with nullable type parameter

compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepEq.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+EQUAL T Int
+EQUAL P Consumer<T?>
+
+type parameter bounds:
+T := Int, >: Int, <: Int?
+P := Consumer<T?>*, := Consumer<Int?>, <: Consumer<Int?>, >: Consumer<Int?>
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: false
+-hasViolatedUpperBound: false
+-isSuccessful: true
+
+result:
+T=Int
+P=Consumer<Int?>

compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepEq.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+EQUAL T Int
+EQUAL P Consumer<T?>

compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSub.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+EQUAL T Int
+SUBTYPE P Consumer<T?>
+
+type parameter bounds:
+T := Int
+P <: Consumer<T?>*, <: Consumer<Int?>
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: false
+-hasViolatedUpperBound: false
+-isSuccessful: true
+
+result:
+T=Int
+P=Consumer<Int?>

compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSub.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+EQUAL T Int
+SUBTYPE P Consumer<T?>

compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSuper.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+EQUAL T Int
+SUPERTYPE P Consumer<T?>
+
+type parameter bounds:
+T := Int
+P >: Consumer<T?>*, >: Consumer<Int?>
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: false
+-hasViolatedUpperBound: false
+-isSuccessful: true
+
+result:
+T=Int
+P=Consumer<Int?>

compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSuper.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+EQUAL T Int
+SUPERTYPE P Consumer<T?>

compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepEq.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUBTYPE T Int
+EQUAL P Consumer<T?>
+
+type parameter bounds:
+T <: Int, <: Int?
+P := Consumer<T?>*, >: Consumer<Int?>
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: false
+-hasViolatedUpperBound: false
+-isSuccessful: true
+
+result:
+T=Int
+P=Consumer<Int?>

compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepEq.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+SUBTYPE T Int
+EQUAL P Consumer<T?>

compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSub.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUBTYPE T Int
+SUBTYPE P Consumer<T?>
+
+type parameter bounds:
+T <: Int
+P <: Consumer<T?>*
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: true
+-hasViolatedUpperBound: false
+-isSuccessful: false
+
+result:
+T=Int
+P=???

compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSub.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+SUBTYPE T Int
+SUBTYPE P Consumer<T?>

compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSuper.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUBTYPE T Int
+SUPERTYPE P Consumer<T?>
+
+type parameter bounds:
+T <: Int
+P >: Consumer<T?>*, >: Consumer<Int?>
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: false
+-hasViolatedUpperBound: false
+-isSuccessful: true
+
+result:
+T=Int
+P=Consumer<Int?>

compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSuper.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+SUBTYPE T Int
+SUPERTYPE P Consumer<T?>

compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepEq.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUPERTYPE T Int
+EQUAL P Consumer<T?>
+
+type parameter bounds:
+T >: Int
+P := Consumer<T?>*, <: Consumer<Int?>
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: false
+-hasViolatedUpperBound: false
+-isSuccessful: true
+
+result:
+T=Int
+P=Consumer<Int?>

compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepEq.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+SUPERTYPE T Int
+EQUAL P Consumer<T?>

compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSub.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUPERTYPE T Int
+SUBTYPE P Consumer<T?>
+
+type parameter bounds:
+T >: Int
+P <: Consumer<T?>*, <: Consumer<Int?>
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: false
+-hasViolatedUpperBound: false
+-isSuccessful: true
+
+result:
+T=Int
+P=Consumer<Int?>

compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSub.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+SUPERTYPE T Int
+SUBTYPE P Consumer<T?>

compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSuper.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUPERTYPE T Int
+SUPERTYPE P Consumer<T?>
+
+type parameter bounds:
+T >: Int
+P >: Consumer<T?>*
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: true
+-hasViolatedUpperBound: false
+-isSuccessful: false
+
+result:
+T=Int
+P=???

compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSuper.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+SUPERTYPE T Int
+SUPERTYPE P Consumer<T?>

compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepEq.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+EQUAL T Int
+EQUAL P Producer<T?>
+
+type parameter bounds:
+T := Int, >: Int, <: Int?
+P := Producer<T?>*, := Producer<Int?>, >: Producer<Int?>, <: Producer<Int?>
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: false
+-hasViolatedUpperBound: false
+-isSuccessful: true
+
+result:
+T=Int
+P=Producer<Int?>

compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepEq.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+EQUAL T Int
+EQUAL P Producer<T?>

compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSub.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+EQUAL T Int
+SUBTYPE P Producer<T?>
+
+type parameter bounds:
+T := Int
+P <: Producer<T?>*, <: Producer<Int?>
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: false
+-hasViolatedUpperBound: false
+-isSuccessful: true
+
+result:
+T=Int
+P=Producer<Int?>

compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSub.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+EQUAL T Int
+SUBTYPE P Producer<T?>

compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSuper.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+EQUAL T Int
+SUPERTYPE P Producer<T?>
+
+type parameter bounds:
+T := Int
+P >: Producer<T?>*, >: Producer<Int?>
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: false
+-hasViolatedUpperBound: false
+-isSuccessful: true
+
+result:
+T=Int
+P=Producer<Int?>

compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSuper.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+EQUAL T Int
+SUPERTYPE P Producer<T?>

compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepEq.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUBTYPE T Int
+EQUAL P Producer<T?>
+
+type parameter bounds:
+T <: Int, <: Int?
+P := Producer<T?>*, <: Producer<Int?>
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: false
+-hasViolatedUpperBound: false
+-isSuccessful: true
+
+result:
+T=Int
+P=Producer<Int?>

compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepEq.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+SUBTYPE T Int
+EQUAL P Producer<T?>

compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSub.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUBTYPE T Int
+SUBTYPE P Producer<T?>
+
+type parameter bounds:
+T <: Int
+P <: Producer<T?>*, <: Producer<Int?>
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: false
+-hasViolatedUpperBound: false
+-isSuccessful: true
+
+result:
+T=Int
+P=Producer<Int?>

compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSub.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+SUBTYPE T Int
+SUBTYPE P Producer<T?>

compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSuper.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUBTYPE T Int
+SUPERTYPE P Producer<T?>
+
+type parameter bounds:
+T <: Int
+P >: Producer<T?>*
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: true
+-hasViolatedUpperBound: false
+-isSuccessful: false
+
+result:
+T=Int
+P=???

compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSuper.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+SUBTYPE T Int
+SUPERTYPE P Producer<T?>

compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepEq.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUPERTYPE T Int
+EQUAL P Producer<T?>
+
+type parameter bounds:
+T >: Int
+P := Producer<T?>*, >: Producer<Int?>
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: false
+-hasViolatedUpperBound: false
+-isSuccessful: true
+
+result:
+T=Int
+P=Producer<Int?>

compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepEq.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+SUPERTYPE T Int
+EQUAL P Producer<T?>

compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSub.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUPERTYPE T Int
+SUBTYPE P Producer<T?>
+
+type parameter bounds:
+T >: Int
+P <: Producer<T?>*
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: true
+-hasViolatedUpperBound: false
+-isSuccessful: false
+
+result:
+T=Int
+P=???

compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSub.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+SUPERTYPE T Int
+SUBTYPE P Producer<T?>

compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSuper.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUPERTYPE T Int
+SUPERTYPE P Producer<T?>
+
+type parameter bounds:
+T >: Int
+P >: Producer<T?>*, >: Producer<Int?>
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: false
+-hasViolatedUpperBound: false
+-isSuccessful: true
+
+result:
+T=Int
+P=Producer<Int?>

compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSuper.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+SUPERTYPE T Int
+SUPERTYPE P Producer<T?>

compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepEq.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+EQUAL T Int
+EQUAL P My<T?>
+
+type parameter bounds:
+T := Int, >: Int, <: Int?
+P := My<T?>*, := My<Int?>
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: false
+-hasViolatedUpperBound: false
+-isSuccessful: true
+
+result:
+T=Int
+P=My<Int?>

compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepEq.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+EQUAL T Int
+EQUAL P My<T?>

compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSub.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+EQUAL T Int
+SUBTYPE P My<T?>
+
+type parameter bounds:
+T := Int
+P <: My<T?>*, <: My<Int?>
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: false
+-hasViolatedUpperBound: false
+-isSuccessful: true
+
+result:
+T=Int
+P=My<Int?>

compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSub.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+EQUAL T Int
+SUBTYPE P My<T?>

compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSuper.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+EQUAL T Int
+SUPERTYPE P My<T?>
+
+type parameter bounds:
+T := Int
+P >: My<T?>*, >: My<Int?>
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: false
+-hasViolatedUpperBound: false
+-isSuccessful: true
+
+result:
+T=Int
+P=My<Int?>

compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSuper.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+EQUAL T Int
+SUPERTYPE P My<T?>

compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepEq.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUBTYPE T Int
+EQUAL P My<T?>
+
+type parameter bounds:
+T <: Int
+P := My<T?>*
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: true
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: true
+-hasUnknownParameters: true
+-hasViolatedUpperBound: false
+-isSuccessful: false
+
+result:
+T=Int
+P=???

compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepEq.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+SUBTYPE T Int
+EQUAL P My<T?>

compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSub.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUBTYPE T Int
+SUBTYPE P My<T?>
+
+type parameter bounds:
+T <: Int
+P <: My<T?>*
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: true
+-hasViolatedUpperBound: false
+-isSuccessful: false
+
+result:
+T=Int
+P=???

compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSub.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+SUBTYPE T Int
+SUBTYPE P My<T?>

compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSuper.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUBTYPE T Int
+SUPERTYPE P My<T?>
+
+type parameter bounds:
+T <: Int
+P >: My<T?>*
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: true
+-hasViolatedUpperBound: false
+-isSuccessful: false
+
+result:
+T=Int
+P=???

compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSuper.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+SUBTYPE T Int
+SUPERTYPE P My<T?>

compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepEq.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUPERTYPE T Int
+EQUAL P My<T?>
+
+type parameter bounds:
+T >: Int
+P := My<T?>*
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: true
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: true
+-hasUnknownParameters: true
+-hasViolatedUpperBound: false
+-isSuccessful: false
+
+result:
+T=Int
+P=???

compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepEq.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+SUPERTYPE T Int
+EQUAL P My<T?>

compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSub.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUPERTYPE T Int
+SUBTYPE P My<T?>
+
+type parameter bounds:
+T >: Int
+P <: My<T?>*
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: true
+-hasViolatedUpperBound: false
+-isSuccessful: false
+
+result:
+T=Int
+P=???

compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSub.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+SUPERTYPE T Int
+SUBTYPE P My<T?>

compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSuper.bounds

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUPERTYPE T Int
+SUPERTYPE P My<T?>
+
+type parameter bounds:
+T >: Int
+P >: My<T?>*
+
+status:
+-hasCannotCaptureTypesError: false
+-hasConflictingConstraints: false
+-hasContradiction: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: true
+-hasViolatedUpperBound: false
+-isSuccessful: false
+
+result:
+T=Int
+P=???

compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSuper.constraints

@@ -0,0 +1,4 @@
+VARIABLES T P
+
+SUPERTYPE T Int
+SUPERTYPE P My<T?>

compiler/tests/org/jetbrains/kotlin/resolve/constraintSystem/ConstraintSystemTestGenerated.java

@@ -433,6 +433,204 @@ public class ConstraintSystemTestGenerated extends AbstractConstraintSystemTest
             }
         }
 
+        @TestMetadata("compiler/testData/constraintSystem/severalVariables/nullable")
+        @TestDataPath("$PROJECT_ROOT")
+        @RunWith(JUnit3RunnerWithInners.class)
+        public static class Nullable extends AbstractConstraintSystemTest {
+            public void testAllFilesPresentInNullable() throws Exception {
+                JetTestUtils.assertAllTestsPresentByMetadata(this.getClass(), new File("compiler/testData/constraintSystem/severalVariables/nullable"), Pattern.compile("^(.+)\\.constraints$"), true);
+            }
+
+            @TestMetadata("compiler/testData/constraintSystem/severalVariables/nullable/contravariant")
+            @TestDataPath("$PROJECT_ROOT")
+            @RunWith(JUnit3RunnerWithInners.class)
+            public static class Contravariant extends AbstractConstraintSystemTest {
+                public void testAllFilesPresentInContravariant() throws Exception {
+                    JetTestUtils.assertAllTestsPresentByMetadata(this.getClass(), new File("compiler/testData/constraintSystem/severalVariables/nullable/contravariant"), Pattern.compile("^(.+)\\.constraints$"), true);
+                }
+
+                @TestMetadata("varEqDepEq.constraints")
+                public void testVarEqDepEq() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepEq.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varEqDepSub.constraints")
+                public void testVarEqDepSub() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSub.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varEqDepSuper.constraints")
+                public void testVarEqDepSuper() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSuper.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varSubDepEq.constraints")
+                public void testVarSubDepEq() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepEq.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varSubDepSub.constraints")
+                public void testVarSubDepSub() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSub.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varSubDepSuper.constraints")
+                public void testVarSubDepSuper() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSuper.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varSuperDepEq.constraints")
+                public void testVarSuperDepEq() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepEq.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varSuperDepSub.constraints")
+                public void testVarSuperDepSub() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSub.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varSuperDepSuper.constraints")
+                public void testVarSuperDepSuper() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSuper.constraints");
+                    doTest(fileName);
+                }
+            }
+
+            @TestMetadata("compiler/testData/constraintSystem/severalVariables/nullable/covariant")
+            @TestDataPath("$PROJECT_ROOT")
+            @RunWith(JUnit3RunnerWithInners.class)
+            public static class Covariant extends AbstractConstraintSystemTest {
+                public void testAllFilesPresentInCovariant() throws Exception {
+                    JetTestUtils.assertAllTestsPresentByMetadata(this.getClass(), new File("compiler/testData/constraintSystem/severalVariables/nullable/covariant"), Pattern.compile("^(.+)\\.constraints$"), true);
+                }
+
+                @TestMetadata("varEqDepEq.constraints")
+                public void testVarEqDepEq() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepEq.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varEqDepSub.constraints")
+                public void testVarEqDepSub() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSub.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varEqDepSuper.constraints")
+                public void testVarEqDepSuper() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSuper.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varSubDepEq.constraints")
+                public void testVarSubDepEq() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepEq.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varSubDepSub.constraints")
+                public void testVarSubDepSub() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSub.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varSubDepSuper.constraints")
+                public void testVarSubDepSuper() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSuper.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varSuperDepEq.constraints")
+                public void testVarSuperDepEq() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepEq.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varSuperDepSub.constraints")
+                public void testVarSuperDepSub() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSub.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varSuperDepSuper.constraints")
+                public void testVarSuperDepSuper() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSuper.constraints");
+                    doTest(fileName);
+                }
+            }
+
+            @TestMetadata("compiler/testData/constraintSystem/severalVariables/nullable/invariant")
+            @TestDataPath("$PROJECT_ROOT")
+            @RunWith(JUnit3RunnerWithInners.class)
+            public static class Invariant extends AbstractConstraintSystemTest {
+                public void testAllFilesPresentInInvariant() throws Exception {
+                    JetTestUtils.assertAllTestsPresentByMetadata(this.getClass(), new File("compiler/testData/constraintSystem/severalVariables/nullable/invariant"), Pattern.compile("^(.+)\\.constraints$"), true);
+                }
+
+                @TestMetadata("varEqDepEq.constraints")
+                public void testVarEqDepEq() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepEq.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varEqDepSub.constraints")
+                public void testVarEqDepSub() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSub.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varEqDepSuper.constraints")
+                public void testVarEqDepSuper() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSuper.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varSubDepEq.constraints")
+                public void testVarSubDepEq() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepEq.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varSubDepSub.constraints")
+                public void testVarSubDepSub() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSub.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varSubDepSuper.constraints")
+                public void testVarSubDepSuper() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSuper.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varSuperDepEq.constraints")
+                public void testVarSuperDepEq() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepEq.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varSuperDepSub.constraints")
+                public void testVarSuperDepSub() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSub.constraints");
+                    doTest(fileName);
+                }
+
+                @TestMetadata("varSuperDepSuper.constraints")
+                public void testVarSuperDepSuper() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSuper.constraints");
+                    doTest(fileName);
+                }
+            }
+        }
+
         @TestMetadata("compiler/testData/constraintSystem/severalVariables/recursive")
         @TestDataPath("$PROJECT_ROOT")
         @RunWith(JUnit3RunnerWithInners.class)