Pavel Kirpichenkov 78c9bbcc0d [NI] Soften restictions on using Nothing as proper constraint for full call completion ...

Consider lower `Nothing` constraint non-proper only if there is a dependant not analyzed postponed atom.
Early completion to `Nothing` provides data flow info for smart casts.

KT-35668 Fixed

2020-01-23 19:12:01 +03:00

..

capturedTypes

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

coercionToUnit

[NI] Remove lambda coersion to Unit in case of error return type(s)

2020-01-23 13:18:50 +03:00

commonSystem

[NI] Fix CST calculation for covariant type projections

2020-01-16 17:18:20 +03:00

completion

[NI] Soften restictions on using Nothing as proper constraint for full call completion

2020-01-23 19:12:01 +03:00

constraints

NI: Add flexible Nothing to trivial constraints to filter it

2019-12-12 18:45:11 +03:00

nestedCalls

[NI] Discriminate Nothing? result type from nullability constraints

2019-12-25 14:59:06 +03:00

nothingType

[NI] Check stub types in result type

2020-01-20 11:11:31 +03:00

recursiveCalls

[NI] Remove lambda coersion to Unit in case of error return type(s)

2020-01-23 13:18:50 +03:00

recursiveLocalFuns

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

regressions

[NI] Remove lambda coersion to Unit in case of error return type(s)

2020-01-23 13:18:50 +03:00

reportingImprovements

[NI] Remove lambda coersion to Unit in case of error return type(s)

2020-01-23 13:18:50 +03:00

substitutions

Fix FIR test data for old FE test

2019-12-23 12:02:54 +03:00

upperBounds

NI: don't filter flexible types during CST calculation and force return as result the first of such types

2019-12-25 18:00:23 +03:00

cannotCompleteResolveAmbiguity.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

cannotCompleteResolveAmbiguity.kt

Add diagnostics to test data from NI

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

cannotCompleteResolveAmbiguity.txt

…

cannotCompleteResolveFunctionLiteralsNoUse.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

cannotCompleteResolveFunctionLiteralsNoUse.kt

Add diagnostics to test data from NI

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

cannotCompleteResolveFunctionLiteralsNoUse.txt

…

cannotCompleteResolveNoInfoForParameter.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

cannotCompleteResolveNoInfoForParameter.kt

Add diagnostics to test data from NI

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

cannotCompleteResolveNoInfoForParameter.txt

…

cannotCompleteResolveNoneApplicable.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

cannotCompleteResolveNoneApplicable.kt

…

cannotCompleteResolveNoneApplicable.txt

…

cannotCompleteResolveWithFunctionLiterals.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

cannotCompleteResolveWithFunctionLiterals.kt

Add diagnostics to test data from NI

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

cannotCompleteResolveWithFunctionLiterals.txt

…

capturedInProjectedFlexibleType.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

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.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +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.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

completeInferenceIfManyFailed.kt

Add diagnostics to test data from NI

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

completeInferenceIfManyFailed.txt

…

completionOfMultipleLambdas.fir.kt

[NI] Improve completing calls with multiple postponed arguments

2019-12-26 10:53:03 +03:00

completionOfMultipleLambdas.kt

[NI] Improve completing calls with multiple postponed arguments

2019-12-26 10:53:03 +03:00

completionOfMultipleLambdas.txt

[NI] Improve completing calls with multiple postponed arguments

2019-12-26 10:53:03 +03:00

conflictingSubstitutions.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

conflictingSubstitutions.kt

Add diagnostics to test data from NI

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

conflictingSubstitutions.txt

…

dependantOnVariance.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

dependantOnVariance.kt

[NI] Support fixation to subtype in completion mode calculator

2019-12-25 14:59:05 +03:00

dependantOnVariance.txt

…

dependantOnVarianceNullable.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

dependantOnVarianceNullable.kt

…

dependantOnVarianceNullable.txt

…

dependOnExpectedType.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

dependOnExpectedType.kt

…

dependOnExpectedType.txt

…

expectedTypeAdditionalTest.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

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.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +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.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +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.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +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.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +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.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +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.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +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.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +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.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +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.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +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.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

functionPlaceholderError.kt

[NI] Update test data for diagnostic tests

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

functionPlaceholderError.txt

…

genericAssignmentOperator.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

genericAssignmentOperator.kt

Frontend: Avoid retypechecking the right hand side of assignment operators

