Dmitriy Novozhilov b6a7d21579 [NI] Fix extracting type variables for flexible types in in captured types ...

Bug was introduced in b99efb because of lack of tests.
All code in `AbstractTypeCheckerContextForConstraintSystem.extractTypeVariableForSubtype`
  related to IN projection looks suspicious and needs further investigation

2019-08-01 14:37:41 +03:00

..

capturedTypes

[NI] Capture receiver of invoke-based call

2019-06-25 14:09:34 +03:00

coercionToUnit

[NI] Coerce to Unit expression in last block with explicit Unit

2019-06-18 19:38:02 +03:00

commonSystem

[NI] Require all proper constraints for Exact return type

2019-06-19 11:07:31 +03:00

constraints

[NI] Relax rules for call completion: require at least one constraint

2019-05-29 02:14:00 +03:00

nestedCalls

[NI] Update test data for diagnostic tests

2019-04-25 16:19:37 +03:00

nothingType

Add tests for obsolete issues

2019-07-06 10:06:04 +03:00

recursiveCalls

Add wrappers on KotlinType in EffectSystem

2019-05-23 12:23:22 +03:00

recursiveLocalFuns

Add wrappers on KotlinType in EffectSystem

2019-05-23 12:23:22 +03:00

regressions

Revert "[NI] Disable capturing/approximation type in TypeSubstitutor with enabled NI"

2019-06-07 12:31:38 +03:00

reportingImprovements

[NI] Update test data for diagnostic tests

2019-04-25 16:19:37 +03:00

substitutions

…

upperBounds

[NI] Update test data for diagnostic tests

2019-04-25 16:19:37 +03:00

cannotCompleteResolveAmbiguity.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

cannotCompleteResolveAmbiguity.txt

…

cannotCompleteResolveFunctionLiteralsNoUse.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

cannotCompleteResolveFunctionLiteralsNoUse.txt

…

cannotCompleteResolveNoInfoForParameter.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

cannotCompleteResolveNoInfoForParameter.txt

…

cannotCompleteResolveNoneApplicable.kt

…

cannotCompleteResolveNoneApplicable.txt

…

cannotCompleteResolveWithFunctionLiterals.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

cannotCompleteResolveWithFunctionLiterals.txt

…

capturedInProjectedFlexibleType.kt

[NI] Fix extracting type variables for flexible types in in captured types

2019-08-01 14:37:41 +03:00

capturedInProjectedFlexibleType.txt

[NI] Fix extracting type variables for flexible types in in captured types

2019-08-01 14:37:41 +03:00

coerceFunctionLiteralToSuspend.kt

Do not coerce function literals to suspend.

2018-08-30 14:50:33 +03:00

coerceFunctionLiteralToSuspend.txt

Do not coerce function literals to suspend.

2018-08-30 14:50:33 +03:00

completeInferenceIfManyFailed.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

completeInferenceIfManyFailed.txt

…

conflictingSubstitutions.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

conflictingSubstitutions.txt

…

dependantOnVariance.kt

[NI] Allow capturing type projections with type variables

2019-04-25 16:19:35 +03:00

dependantOnVariance.txt

…

dependantOnVarianceNullable.kt

…

dependantOnVarianceNullable.txt

…

dependOnExpectedType.kt

…

dependOnExpectedType.txt

…

expectedTypeAdditionalTest.kt

[NI] Update test data for diagnostic tests

2019-04-25 16:19:37 +03:00

expectedTypeAdditionalTest.txt

Support expected type from explicit cast

2017-10-11 19:23:52 +03:00

expectedTypeDoubleReceiver.kt

[NI] Update test data for diagnostic tests

2019-04-25 16:19:37 +03:00

expectedTypeDoubleReceiver.txt

Add test for ExpectedTypeFromCast feature

2017-10-16 20:10:57 +03:00

expectedTypeFromCast.kt

[NI] Update test data for diagnostic tests

2019-04-25 16:19:37 +03:00

expectedTypeFromCast.txt

Support expected type from explicit cast

2017-10-11 19:23:52 +03:00

expectedTypeFromCastComplexExpression.kt

Support expected type from explicit cast

2017-10-11 19:23:52 +03:00

expectedTypeFromCastComplexExpression.txt

Support expected type from explicit cast

2017-10-11 19:23:52 +03:00

expectedTypeFromCastParenthesized.kt

KT-22274 report warning on labels that can't be referenced

2018-07-25 12:08:20 +03:00

expectedTypeFromCastParenthesized.txt

