From 1cfb7d8f572009db8272ad7b34e2719062eb6e9b Mon Sep 17 00:00:00 2001 From: Svetlana Isakova Date: Fri, 16 Oct 2015 21:53:36 +0300 Subject: [PATCH] Changed constraint system tests after adding new error 'hasTypeParameterWithUnsatisfiedOnlyInputTypesError' --- .../constraintSystem/checkStatus/conflictingConstraints.bounds | 1 + .../testData/constraintSystem/checkStatus/successful.bounds | 1 + .../checkStatus/typeConstructorMismatch.bounds | 1 + .../constraintSystem/checkStatus/unknownParameters.bounds | 1 + .../constraintSystem/computeValues/contradiction.bounds | 1 + .../constraintSystem/computeValues/subTypeOfUpperBounds.bounds | 1 + .../computeValues/superTypeOfLowerBounds1.bounds | 1 + .../computeValues/superTypeOfLowerBounds2.bounds | 1 + .../constraintSystem/integerValueTypes/byteOverflow.bounds | 1 + .../constraintSystem/integerValueTypes/defaultLong.bounds | 1 + .../constraintSystem/integerValueTypes/numberAndAny.bounds | 1 + .../constraintSystem/integerValueTypes/numberAndString.bounds | 3 ++- .../constraintSystem/integerValueTypes/severalNumbers.bounds | 1 + .../constraintSystem/integerValueTypes/simpleByte.bounds | 1 + .../constraintSystem/integerValueTypes/simpleInt.bounds | 1 + .../constraintSystem/integerValueTypes/simpleShort.bounds | 1 + .../severalVariables/direct/contravariant/varEqDepEq.bounds | 1 + .../severalVariables/direct/contravariant/varEqDepSub.bounds | 1 + .../severalVariables/direct/contravariant/varEqDepSuper.bounds | 1 + .../severalVariables/direct/contravariant/varSubDepEq.bounds | 1 + .../severalVariables/direct/contravariant/varSubDepSub.bounds | 1 + .../direct/contravariant/varSubDepSuper.bounds | 1 + .../severalVariables/direct/contravariant/varSuperDepEq.bounds | 1 + .../direct/contravariant/varSuperDepSub.bounds | 1 + .../direct/contravariant/varSuperDepSuper.bounds | 1 + .../severalVariables/direct/covariant/varEqDepEq.bounds | 1 + .../severalVariables/direct/covariant/varEqDepSub.bounds | 1 + .../severalVariables/direct/covariant/varEqDepSuper.bounds | 1 + .../severalVariables/direct/covariant/varSubDepEq.bounds | 1 + .../severalVariables/direct/covariant/varSubDepSub.bounds | 1 + .../severalVariables/direct/covariant/varSubDepSuper.bounds | 1 + .../severalVariables/direct/covariant/varSuperDepEq.bounds | 1 + .../severalVariables/direct/covariant/varSuperDepSub.bounds | 1 + .../severalVariables/direct/covariant/varSuperDepSuper.bounds | 1 + .../severalVariables/direct/invariant/varEqDepEq.bounds | 1 + .../severalVariables/direct/invariant/varEqDepSub.bounds | 1 + .../severalVariables/direct/invariant/varEqDepSuper.bounds | 1 + .../severalVariables/direct/invariant/varSubDepEq.bounds | 1 + .../severalVariables/direct/invariant/varSubDepSub.bounds | 1 + .../severalVariables/direct/invariant/varSubDepSuper.bounds | 1 + .../severalVariables/direct/invariant/varSuperDepEq.bounds | 1 + .../severalVariables/direct/invariant/varSuperDepSub.bounds | 1 + .../severalVariables/direct/invariant/varSuperDepSuper.bounds | 1 + .../severalVariables/interdependency/interdependency1.bounds | 1 + .../severalVariables/interdependency/interdependency2.bounds | 1 + .../severalVariables/interdependency/interdependency3.bounds | 1 + .../severalVariables/nullable/contravariant/varEqDepEq.bounds | 1 + .../severalVariables/nullable/contravariant/varEqDepSub.bounds | 1 + .../nullable/contravariant/varEqDepSuper.bounds | 1 + .../severalVariables/nullable/contravariant/varSubDepEq.bounds | 1 + .../nullable/contravariant/varSubDepSub.bounds | 1 + .../nullable/contravariant/varSubDepSuper.bounds | 1 + .../nullable/contravariant/varSuperDepEq.bounds | 1 + .../nullable/contravariant/varSuperDepSub.bounds | 1 + .../nullable/contravariant/varSuperDepSuper.bounds | 1 + .../severalVariables/nullable/covariant/varEqDepEq.bounds | 1 + .../severalVariables/nullable/covariant/varEqDepSub.bounds | 1 + .../severalVariables/nullable/covariant/varEqDepSuper.bounds | 1 + .../severalVariables/nullable/covariant/varSubDepEq.bounds | 1 + .../severalVariables/nullable/covariant/varSubDepSub.bounds | 1 + .../severalVariables/nullable/covariant/varSubDepSuper.bounds | 1 + .../severalVariables/nullable/covariant/varSuperDepEq.bounds | 1 + .../severalVariables/nullable/covariant/varSuperDepSub.bounds | 1 + .../nullable/covariant/varSuperDepSuper.bounds | 1 + .../severalVariables/nullable/invariant/varEqDepEq.bounds | 1 + .../severalVariables/nullable/invariant/varEqDepSub.bounds | 1 + .../severalVariables/nullable/invariant/varEqDepSuper.bounds | 1 + .../severalVariables/nullable/invariant/varSubDepEq.bounds | 1 + .../severalVariables/nullable/invariant/varSubDepSub.bounds | 1 + .../severalVariables/nullable/invariant/varSubDepSuper.bounds | 1 + .../severalVariables/nullable/invariant/varSuperDepEq.bounds | 1 + .../severalVariables/nullable/invariant/varSuperDepSub.bounds | 1 + .../nullable/invariant/varSuperDepSuper.bounds | 1 + .../severalVariables/other/constraintForNullables.bounds | 1 + .../severalVariables/other/nestedConsumer.bounds | 1 + .../severalVariables/other/nestedConsumer1.bounds | 1 + .../severalVariables/other/nestedInvConsumer.bounds | 1 + .../severalVariables/other/nestedInvProducer.bounds | 1 + .../severalVariables/other/nestedProducer.bounds | 1 + .../severalVariables/other/nestedProducerAndConsumer.bounds | 1 + .../severalVariables/other/severalOccurrences.bounds | 1 + .../constraintSystem/severalVariables/other/simpleFun.bounds | 3 ++- .../severalVariables/other/simpleThreeVars.bounds | 1 + .../other/simpleThreeVarsNoIncorporation.bounds | 1 + .../other/simpleThreeVarsNoIncorporationFixed.bounds | 1 + .../severalVariables/recursive/implicitlyRecursive.bounds | 1 + .../constraintSystem/severalVariables/recursive/kt8879.bounds | 1 + .../severalVariables/recursive/mutuallyRecursive.bounds | 1 + .../severalVariables/recursive/simpleRecursive.bounds | 1 + .../severalVariables/reversed/contravariant/varEqDepEq.bounds | 1 + .../severalVariables/reversed/contravariant/varEqDepSub.bounds | 1 + .../reversed/contravariant/varEqDepSuper.bounds | 1 + .../severalVariables/reversed/contravariant/varSubDepEq.bounds | 1 + .../reversed/contravariant/varSubDepSub.bounds | 1 + .../reversed/contravariant/varSubDepSuper.bounds | 1 + .../reversed/contravariant/varSuperDepEq.bounds | 1 + .../reversed/contravariant/varSuperDepSub.bounds | 1 + .../reversed/contravariant/varSuperDepSuper.bounds | 1 + .../severalVariables/reversed/covariant/varEqDepEq.bounds | 1 + .../severalVariables/reversed/covariant/varEqDepSub.bounds | 1 + .../severalVariables/reversed/covariant/varEqDepSuper.bounds | 1 + .../severalVariables/reversed/covariant/varSubDepEq.bounds | 1 + .../severalVariables/reversed/covariant/varSubDepSub.bounds | 1 + .../severalVariables/reversed/covariant/varSubDepSuper.bounds | 1 + .../severalVariables/reversed/covariant/varSuperDepEq.bounds | 1 + .../severalVariables/reversed/covariant/varSuperDepSub.bounds | 1 + .../reversed/covariant/varSuperDepSuper.bounds | 1 + .../severalVariables/reversed/invariant/varEqDepEq.bounds | 1 + .../severalVariables/reversed/invariant/varEqDepSub.bounds | 1 + .../severalVariables/reversed/invariant/varEqDepSuper.bounds | 1 + .../severalVariables/reversed/invariant/varSubDepEq.bounds | 1 + .../severalVariables/reversed/invariant/varSubDepSub.bounds | 1 + .../severalVariables/reversed/invariant/varSubDepSuper.bounds | 1 + .../severalVariables/reversed/invariant/varSuperDepEq.bounds | 1 + .../severalVariables/reversed/invariant/varSuperDepSub.bounds | 1 + .../reversed/invariant/varSuperDepSuper.bounds | 1 + .../constraintSystem/severalVariables/simpleDependency.bounds | 1 + .../constraintSystem/severalVariables/simpleEquality.bounds | 1 + .../constraintSystem/severalVariables/simpleEquality1.bounds | 1 + .../severalVariables/simpleReversedDependency.bounds | 1 + .../constraintSystem/severalVariables/simpleSubtype.bounds | 1 + .../constraintSystem/severalVariables/simpleSubtype1.bounds | 1 + compiler/testData/constraintSystem/variance/consumer.bounds | 1 + compiler/testData/constraintSystem/variance/invariant.bounds | 1 + compiler/testData/constraintSystem/variance/producer.bounds | 1 + 125 files changed, 127 insertions(+), 2 deletions(-) diff --git a/compiler/testData/constraintSystem/checkStatus/conflictingConstraints.bounds b/compiler/testData/constraintSystem/checkStatus/conflictingConstraints.bounds index c94c7bdeead..026d6ad0b43 100644 --- a/compiler/testData/constraintSystem/checkStatus/conflictingConstraints.bounds +++ b/compiler/testData/constraintSystem/checkStatus/conflictingConstraints.bounds @@ -13,6 +13,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: true +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/checkStatus/successful.bounds b/compiler/testData/constraintSystem/checkStatus/successful.bounds index c1078ef1761..bc851a58fef 100644 --- a/compiler/testData/constraintSystem/checkStatus/successful.bounds +++ b/compiler/testData/constraintSystem/checkStatus/successful.bounds @@ -13,6 +13,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/checkStatus/typeConstructorMismatch.bounds b/compiler/testData/constraintSystem/checkStatus/typeConstructorMismatch.bounds index 99a37d6f2a9..27aab64db43 100644 --- a/compiler/testData/constraintSystem/checkStatus/typeConstructorMismatch.bounds +++ b/compiler/testData/constraintSystem/checkStatus/typeConstructorMismatch.bounds @@ -12,6 +12,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: true +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/checkStatus/unknownParameters.bounds b/compiler/testData/constraintSystem/checkStatus/unknownParameters.bounds index db3ee6b0013..9368f72120e 100644 --- a/compiler/testData/constraintSystem/checkStatus/unknownParameters.bounds +++ b/compiler/testData/constraintSystem/checkStatus/unknownParameters.bounds @@ -12,6 +12,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/computeValues/contradiction.bounds b/compiler/testData/constraintSystem/computeValues/contradiction.bounds index bc12fb789f0..ba7bac13086 100644 --- a/compiler/testData/constraintSystem/computeValues/contradiction.bounds +++ b/compiler/testData/constraintSystem/computeValues/contradiction.bounds @@ -13,6 +13,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: true +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/computeValues/subTypeOfUpperBounds.bounds b/compiler/testData/constraintSystem/computeValues/subTypeOfUpperBounds.bounds index a3bfb8d58b0..46bf6ec0cad 100644 --- a/compiler/testData/constraintSystem/computeValues/subTypeOfUpperBounds.bounds +++ b/compiler/testData/constraintSystem/computeValues/subTypeOfUpperBounds.bounds @@ -13,6 +13,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/computeValues/superTypeOfLowerBounds1.bounds b/compiler/testData/constraintSystem/computeValues/superTypeOfLowerBounds1.bounds index b4285612fe6..16bce337d14 100644 --- a/compiler/testData/constraintSystem/computeValues/superTypeOfLowerBounds1.bounds +++ b/compiler/testData/constraintSystem/computeValues/superTypeOfLowerBounds1.bounds @@ -13,6 +13,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/computeValues/superTypeOfLowerBounds2.bounds b/compiler/testData/constraintSystem/computeValues/superTypeOfLowerBounds2.bounds index 478086db7c2..7c5b7497a88 100644 --- a/compiler/testData/constraintSystem/computeValues/superTypeOfLowerBounds2.bounds +++ b/compiler/testData/constraintSystem/computeValues/superTypeOfLowerBounds2.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/integerValueTypes/byteOverflow.bounds b/compiler/testData/constraintSystem/integerValueTypes/byteOverflow.bounds index cf0ce4a09e2..20901f01445 100644 --- a/compiler/testData/constraintSystem/integerValueTypes/byteOverflow.bounds +++ b/compiler/testData/constraintSystem/integerValueTypes/byteOverflow.bounds @@ -13,6 +13,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: true +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/integerValueTypes/defaultLong.bounds b/compiler/testData/constraintSystem/integerValueTypes/defaultLong.bounds index 74f5472c15c..a88ae4c3b3b 100644 --- a/compiler/testData/constraintSystem/integerValueTypes/defaultLong.bounds +++ b/compiler/testData/constraintSystem/integerValueTypes/defaultLong.bounds @@ -13,6 +13,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/integerValueTypes/numberAndAny.bounds b/compiler/testData/constraintSystem/integerValueTypes/numberAndAny.bounds index 7c413e2e518..a701c900d7a 100644 --- a/compiler/testData/constraintSystem/integerValueTypes/numberAndAny.bounds +++ b/compiler/testData/constraintSystem/integerValueTypes/numberAndAny.bounds @@ -13,6 +13,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/integerValueTypes/numberAndString.bounds b/compiler/testData/constraintSystem/integerValueTypes/numberAndString.bounds index 0b463bcf027..91a9a41735a 100644 --- a/compiler/testData/constraintSystem/integerValueTypes/numberAndString.bounds +++ b/compiler/testData/constraintSystem/integerValueTypes/numberAndString.bounds @@ -13,9 +13,10 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true result: -T=Any \ No newline at end of file +T=Any diff --git a/compiler/testData/constraintSystem/integerValueTypes/severalNumbers.bounds b/compiler/testData/constraintSystem/integerValueTypes/severalNumbers.bounds index c9a92d60e95..044dac7ac7a 100644 --- a/compiler/testData/constraintSystem/integerValueTypes/severalNumbers.bounds +++ b/compiler/testData/constraintSystem/integerValueTypes/severalNumbers.bounds @@ -13,6 +13,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/integerValueTypes/simpleByte.bounds b/compiler/testData/constraintSystem/integerValueTypes/simpleByte.bounds index e6dd0530abd..80196f942c5 100644 --- a/compiler/testData/constraintSystem/integerValueTypes/simpleByte.bounds +++ b/compiler/testData/constraintSystem/integerValueTypes/simpleByte.bounds @@ -13,6 +13,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/integerValueTypes/simpleInt.bounds b/compiler/testData/constraintSystem/integerValueTypes/simpleInt.bounds index e5bfdb6bba6..e8cf39214a9 100644 --- a/compiler/testData/constraintSystem/integerValueTypes/simpleInt.bounds +++ b/compiler/testData/constraintSystem/integerValueTypes/simpleInt.bounds @@ -12,6 +12,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/integerValueTypes/simpleShort.bounds b/compiler/testData/constraintSystem/integerValueTypes/simpleShort.bounds index 83c7f50083d..188d11c91bb 100644 --- a/compiler/testData/constraintSystem/integerValueTypes/simpleShort.bounds +++ b/compiler/testData/constraintSystem/integerValueTypes/simpleShort.bounds @@ -13,6 +13,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varEqDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varEqDepEq.bounds index 93379428dad..f82273991f8 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varEqDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varEqDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varEqDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varEqDepSub.bounds index 52adc70cbf3..eddbfc7bda2 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varEqDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varEqDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varEqDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varEqDepSuper.bounds index 2a6af20e622..3ed0d429699 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varEqDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varEqDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSubDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSubDepEq.bounds index 3f40aac7c0d..0283f900bed 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSubDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSubDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSubDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSubDepSub.bounds index eb2067accb7..e731dc8277b 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSubDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSubDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSubDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSubDepSuper.bounds index 93f9afb9610..2ea7f32bf44 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSubDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSubDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSuperDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSuperDepEq.bounds index a737ec275dd..3c19a6f658b 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSuperDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSuperDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSuperDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSuperDepSub.bounds index 732e2825709..a13c0ecd98b 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSuperDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSuperDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSuperDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSuperDepSuper.bounds index 53e2d9a1d0d..3b67bb1847c 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSuperDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/contravariant/varSuperDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/direct/covariant/varEqDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/direct/covariant/varEqDepEq.bounds index a84ceea90b3..6c1c23cc2e4 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/covariant/varEqDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/covariant/varEqDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/direct/covariant/varEqDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/direct/covariant/varEqDepSub.bounds index 333ccca8bef..df1f11beb80 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/covariant/varEqDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/covariant/varEqDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/direct/covariant/varEqDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/direct/covariant/varEqDepSuper.bounds index cb9dc556a9a..567bccbf8d8 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/covariant/varEqDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/covariant/varEqDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSubDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSubDepEq.bounds index 158b947451b..bc5a87d6e4a 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSubDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSubDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSubDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSubDepSub.bounds index d06e4aabe62..d78fe1e77e4 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSubDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSubDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSubDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSubDepSuper.bounds index 0cfe13d7fe4..422c3e8948b 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSubDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSubDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSuperDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSuperDepEq.bounds index 58cd194a3a8..d92418e98bd 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSuperDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSuperDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSuperDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSuperDepSub.bounds index 012c754855b..ec64d4dd731 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSuperDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSuperDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSuperDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSuperDepSuper.bounds index 7fcc24506eb..8a23374a889 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSuperDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/covariant/varSuperDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/direct/invariant/varEqDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/direct/invariant/varEqDepEq.bounds index 605be5c1245..01e53ecb593 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/invariant/varEqDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/invariant/varEqDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/direct/invariant/varEqDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/direct/invariant/varEqDepSub.bounds index 4db5d355c22..e45c1dac710 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/invariant/varEqDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/invariant/varEqDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/direct/invariant/varEqDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/direct/invariant/varEqDepSuper.bounds index cb02905c3de..3a718ee15dc 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/invariant/varEqDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/invariant/varEqDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSubDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSubDepEq.bounds index ce9e75b129d..096fe59e071 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSubDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSubDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: true +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSubDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSubDepSub.bounds index 772a83b45a2..8c0d48bdba9 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSubDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSubDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSubDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSubDepSuper.bounds index 57d3219b315..3d13b59501a 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSubDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSubDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSuperDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSuperDepEq.bounds index e063aadb4b0..732043c9d53 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSuperDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSuperDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: true +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSuperDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSuperDepSub.bounds index 0e0efdceff8..a51efab10c9 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSuperDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSuperDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSuperDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSuperDepSuper.bounds index d02a3bda19f..d28e83b8bca 100644 --- a/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSuperDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/direct/invariant/varSuperDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/interdependency/interdependency1.bounds b/compiler/testData/constraintSystem/severalVariables/interdependency/interdependency1.bounds index 7da19bb43dc..b6d8f5273dd 100644 --- a/compiler/testData/constraintSystem/severalVariables/interdependency/interdependency1.bounds +++ b/compiler/testData/constraintSystem/severalVariables/interdependency/interdependency1.bounds @@ -17,6 +17,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/interdependency/interdependency2.bounds b/compiler/testData/constraintSystem/severalVariables/interdependency/interdependency2.bounds index d1c12fbfb04..06ddb842686 100644 --- a/compiler/testData/constraintSystem/severalVariables/interdependency/interdependency2.bounds +++ b/compiler/testData/constraintSystem/severalVariables/interdependency/interdependency2.bounds @@ -17,6 +17,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/interdependency/interdependency3.bounds b/compiler/testData/constraintSystem/severalVariables/interdependency/interdependency3.bounds index 3345b301150..f71a2a1af20 100644 --- a/compiler/testData/constraintSystem/severalVariables/interdependency/interdependency3.bounds +++ b/compiler/testData/constraintSystem/severalVariables/interdependency/interdependency3.bounds @@ -17,6 +17,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepEq.bounds index c75ca7b1e4b..a05534389d6 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSub.bounds index 192ea287dd4..15f42f67782 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSuper.bounds index cdc2b78a7ff..8ee0a9e841e 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varEqDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepEq.bounds index f28d713b932..c4983780b90 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSub.bounds index 3cf761b0bbc..b9e8b1c33a3 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSuper.bounds index 22e08657fce..949b8de4c3b 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSubDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepEq.bounds index 198d5797635..0c6c10def7a 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSub.bounds index f8802073cf1..0a71e6ee9ec 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSuper.bounds index a26fb134d3e..c13e4356cbe 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/contravariant/varSuperDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepEq.bounds index 2dce152d14c..7a198dc59b0 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSub.bounds index 494df6e0593..3860dfeb1f8 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSuper.bounds index 3274bad3c3a..51a67a89461 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varEqDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepEq.bounds index 01c64e2e871..5b2dce63900 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSub.bounds index bc211c8a178..a987533ff1b 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSuper.bounds index 0205bd703c2..441d5df7733 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSubDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepEq.bounds index b605afccf08..89cee4e1ec5 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSub.bounds index 0c89b4904be..8afeb469cc6 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSuper.bounds index a0983242baa..47fcae69fee 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/covariant/varSuperDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepEq.bounds index a58d69765d7..b7ba8727a86 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSub.bounds index edd6bb74e33..ee21a4b08dc 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSuper.bounds index 84bd8e2f19b..1eef48879c2 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varEqDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepEq.bounds index 109e639b135..d43b7c1ea6f 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: true +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSub.bounds index 1398031e1db..2f4f42d38f5 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSuper.bounds index b6bd04c1ee7..b4422e8b7a7 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSubDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepEq.bounds index 364a456010a..2de18553d26 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: true +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSub.bounds index 812cef1a783..c2369d619d1 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSuper.bounds index bbe55fa05f8..bf850eda3c2 100644 --- a/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/nullable/invariant/varSuperDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/other/constraintForNullables.bounds b/compiler/testData/constraintSystem/severalVariables/other/constraintForNullables.bounds index 2b7abe5e0fb..e166c724122 100644 --- a/compiler/testData/constraintSystem/severalVariables/other/constraintForNullables.bounds +++ b/compiler/testData/constraintSystem/severalVariables/other/constraintForNullables.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/other/nestedConsumer.bounds b/compiler/testData/constraintSystem/severalVariables/other/nestedConsumer.bounds index 0981df3ed2a..827695cb023 100644 --- a/compiler/testData/constraintSystem/severalVariables/other/nestedConsumer.bounds +++ b/compiler/testData/constraintSystem/severalVariables/other/nestedConsumer.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/other/nestedConsumer1.bounds b/compiler/testData/constraintSystem/severalVariables/other/nestedConsumer1.bounds index a2a48f29dd7..626b11ecf68 100644 --- a/compiler/testData/constraintSystem/severalVariables/other/nestedConsumer1.bounds +++ b/compiler/testData/constraintSystem/severalVariables/other/nestedConsumer1.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/other/nestedInvConsumer.bounds b/compiler/testData/constraintSystem/severalVariables/other/nestedInvConsumer.bounds index 075eb977f1d..40b5c1d6d50 100644 --- a/compiler/testData/constraintSystem/severalVariables/other/nestedInvConsumer.bounds +++ b/compiler/testData/constraintSystem/severalVariables/other/nestedInvConsumer.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: true +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/other/nestedInvProducer.bounds b/compiler/testData/constraintSystem/severalVariables/other/nestedInvProducer.bounds index 954ba31220b..d3421895791 100644 --- a/compiler/testData/constraintSystem/severalVariables/other/nestedInvProducer.bounds +++ b/compiler/testData/constraintSystem/severalVariables/other/nestedInvProducer.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: true +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/other/nestedProducer.bounds b/compiler/testData/constraintSystem/severalVariables/other/nestedProducer.bounds index 02bb5b42f4b..cb9289750f5 100644 --- a/compiler/testData/constraintSystem/severalVariables/other/nestedProducer.bounds +++ b/compiler/testData/constraintSystem/severalVariables/other/nestedProducer.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/other/nestedProducerAndConsumer.bounds b/compiler/testData/constraintSystem/severalVariables/other/nestedProducerAndConsumer.bounds index 8a228f73979..8506abc9058 100644 --- a/compiler/testData/constraintSystem/severalVariables/other/nestedProducerAndConsumer.bounds +++ b/compiler/testData/constraintSystem/severalVariables/other/nestedProducerAndConsumer.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/other/severalOccurrences.bounds b/compiler/testData/constraintSystem/severalVariables/other/severalOccurrences.bounds index 2b703b86732..ef50eeede13 100644 --- a/compiler/testData/constraintSystem/severalVariables/other/severalOccurrences.bounds +++ b/compiler/testData/constraintSystem/severalVariables/other/severalOccurrences.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/other/simpleFun.bounds b/compiler/testData/constraintSystem/severalVariables/other/simpleFun.bounds index 0bb4a19c34c..a683d1115ab 100644 --- a/compiler/testData/constraintSystem/severalVariables/other/simpleFun.bounds +++ b/compiler/testData/constraintSystem/severalVariables/other/simpleFun.bounds @@ -16,6 +16,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true @@ -23,4 +24,4 @@ status: result: T=Int P=String -E=Fun \ No newline at end of file +E=Fun diff --git a/compiler/testData/constraintSystem/severalVariables/other/simpleThreeVars.bounds b/compiler/testData/constraintSystem/severalVariables/other/simpleThreeVars.bounds index 1f5b59f30f9..281f87c3b0b 100644 --- a/compiler/testData/constraintSystem/severalVariables/other/simpleThreeVars.bounds +++ b/compiler/testData/constraintSystem/severalVariables/other/simpleThreeVars.bounds @@ -16,6 +16,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/other/simpleThreeVarsNoIncorporation.bounds b/compiler/testData/constraintSystem/severalVariables/other/simpleThreeVarsNoIncorporation.bounds index b4e6f9195b4..5c7334718e8 100644 --- a/compiler/testData/constraintSystem/severalVariables/other/simpleThreeVarsNoIncorporation.bounds +++ b/compiler/testData/constraintSystem/severalVariables/other/simpleThreeVarsNoIncorporation.bounds @@ -16,6 +16,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/other/simpleThreeVarsNoIncorporationFixed.bounds b/compiler/testData/constraintSystem/severalVariables/other/simpleThreeVarsNoIncorporationFixed.bounds index fb24c3779eb..94c46fc0394 100644 --- a/compiler/testData/constraintSystem/severalVariables/other/simpleThreeVarsNoIncorporationFixed.bounds +++ b/compiler/testData/constraintSystem/severalVariables/other/simpleThreeVarsNoIncorporationFixed.bounds @@ -17,6 +17,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/recursive/implicitlyRecursive.bounds b/compiler/testData/constraintSystem/severalVariables/recursive/implicitlyRecursive.bounds index b3fced08758..b8efc0b5d93 100644 --- a/compiler/testData/constraintSystem/severalVariables/recursive/implicitlyRecursive.bounds +++ b/compiler/testData/constraintSystem/severalVariables/recursive/implicitlyRecursive.bounds @@ -16,6 +16,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/recursive/kt8879.bounds b/compiler/testData/constraintSystem/severalVariables/recursive/kt8879.bounds index 024cedb4281..fcb4f9f104d 100644 --- a/compiler/testData/constraintSystem/severalVariables/recursive/kt8879.bounds +++ b/compiler/testData/constraintSystem/severalVariables/recursive/kt8879.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/recursive/mutuallyRecursive.bounds b/compiler/testData/constraintSystem/severalVariables/recursive/mutuallyRecursive.bounds index 3865153b06b..db94adb37e6 100644 --- a/compiler/testData/constraintSystem/severalVariables/recursive/mutuallyRecursive.bounds +++ b/compiler/testData/constraintSystem/severalVariables/recursive/mutuallyRecursive.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: true +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/recursive/simpleRecursive.bounds b/compiler/testData/constraintSystem/severalVariables/recursive/simpleRecursive.bounds index 1648e2c0267..2363677d28e 100644 --- a/compiler/testData/constraintSystem/severalVariables/recursive/simpleRecursive.bounds +++ b/compiler/testData/constraintSystem/severalVariables/recursive/simpleRecursive.bounds @@ -13,6 +13,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: true +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varEqDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varEqDepEq.bounds index 1795c416d39..61241bd9009 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varEqDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varEqDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varEqDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varEqDepSub.bounds index 401fd9530fd..b110e13062e 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varEqDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varEqDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varEqDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varEqDepSuper.bounds index 2a742d23c3a..d18fac737f5 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varEqDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varEqDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSubDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSubDepEq.bounds index a149983ad25..ab02fa3d606 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSubDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSubDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSubDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSubDepSub.bounds index 389ff911b14..9f4f9ed92e5 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSubDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSubDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSubDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSubDepSuper.bounds index 99b6278f3a9..faf73e60c1b 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSubDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSubDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSuperDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSuperDepEq.bounds index 56d84654e41..c0de409d22d 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSuperDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSuperDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSuperDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSuperDepSub.bounds index 96d7264ad3b..d0be61b3af4 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSuperDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSuperDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSuperDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSuperDepSuper.bounds index 2a8fe671e57..df0974cbffa 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSuperDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/contravariant/varSuperDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varEqDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varEqDepEq.bounds index a3773af2958..db2973ed1f6 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varEqDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varEqDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varEqDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varEqDepSub.bounds index 0d8ad2b94ac..1f79bfb59dd 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varEqDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varEqDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varEqDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varEqDepSuper.bounds index 300b1ea3056..81c2e084958 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varEqDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varEqDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSubDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSubDepEq.bounds index 9fa78404a59..095ddf0032d 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSubDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSubDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSubDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSubDepSub.bounds index 01a5fec3d57..141e0431351 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSubDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSubDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSubDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSubDepSuper.bounds index c0813347848..01b38fb6462 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSubDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSubDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSuperDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSuperDepEq.bounds index 4207c874b2f..1b1f75030f2 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSuperDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSuperDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSuperDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSuperDepSub.bounds index 8ae260d9c7c..5375baabb50 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSuperDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSuperDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSuperDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSuperDepSuper.bounds index 8d7e1902c21..4701e7c9a5f 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSuperDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/covariant/varSuperDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varEqDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varEqDepEq.bounds index 22b57745b7b..adaeeabd4d1 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varEqDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varEqDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varEqDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varEqDepSub.bounds index d87dd002dc8..24fd818e95f 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varEqDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varEqDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varEqDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varEqDepSuper.bounds index cb319b51e66..b2bc7a32bd5 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varEqDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varEqDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSubDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSubDepEq.bounds index 48e44a1583b..7d3a63c9450 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSubDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSubDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: true +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSubDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSubDepSub.bounds index 8b737201b99..e372a34bd57 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSubDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSubDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSubDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSubDepSuper.bounds index bc766a0170e..4653442f55e 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSubDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSubDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSuperDepEq.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSuperDepEq.bounds index 43a0a302b7c..ea77a82c0ca 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSuperDepEq.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSuperDepEq.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: true +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSuperDepSub.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSuperDepSub.bounds index 8f6fa7723b7..d383c9e2f1a 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSuperDepSub.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSuperDepSub.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSuperDepSuper.bounds b/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSuperDepSuper.bounds index 47a058f35a9..fc7d7f74ffe 100644 --- a/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSuperDepSuper.bounds +++ b/compiler/testData/constraintSystem/severalVariables/reversed/invariant/varSuperDepSuper.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/simpleDependency.bounds b/compiler/testData/constraintSystem/severalVariables/simpleDependency.bounds index 16181e690db..6be080da490 100644 --- a/compiler/testData/constraintSystem/severalVariables/simpleDependency.bounds +++ b/compiler/testData/constraintSystem/severalVariables/simpleDependency.bounds @@ -13,6 +13,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/simpleEquality.bounds b/compiler/testData/constraintSystem/severalVariables/simpleEquality.bounds index cd17ade2378..37e1b3e7fb2 100644 --- a/compiler/testData/constraintSystem/severalVariables/simpleEquality.bounds +++ b/compiler/testData/constraintSystem/severalVariables/simpleEquality.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/simpleEquality1.bounds b/compiler/testData/constraintSystem/severalVariables/simpleEquality1.bounds index 838f4ec7630..6c3855b7725 100644 --- a/compiler/testData/constraintSystem/severalVariables/simpleEquality1.bounds +++ b/compiler/testData/constraintSystem/severalVariables/simpleEquality1.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/simpleReversedDependency.bounds b/compiler/testData/constraintSystem/severalVariables/simpleReversedDependency.bounds index cf9fc0fa44a..9974df33161 100644 --- a/compiler/testData/constraintSystem/severalVariables/simpleReversedDependency.bounds +++ b/compiler/testData/constraintSystem/severalVariables/simpleReversedDependency.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: true -hasViolatedUpperBound: false -isSuccessful: false diff --git a/compiler/testData/constraintSystem/severalVariables/simpleSubtype.bounds b/compiler/testData/constraintSystem/severalVariables/simpleSubtype.bounds index f3c152d1d39..1fb55761d4a 100644 --- a/compiler/testData/constraintSystem/severalVariables/simpleSubtype.bounds +++ b/compiler/testData/constraintSystem/severalVariables/simpleSubtype.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/severalVariables/simpleSubtype1.bounds b/compiler/testData/constraintSystem/severalVariables/simpleSubtype1.bounds index 43f191ef7b0..d74cf43adf5 100644 --- a/compiler/testData/constraintSystem/severalVariables/simpleSubtype1.bounds +++ b/compiler/testData/constraintSystem/severalVariables/simpleSubtype1.bounds @@ -14,6 +14,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/variance/consumer.bounds b/compiler/testData/constraintSystem/variance/consumer.bounds index c240da76aad..485d9e2892f 100644 --- a/compiler/testData/constraintSystem/variance/consumer.bounds +++ b/compiler/testData/constraintSystem/variance/consumer.bounds @@ -12,6 +12,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/variance/invariant.bounds b/compiler/testData/constraintSystem/variance/invariant.bounds index 01e9e36d310..414e0c2082e 100644 --- a/compiler/testData/constraintSystem/variance/invariant.bounds +++ b/compiler/testData/constraintSystem/variance/invariant.bounds @@ -12,6 +12,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true diff --git a/compiler/testData/constraintSystem/variance/producer.bounds b/compiler/testData/constraintSystem/variance/producer.bounds index 583b68e8847..9ed9daad72d 100644 --- a/compiler/testData/constraintSystem/variance/producer.bounds +++ b/compiler/testData/constraintSystem/variance/producer.bounds @@ -12,6 +12,7 @@ status: -hasErrorInConstrainingTypes: false -hasParameterConstraintError: false -hasTypeInferenceIncorporationError: false +-hasTypeParameterWithUnsatisfiedOnlyInputTypesError: false -hasUnknownParameters: false -hasViolatedUpperBound: false -isSuccessful: true