2019-11-08 14:02:56 +03:00

genericAssignmentOperator.txt

Frontend: Avoid retypechecking the right hand side of assignment operators

2019-11-08 14:02:56 +03:00

hasErrorInConstrainingTypes.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

hasErrorInConstrainingTypes.kt

…

hasErrorInConstrainingTypes.txt

…

immutableArrayList.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

immutableArrayList.kt

…

immutableArrayList.txt

javac-wrapper: refactoring, fixes and tests

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

implicitInvokeExtensionWithFunctionalArgument.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

implicitInvokeExtensionWithFunctionalArgument.kt

[NI] Don't discriminate Nothing-type from resulting ones

2019-12-25 14:59:04 +03:00

implicitInvokeExtensionWithFunctionalArgument.txt

Fix modifier order in generated overriden functions

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

implicitInvokeInCompanionObjectWithFunctionalArgument.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03: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.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03: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.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03: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.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

inferInFunctionLiterals.kt

…

inferInFunctionLiterals.txt

…

inferInFunctionLiteralsWithReturn.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

inferInFunctionLiteralsWithReturn.kt

…

inferInFunctionLiteralsWithReturn.txt

…

intersectionTypeMultipleBoundsAsReceiver.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

intersectionTypeMultipleBoundsAsReceiver.kt

…

intersectionTypeMultipleBoundsAsReceiver.txt

…

intersectionWithEnum.fir.kt

[NI] Approximate intersection type in type argument to star if it's necessary

2019-12-20 11:33:06 +03:00

intersectionWithEnum.kt

[NI] Approximate intersection type in type argument to star if it's necessary

2019-12-20 11:33:06 +03:00

intersectionWithEnum.ni.txt

[NI] Approximate intersection type in type argument to star if it's necessary

2019-12-20 11:33:06 +03:00

intersectionWithEnum.txt

[NI] Approximate intersection type in type argument to star if it's necessary

2019-12-20 11:33:06 +03:00

invokeLambdaAsFunction.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

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

knownTypeParameters.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

knownTypeParameters.kt

[NI] Add missing substitution of known type parameters

2019-11-15 16:58:07 +03:00

knownTypeParameters.txt

[NI] Add missing substitution of known type parameters

2019-11-15 16:58:07 +03:00

kt619.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

kt619.kt

…

kt619.txt

…

kt1293.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

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.fir.kt

FIR resolve: add partial support of extension lambda calls

2019-12-27 09:57:36 +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.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

kt6175.kt

[NI] Update test data for diagnostic tests

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

kt6175.txt

…

kt11963.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

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.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +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.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +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.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

kt28654.kt

[NI] Remove lambda coersion to Unit in case of error return type(s)

2020-01-23 13:18:50 +03:00

kt28654.txt

Add test for KT-28654

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

kt30405.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +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

kt32196.fir.kt

[NI] Infer type variable to Nothing if all upper constraints are from upper bounds

2019-12-20 11:17:47 +03:00

kt32196.kt

[NI] Infer type variable to Nothing if all upper constraints are from upper bounds

2019-12-20 11:17:47 +03:00

kt32196.txt

[NI] Infer type variable to Nothing if all upper constraints are from upper bounds

2019-12-20 11:17:47 +03:00

kt32415.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

kt32415.kt

[NI] Add missing substitution of known type parameters

2019-11-15 16:58:07 +03:00

kt32415.txt

[NI] Add missing substitution of known type parameters

2019-11-15 16:58:07 +03:00

kt32434.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +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

kt32462.fir.kt

[NI] Improve completing callable references with type variable as expected type

2020-01-15 22:12:28 +03:00

kt32462.kt

[NI] Improve completing callable references with type variable as expected type

2020-01-15 22:12:28 +03:00

kt32462.txt

[NI] Improve completing callable references with type variable as expected type

2020-01-15 22:12:28 +03:00

kt33263.fir.kt

[NI] Add constraint K <: T from constraint K <: CapturedType(in T)

2019-12-25 16:19:19 +03:00

kt33263.kt

[NI] Add constraint K <: T from constraint K <: CapturedType(in T)

2019-12-25 16:19:19 +03:00

kt33263.txt

[NI] Add constraint K <: T from constraint K <: CapturedType(in T)

2019-12-25 16:19:19 +03:00

kt35702.fir.kt

[NI] Don't replace context dependency for blocks with expected type

2019-12-26 20:31:06 +03:00