Restrict retention for annotations with target EXPRESSION

2018-07-18 14:21:03 +03:00

expectedTypeWithGenerics.kt

[NI] Add support ExpectedTypeFromCast to new inference. #KT-30405 Fixed

2019-03-15 10:39:29 +03:00

expectedTypeWithGenerics.txt

Support expected type from explicit cast

2017-10-11 19:23:52 +03:00

findViewById.kt

[NI] Add support ExpectedTypeFromCast to new inference. #KT-30405 Fixed

2019-03-15 10:39:29 +03:00

findViewById.txt

Support expected type from explicit cast

2017-10-11 19:23:52 +03:00

fixationOrderForProperConstraints.kt

Add separate diagnostic renderer results for tests with NI

2017-11-29 02:54:30 +03:00

fixationOrderForProperConstraints.ni.txt

Add separate diagnostic renderer results for tests with NI

2017-11-29 02:54:30 +03:00

fixationOrderForProperConstraints.txt

Move test for NI to diagnostic tests and add "todo"

2017-08-07 18:01:16 +03:00

fixVariableToNothing.kt

[NI] Resolve type variable to Nothing for TO_SUBTYPE direction.

2017-07-14 12:43:04 +03:00

fixVariableToNothing.txt

[NI] Resolve type variable to Nothing for TO_SUBTYPE direction.

2017-07-14 12:43:04 +03:00

flexibleTypesAsUpperBound.kt

[NI] Approximate captured types when we resolve type variable TO_SUPER.

2017-07-14 12:43:04 +03:00

flexibleTypesAsUpperBound.txt

[NI] Approximate captured types when we resolve type variable TO_SUPER.

2017-07-14 12:43:04 +03:00

functionPlaceholderError.kt

[NI] Update test data for diagnostic tests

2019-04-25 16:19:37 +03:00

functionPlaceholderError.txt

…

hasErrorInConstrainingTypes.kt

…

hasErrorInConstrainingTypes.txt

…

immutableArrayList.kt

…

immutableArrayList.txt

javac-wrapper: refactoring, fixes and tests

2017-08-29 18:01:36 +03:00

implicitInvokeExtensionWithFunctionalArgument.kt

[NI] Add Nothing constraint if it was inferred from a call

2019-03-25 12:17:28 +03:00

implicitInvokeExtensionWithFunctionalArgument.txt

Fix modifier order in generated overriden functions

2018-01-16 15:42:02 +01:00

implicitInvokeInCompanionObjectWithFunctionalArgument.kt

Report warning about implicitly inferred nothing only for return position

2019-05-22 15:45:59 +03:00

implicitInvokeInCompanionObjectWithFunctionalArgument.txt

Fix modifier order in generated overriden functions

2018-01-16 15:42:02 +01:00

implicitInvokeInObjectWithFunctionalArgument.kt

Report warning about implicitly inferred nothing only for return position

2019-05-22 15:45:59 +03:00

implicitInvokeInObjectWithFunctionalArgument.txt

Fix modifier order in generated overriden functions

2018-01-16 15:42:02 +01:00

implicitInvokeWithFunctionLiteralArgument.kt

Report warning about implicitly inferred nothing only for return position

2019-05-22 15:45:59 +03:00

implicitInvokeWithFunctionLiteralArgument.txt

Fix modifier order in generated overriden functions

2018-01-16 15:42:02 +01:00

inferInFunctionLiterals.kt

…

inferInFunctionLiterals.txt

…

inferInFunctionLiteralsWithReturn.kt

…

inferInFunctionLiteralsWithReturn.txt

…

intersectionTypeMultipleBoundsAsReceiver.kt

…

intersectionTypeMultipleBoundsAsReceiver.txt

…

invokeLambdaAsFunction.kt

Add tests on obsolete issues

2017-09-05 14:41:34 +03:00

invokeLambdaAsFunction.txt

Add tests on obsolete issues

2017-09-05 14:41:34 +03:00

kt619.kt

…

kt619.txt

…

kt1293.kt

[NI] Avoid constraints from expected type for effectively empty system

2019-04-17 12:55:12 +03:00

kt1293.txt

Report UNUSED_PARAMETER on main parameter in 1.3+ #KT-26999 Fixed

2018-10-25 19:10:39 +03:00

kt3184.kt

Report UNUSED_PARAMETER on main parameter in 1.3+ #KT-26999 Fixed

2018-10-25 19:10:39 +03:00

kt3184.txt

Report UNUSED_PARAMETER on main parameter in 1.3+ #KT-26999 Fixed

