Incorporation tests

compiler/frontend/src/org/jetbrains/kotlin/diagnostics/rendering/Renderers.kt

@@ -369,7 +369,7 @@ public object Renderers {
         val renderBound = { bound: Bound ->
             val arrow = if (bound.kind == LOWER_BOUND) ">: " else if (bound.kind == UPPER_BOUND) "<: " else ":= "
             val renderer = if (short) DescriptorRenderer.SHORT_NAMES_IN_TYPES else DescriptorRenderer.FQ_NAMES_IN_TYPES
-            val renderedBound = arrow + renderer.renderType(bound.constrainingType)
+            val renderedBound = arrow + renderer.renderType(bound.constrainingType) +  if (!bound.isProper) "*" else ""
             if (short) renderedBound else renderedBound + '(' + bound.position + ')'
         }
         val typeVariableName = typeBounds.typeVariable.getName()

compiler/testData/constraintSystem/declarations/declarations.kt

@@ -1,4 +1,4 @@
-fun foo<T, P: T>() = 42
+fun foo<T, P, E>() = 42
 
 interface A
 interface B : A
@@ -7,4 +7,7 @@ interface C : B
 interface Consumer<in T>
 interface Producer<out T>
 
-interface My<T>
+interface My<T>
+interface Successor<T> : My<T>
+
+interface Two<T, P>

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

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+EQUAL 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/direct/contravariant/varEqDepEq.constraints

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

compiler/testData/constraintSystem/severalVariables/direct/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/direct/contravariant/varEqDepSub.constraints

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

compiler/testData/constraintSystem/severalVariables/direct/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/direct/contravariant/varEqDepSuper.constraints

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

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

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUBTYPE 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/direct/contravariant/varSubDepEq.constraints

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

compiler/testData/constraintSystem/severalVariables/direct/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/direct/contravariant/varSubDepSub.constraints

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

compiler/testData/constraintSystem/severalVariables/direct/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/direct/contravariant/varSubDepSuper.constraints

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

compiler/testData/constraintSystem/severalVariables/direct/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/direct/contravariant/varSuperDepEq.constraints

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

compiler/testData/constraintSystem/severalVariables/direct/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/direct/contravariant/varSuperDepSub.constraints

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

compiler/testData/constraintSystem/severalVariables/direct/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/direct/contravariant/varSuperDepSuper.constraints

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

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

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+EQUAL 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/direct/covariant/varEqDepEq.constraints

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

compiler/testData/constraintSystem/severalVariables/direct/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/direct/covariant/varEqDepSub.constraints

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

compiler/testData/constraintSystem/severalVariables/direct/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/direct/covariant/varEqDepSuper.constraints

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

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

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUBTYPE 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/direct/covariant/varSubDepEq.constraints

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

compiler/testData/constraintSystem/severalVariables/direct/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/direct/covariant/varSubDepSub.constraints

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

compiler/testData/constraintSystem/severalVariables/direct/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/direct/covariant/varSubDepSuper.constraints

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

compiler/testData/constraintSystem/severalVariables/direct/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/direct/covariant/varSuperDepEq.constraints

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

compiler/testData/constraintSystem/severalVariables/direct/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/direct/covariant/varSuperDepSub.constraints

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

compiler/testData/constraintSystem/severalVariables/direct/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/direct/covariant/varSuperDepSuper.constraints

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

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

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+EQUAL T Int
+EQUAL 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/direct/invariant/varEqDepEq.constraints

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

compiler/testData/constraintSystem/severalVariables/direct/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/direct/invariant/varEqDepSub.constraints

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

compiler/testData/constraintSystem/severalVariables/direct/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/direct/invariant/varEqDepSuper.constraints

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

compiler/testData/constraintSystem/severalVariables/direct/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: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: true
+-hasViolatedUpperBound: false
+-isSuccessful: false
+
+result:
+T=Int
+P=???

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

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

compiler/testData/constraintSystem/severalVariables/direct/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/direct/invariant/varSubDepSub.constraints

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

compiler/testData/constraintSystem/severalVariables/direct/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/direct/invariant/varSubDepSuper.constraints

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

compiler/testData/constraintSystem/severalVariables/direct/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: false
+-hasErrorInConstrainingTypes: false
+-hasTypeConstructorMismatch: false
+-hasTypeInferenceIncorporationError: false
+-hasUnknownParameters: true
+-hasViolatedUpperBound: false
+-isSuccessful: false
+
+result:
+T=Int
+P=???

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

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

compiler/testData/constraintSystem/severalVariables/direct/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/direct/invariant/varSuperDepSub.constraints

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

compiler/testData/constraintSystem/severalVariables/direct/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/direct/invariant/varSuperDepSuper.constraints

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

compiler/testData/constraintSystem/severalVariables/interdependency/interdependency1.bounds

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

compiler/testData/constraintSystem/severalVariables/interdependency/interdependency1.constraints

@@ -0,0 +1,6 @@
+VARIABLES T P E
+FIX_VARIABLES
+
+SUBTYPE P My<T>
+SUBTYPE Successor<E> P
+SUBTYPE Int T

compiler/testData/constraintSystem/severalVariables/interdependency/interdependency2.bounds

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

compiler/testData/constraintSystem/severalVariables/interdependency/interdependency2.constraints

@@ -0,0 +1,6 @@
+VARIABLES T P E
+FIX_VARIABLES
+
+SUBTYPE P My<T>
+SUBTYPE Int T
+SUBTYPE Successor<E> P

compiler/testData/constraintSystem/severalVariables/interdependency/interdependency3.bounds

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

compiler/testData/constraintSystem/severalVariables/interdependency/interdependency3.constraints

@@ -0,0 +1,6 @@
+VARIABLES T P E
+FIX_VARIABLES
+
+SUBTYPE Int T
+SUBTYPE Successor<E> P
+SUBTYPE P My<T>

compiler/testData/constraintSystem/severalVariables/recursive/mutuallyRecursive.bounds

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

compiler/testData/constraintSystem/severalVariables/recursive/mutuallyRecursive.constraints

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

compiler/testData/constraintSystem/severalVariables/recursive/simpleRecursive.bounds

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

compiler/testData/constraintSystem/severalVariables/recursive/simpleRecursive.constraints

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

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

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+EQUAL P Consumer<T>
+EQUAL T Int
+
+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/reversed/contravariant/varEqDepEq.constraints

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

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

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUBTYPE P Consumer<T>
+EQUAL T Int
+
+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/reversed/contravariant/varEqDepSub.constraints

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

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

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUPERTYPE P Consumer<T>
+EQUAL T Int
+
+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/reversed/contravariant/varEqDepSuper.constraints

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

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

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+EQUAL P Consumer<T>
+SUBTYPE T Int
+
+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/reversed/contravariant/varSubDepEq.constraints

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

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

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUBTYPE P Consumer<T>
+SUBTYPE T Int
+
+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/reversed/contravariant/varSubDepSub.constraints

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

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

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUPERTYPE P Consumer<T>
+SUBTYPE T Int
+
+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/reversed/contravariant/varSubDepSuper.constraints

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

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

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+EQUAL P Consumer<T>
+SUPERTYPE T Int
+
+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/reversed/contravariant/varSuperDepEq.constraints

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

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

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUBTYPE P Consumer<T>
+SUPERTYPE T Int
+
+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/reversed/contravariant/varSuperDepSub.constraints

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

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

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUPERTYPE P Consumer<T>
+SUPERTYPE T Int
+
+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/reversed/contravariant/varSuperDepSuper.constraints

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

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

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+EQUAL P Producer<T>
+EQUAL T Int
+
+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/reversed/covariant/varEqDepEq.constraints

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

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

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUBTYPE P Producer<T>
+EQUAL T Int
+
+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/reversed/covariant/varEqDepSub.constraints

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

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

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUPERTYPE P Producer<T>
+EQUAL T Int
+
+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/reversed/covariant/varEqDepSuper.constraints

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

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

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+EQUAL P Producer<T>
+SUBTYPE T Int
+
+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/reversed/covariant/varSubDepEq.constraints

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

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

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUBTYPE P Producer<T>
+SUBTYPE T Int
+
+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/reversed/covariant/varSubDepSub.constraints

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

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

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUPERTYPE P Producer<T>
+SUBTYPE T Int
+
+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/reversed/covariant/varSubDepSuper.constraints

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

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

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+EQUAL P Producer<T>
+SUPERTYPE T Int
+
+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/reversed/covariant/varSuperDepEq.constraints

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

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

@@ -0,0 +1,23 @@
+VARIABLES T P
+
+SUBTYPE P Producer<T>
+SUPERTYPE T Int
+
+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/reversed/covariant/varSuperDepSub.constraints

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