kt35702.kt

[NI] Don't replace context dependency for blocks with expected type

2019-12-26 20:31:06 +03:00

kt35702.txt

[NI] Don't replace context dependency for blocks with expected type

2019-12-26 20:31:06 +03:00

lambdaArgumentWithLabel.fir.kt

[NI] Fix issue with returning non-deparenthesized lambdas from labmdas

2020-01-23 18:56:02 +03:00

lambdaArgumentWithLabel.kt

[NI] Fix issue with returning non-deparenthesized lambdas from labmdas

2020-01-23 18:56:02 +03:00

lambdaArgumentWithLabel.txt

[NI] Fix issue with returning non-deparenthesized lambdas from labmdas

2020-01-23 18:56:02 +03:00

lambdaInValInitializerWithAnonymousFunctions.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +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.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

listConstructor.kt

…

listConstructor.txt

…

localFunctionInsideIfBlock.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

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.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

mapFunction.kt

…

mapFunction.txt

…

mostSpecificAfterInference.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

mostSpecificAfterInference.kt

…

mostSpecificAfterInference.txt

…

NoInferenceFromDeclaredBounds.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

NoInferenceFromDeclaredBounds.kt

Report warning about implicitly inferred nothing only for return position

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

NoInferenceFromDeclaredBounds.txt

…

noInformationForParameter.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

noInformationForParameter.kt

[NI] Update test data for diagnostic tests

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

noInformationForParameter.txt

…

nullableTypeArgumentWithNotNullUpperBound.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

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.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

nullableUpperBound.kt

…

nullableUpperBound.txt

…

opposite.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

opposite.kt

…

opposite.txt

…

possibleCycleOnConstraints.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

possibleCycleOnConstraints.kt

[NI] Implement various optimizations for incorporation algorithm

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

possibleCycleOnConstraints.txt

…

recursiveTypes.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

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.fir.kt

[FIR] Handle unresolved callable references more correctly

2020-01-23 12:32:39 +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

starApproximation.fir.kt

NI: Approximate captured-for-star-projections to *

2019-12-26 12:35:32 +03:00

starApproximation.kt

NI: Approximate captured-for-star-projections to *

2019-12-26 12:35:32 +03:00

starApproximationBangBang.fir.kt

NI: Approximate captured-for-star-projections to *

2019-12-26 12:35:32 +03:00

starApproximationBangBang.kt

NI: Approximate captured-for-star-projections to *

2019-12-26 12:35:32 +03:00

starApproximationFlexible.fir.kt

NI: Approximate captured-for-star-projections to *

2019-12-26 12:35:32 +03:00

starApproximationFlexible.kt

NI: Approximate captured-for-star-projections to *

2019-12-26 12:35:32 +03:00

starApproximationFromDifferentTypeParameter.fir.kt

NI: Fix regression for star-projections approximation

2020-01-14 17:35:24 +03:00

starApproximationFromDifferentTypeParameter.kt

NI: Fix regression for star-projections approximation

2020-01-14 17:35:24 +03:00

tooEagerSmartcast.fir.kt

NI: Fix type mismatch caused by smartcast

2019-12-26 12:35:35 +03:00

tooEagerSmartcast.kt

NI: In subtyping do not intersect arguments for non-covariant types

2020-01-14 17:35:24 +03:00

tryNumberLowerBoundsBeforeUpperBounds.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

tryNumberLowerBoundsBeforeUpperBounds.kt

…

tryNumberLowerBoundsBeforeUpperBounds.txt

…

typeConstructorMismatch.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

typeConstructorMismatch.kt

Add diagnostics to test data from NI

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

typeConstructorMismatch.txt

…

typeInferenceExpectedTypeMismatch.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

typeInferenceExpectedTypeMismatch.kt

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

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

typeInferenceExpectedTypeMismatch.txt

…

typeParameterInConstructor.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

typeParameterInConstructor.kt

[NI] Split substitution of inferred type parametes into two steps

2019-11-15 16:58:32 +03:00

typeParameterInConstructor.txt

[NI] Split substitution of inferred type parametes into two steps

2019-11-15 16:58:32 +03:00

useFunctionLiteralsToInferType.fir.kt

[FIR-TEST] Add new testdata generated after changes in previous commit

2019-12-12 16:11:46 +03:00

useFunctionLiteralsToInferType.kt

…

useFunctionLiteralsToInferType.txt

…