2018-10-25 19:10:39 +03:00

kt6175.kt

[NI] Update test data for diagnostic tests

2019-04-25 16:19:37 +03:00

kt6175.txt

…

kt11963.kt

Fix exception on invalid code, don't resolve uninitialized type

2017-09-05 14:41:42 +03:00

kt11963.txt

Fix exception on invalid code, don't resolve uninitialized type

2017-09-05 14:41:42 +03:00

kt12399.kt

Add tests on obsolete issues

2017-09-05 14:41:34 +03:00

kt12399.txt

Add tests on obsolete issues

2017-09-05 14:41:34 +03:00

kt28598.kt

Add test for #KT-28598

2019-02-07 12:12:34 +03:00

kt28598.txt

Fix testdata of #KT-28598

2019-02-07 13:27:05 +03:00

kt28654.kt

[NI] Update test data for diagnostic tests

2019-04-25 16:19:37 +03:00

kt28654.txt

Add test for KT-28654

2019-02-21 12:04:23 +03:00

kt30405.kt

[NI] Add support ExpectedTypeFromCast to new inference. #KT-30405 Fixed

2019-03-15 10:39:29 +03:00

kt30405.txt

[NI] Add support ExpectedTypeFromCast to new inference. #KT-30405 Fixed

2019-03-15 10:39:29 +03:00

kt32434.kt

[NI] Look for type variables in captured flexible types

2019-07-22 11:08:39 +03:00

kt32434.txt

[NI] Look for type variables in captured flexible types

2019-07-22 11:08:39 +03:00

lambdaInValInitializerWithAnonymousFunctions.kt

Fix common misspellings

2018-12-21 16:13:42 +03:00

lambdaInValInitializerWithAnonymousFunctions.txt

Move test for NI to diagnostic tests and add "todo"

2017-08-07 18:01:16 +03:00

listConstructor.kt

…

listConstructor.txt

…

localFunctionInsideIfBlock.kt

KT-25383 fix

2019-02-21 12:04:23 +03:00

localFunctionInsideIfBlock.txt

[NI] Fix exception, recorded type for function statement can be null

2018-07-10 17:41:17 +03:00

mapFunction.kt

…

mapFunction.txt

…

mostSpecificAfterInference.kt

…

mostSpecificAfterInference.txt

…

NoInferenceFromDeclaredBounds.kt

Report warning about implicitly inferred nothing only for return position

2019-05-22 15:45:59 +03:00

NoInferenceFromDeclaredBounds.txt

…

noInformationForParameter.kt

[NI] Update test data for diagnostic tests

2019-04-25 16:19:37 +03:00

noInformationForParameter.txt

…

nullableTypeArgumentWithNotNullUpperBound.kt

[NI] Approximate captured types when we resolve type variable TO_SUPER.

2017-07-14 12:43:04 +03:00

nullableTypeArgumentWithNotNullUpperBound.txt

[NI] Approximate captured types when we resolve type variable TO_SUPER.

2017-07-14 12:43:04 +03:00

nullableUpperBound.kt

…

nullableUpperBound.txt

…

opposite.kt

…

opposite.txt

…

possibleCycleOnConstraints.kt

[NI] Implement various optimizations for incorporation algorithm

2019-05-26 21:32:46 +03:00

possibleCycleOnConstraints.txt

…

recursiveTypes.kt

[NI] Remove deep types in commosn super type for recursive types

2019-05-23 12:22:42 +03:00

recursiveTypes.txt

[NI] Remove deep types in commosn super type for recursive types

2019-05-23 12:22:42 +03:00

reportAboutUnresolvedReferenceAsUnresolved.kt

[NI] Don't complete nested call if there's no constraints at all

2019-03-25 12:17:28 +03:00

reportAboutUnresolvedReferenceAsUnresolved.txt

[NI] Record all diagnostics from subcalls resolution results

2018-02-14 14:58:04 +03:00

tryNumberLowerBoundsBeforeUpperBounds.kt

…

tryNumberLowerBoundsBeforeUpperBounds.txt

…

typeConstructorMismatch.kt

Add diagnostics to test data from NI

2017-11-29 02:54:26 +03:00

typeConstructorMismatch.txt

…

typeInferenceExpectedTypeMismatch.kt

[NI] Don't return resulting call if return type has uninferred types

2019-04-25 16:19:38 +03:00

typeInferenceExpectedTypeMismatch.txt

…

useFunctionLiteralsToInferType.kt

…

useFunctionLiteralsToInferType.txt

…