azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Changed constraint system tests

Browse Source 
after adding new error 'hasTypeParameterWithUnsatisfiedOnlyInputTypesError'
This commit is contained in:
Svetlana Isakova
2015-10-16 21:53:36 +03:00
parent a6ec5cecc0
commit 1cfb7d8f57
125 changed files with 127 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/constraintSystem/checkStatus/conflictingConstraints.bounds
Vendored
+1
View File
@@ -13,6 +13,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: true -hasTypeInferenceIncorporationError: true
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/checkStatus/successful.bounds
Vendored
+1
View File
@@ -13,6 +13,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/checkStatus/typeConstructorMismatch.bounds
Vendored
+1
View File
@@ -12,6 +12,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: true -hasTypeInferenceIncorporationError: true
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/checkStatus/unknownParameters.bounds
Vendored
+1
View File
@@ -12,6 +12,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/computeValues/contradiction.bounds
Vendored
+1
View File
@@ -13,6 +13,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: true -hasTypeInferenceIncorporationError: true
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/computeValues/subTypeOfUpperBounds.bounds
Vendored
+1
View File
@@ -13,6 +13,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/computeValues/superTypeOfLowerBounds1.bounds
Vendored
+1
View File
@@ -13,6 +13,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/computeValues/superTypeOfLowerBounds2.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/integerValueTypes/byteOverflow.bounds
Vendored
+1
View File
@@ -13,6 +13,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: true -hasTypeInferenceIncorporationError: true
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/integerValueTypes/defaultLong.bounds
Vendored
+1
View File
@@ -13,6 +13,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/integerValueTypes/numberAndAny.bounds
Vendored
+1
View File
@@ -13,6 +13,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/integerValueTypes/numberAndString.bounds
Vendored
+2 -1
View File
@@ -13,9 +13,10 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
result: result:
T=Any T=Any
compiler/testData/constraintSystem/integerValueTypes/severalNumbers.bounds
Vendored
+1
View File
@@ -13,6 +13,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/integerValueTypes/simpleByte.bounds
Vendored
+1
View File
@@ -13,6 +13,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/integerValueTypes/simpleInt.bounds
Vendored
+1
View File
@@ -12,6 +12,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/integerValueTypes/simpleShort.bounds
Vendored
+1
View File
@@ -13,6 +13,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/direct/contravariant/varEqDepEq.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/direct/contravariant/varEqDepSub.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/direct/contravariant/varEqDepSuper.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSubDepEq.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSubDepSub.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSubDepSuper.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSuperDepEq.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSuperDepSub.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSuperDepSuper.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/direct/covariant/varEqDepEq.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/direct/covariant/varEqDepSub.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/direct/covariant/varEqDepSuper.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/direct/covariant/varSubDepEq.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/direct/covariant/varSubDepSub.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/direct/covariant/varSubDepSuper.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/direct/covariant/varSuperDepEq.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/direct/covariant/varSuperDepSub.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/direct/covariant/varSuperDepSuper.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/direct/invariant/varEqDepEq.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/direct/invariant/varEqDepSub.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/direct/invariant/varEqDepSuper.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/direct/invariant/varSubDepEq.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: true -hasTypeInferenceIncorporationError: true
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/direct/invariant/varSubDepSub.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/direct/invariant/varSubDepSuper.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/direct/invariant/varSuperDepEq.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: true -hasTypeInferenceIncorporationError: true
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/direct/invariant/varSuperDepSub.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/direct/invariant/varSuperDepSuper.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/interdependency/interdependency1.bounds
Vendored
+1
View File
@@ -17,6 +17,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/interdependency/interdependency2.bounds
Vendored
+1
View File
@@ -17,6 +17,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/interdependency/interdependency3.bounds
Vendored
+1
View File
@@ -17,6 +17,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepEq.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSub.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSuper.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepEq.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSub.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSuper.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepEq.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSub.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSuper.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepEq.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSub.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSuper.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepEq.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSub.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSuper.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepEq.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSub.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSuper.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepEq.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSub.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSuper.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepEq.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: true -hasTypeInferenceIncorporationError: true
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSub.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSuper.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepEq.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: true -hasTypeInferenceIncorporationError: true
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSub.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSuper.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/other/constraintForNullables.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/other/nestedConsumer.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/other/nestedConsumer1.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/other/nestedInvConsumer.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: true -hasTypeInferenceIncorporationError: true
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/other/nestedInvProducer.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: true -hasTypeInferenceIncorporationError: true
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/other/nestedProducer.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/other/nestedProducerAndConsumer.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/other/severalOccurrences.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/other/simpleFun.bounds
Vendored
+2 -1
View File
@@ -16,6 +16,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
@@ -23,4 +24,4 @@ status:
result: result:
T=Int T=Int
P=String P=String
E=Fun<Int, String> E=Fun<Int, String>
compiler/testData/constraintSystem/severalVariables/other/simpleThreeVars.bounds
Vendored
+1
View File
@@ -16,6 +16,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/other/simpleThreeVarsNoIncorporation.bounds
Vendored
+1
View File
@@ -16,6 +16,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/other/simpleThreeVarsNoIncorporationFixed.bounds
Vendored
+1
View File
@@ -17,6 +17,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/recursive/implicitlyRecursive.bounds
Vendored
+1
View File
@@ -16,6 +16,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/recursive/kt8879.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/recursive/mutuallyRecursive.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: true -hasTypeInferenceIncorporationError: true
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/recursive/simpleRecursive.bounds
Vendored
+1
View File
@@ -13,6 +13,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: true -hasTypeInferenceIncorporationError: true
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varEqDepEq.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varEqDepSub.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varEqDepSuper.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSubDepEq.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSubDepSub.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSubDepSuper.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSuperDepEq.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSuperDepSub.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSuperDepSuper.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: true -hasUnknownParameters: true
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: false -isSuccessful: false
compiler/testData/constraintSystem/severalVariables/reversed/covariant/varEqDepEq.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true
compiler/testData/constraintSystem/severalVariables/reversed/covariant/varEqDepSub.bounds
Vendored
+1
View File
@@ -14,6 +14,7 @@ status:
-hasErrorInConstrainingTypes: false -hasErrorInConstrainingTypes: false
-hasParameterConstraintError: false -hasParameterConstraintError: false
-hasTypeInferenceIncorporationError: false -hasTypeInferenceIncorporationError: false
-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false
-hasUnknownParameters: false -hasUnknownParameters: false
-hasViolatedUpperBound: false -hasViolatedUpperBound: false
-isSuccessful: true -isSuccessful: true

Some files were not shown because too many files have changed in this diff Show More