azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
master
kotlin-fork/compiler/testData/diagnostics/tests/inference
T
History
Ilya Chernikov fecc5ba501 K2: do not try to resolve invoke on error receiver 
If a potential receiver is resolved to an error type, we consider
any other type as a subtype of it and therefore may select
any candidate that we happen to find in a scope.
In particular, in the case of scripts, or code with a context receiver,
the receiver candidate resolved to a cycle was accepted as a receiver
to an invoke on a random class from stdlib.
The fix skips adding invoke resolve task in this case, allowing
the tower to find the correct candidate in another scope.

#KT-64241 fixed
#KT-65576 fixed
2024-03-19 15:38:35 +00:00
..
builderInference
K2: Fix PCLA breaking change when using a bare type on a type variable
2024-03-12 10:22:11 +00:00
callableReferences
K2: allow/disallow coercion-to-unit for callable references more precisely
2023-12-12 13:52:29 +00:00
capturedTypes
[FIR] Support flexible and DNN types in upper bound violated extra message
2024-03-07 16:40:22 +00:00
coercionToUnit
[FIR] Check is for impossibility
2024-03-08 15:37:44 +00:00
commonSystem
[FIR] Fix capturing of flexible types during resolution
2023-11-30 08:54:26 +00:00
completion
[FIR] Don't set lambda parameter type to Nothing by default
2024-02-26 08:59:22 +00:00
constraints
[FIR] Add equality constraint from expected type for some synthetic function calls
2024-03-05 17:38:59 +00:00
emptyIntersectionTypes
[FIR] Add equality constraint from expected type for some synthetic function calls
2024-03-05 17:38:59 +00:00
forks
[Test] Add regression test for KT-66336
2024-03-14 12:23:36 +00:00
nestedCalls
[FIR] Narrow down range of NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER
2023-09-22 13:49:59 +00:00
nothingType
[FIR] Improve source selection for NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER
2024-03-05 17:38:59 +00:00
publicApproximation
K2: Avoid inference diagnostics when arguments are already error typed
2023-02-15 08:13:41 +00:00
recursiveCalls
[FIR] update reversed testData
2023-04-19 20:12:41 +00:00
recursiveLocalFuns
[FIR] Report missing TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM for local functions
2023-07-31 17:38:46 +00:00
recursiveTypes
K2: repeat K1 representation for flexible type parameters
2024-03-11 13:38:05 +00:00
regressions
[FIR] Improve source selection for NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER
2024-03-05 17:38:59 +00:00
reportingImprovements
[Test] Add regression tests for issues which are fixed in K2
2024-03-07 12:49:47 +00:00
substitutions
[LL FIR] rework transformers, so transformers resolve only a specific set of declarations
2023-04-19 20:12:38 +00:00
upperBounds
[FIR] Narrow down range of NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER
2023-09-22 13:49:59 +00:00
annotatedUnderscoredTypeArgument.kt
[FIR] Report UNRESOLVED_REFERENCE on the first unresolved qualifier
2023-09-04 08:05:07 +00:00
annotatedUnderscoredTypeArgument.txt
…
assertThatInNumerousIf.kt
Common supertypes: unwrap captured type from DNN type during recursion control
2023-10-05 12:17:17 +00:00
cannotCompleteResolveAmbiguity.kt
FIR: Mark a pack of tests (53) as FIR_IDENTICAL
2021-05-25 13:28:29 +03:00
cannotCompleteResolveAmbiguity.txt
Fix testData in compiler: add collections and ranges package to fq-names.
2016-01-22 05:54:38 +03:00
cannotCompleteResolveFunctionLiteralsNoUse.kt
[FIR] Don't set lambda parameter type to Nothing by default
2024-02-26 08:59:22 +00:00
cannotCompleteResolveFunctionLiteralsNoUse.txt
[FE 1.0] Update test data with new error type representation
2022-03-23 21:13:33 +00:00
cannotCompleteResolveNoInfoForParameter.kt
FIR: Mark a pack of tests (53) as FIR_IDENTICAL
2021-05-25 13:28:29 +03:00
cannotCompleteResolveNoInfoForParameter.txt
Fix testData in compiler: add collections and ranges package to fq-names.
2016-01-22 05:54:38 +03:00
cannotCompleteResolveNoneApplicable.kt
[Test] Disable UNUSED_* diagnostics in tests which are not belong to contolFlowAnalysis suite
2021-03-29 16:12:29 +03:00
cannotCompleteResolveNoneApplicable.txt
Fix testData in compiler: add collections and ranges package to fq-names.
2016-01-22 05:54:38 +03:00
cannotCompleteResolveWithFunctionLiterals.kt
[FIR] Don't set lambda parameter type to Nothing by default
2024-02-26 08:59:22 +00:00
cannotCompleteResolveWithFunctionLiterals.txt
[FE 1.0] Update test data with new error type representation
2022-03-23 21:13:33 +00:00
capturedInProjectedFlexibleType.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
capturedInProjectedFlexibleType.txt
…
capturedTypesInSelfType.kt
…
capturedTypesInSelfType.txt
…
checkNotNullWithNullableExpectedType.kt
[FIR] Add equality constraint from expected type for some synthetic function calls
2024-03-05 17:38:59 +00:00
coerceFunctionLiteralToSuspend.fir.kt
[FIR] Don't perform suspend conversion for anonymous functions
2023-04-30 16:12:54 +00: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
commonSuperTypeOfErrorTypes.fir.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
commonSuperTypeOfErrorTypes.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
commonSuperTypeOfErrorTypes.txt
…
commonSuperTypeOfTypesWithErrorSupertypes.fir.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
commonSuperTypeOfTypesWithErrorSupertypes.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
commonSuperTypeOfTypesWithErrorSupertypes.txt
[FE 1.0] Update test data with new error type representation
2022-03-23 21:13:33 +00:00
completeInferenceIfManyFailed.fir.kt
[FIR] Keep all failed resolution candidates and fully resolve them
2023-05-10 11:48:58 +00:00
completeInferenceIfManyFailed.kt
Remove OI/NI attributes from test data
2021-05-25 13:28:27 +03:00
completeInferenceIfManyFailed.txt
fix tests in org.jetbrains.kotlin.checkers
2015-09-08 02:04:32 +03:00
completionOfMultipleLambdas.fir.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
completionOfMultipleLambdas.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
completionOfMultipleLambdas.txt
[NI] Improve completing calls with multiple postponed arguments
2019-12-26 10:53:03 +03:00
complexInferenceOnParentizedExpression.fir.kt
[Test] Add regression tests for issues which are fixed in K2
2024-03-07 12:49:47 +00:00
complexInferenceOnParentizedExpression.kt
[Test] Add regression tests for issues which are fixed in K2
2024-03-07 12:49:47 +00:00
conflictingSubstitutions.kt
FIR: Mark a pack of tests (53) as FIR_IDENTICAL
2021-05-25 13:28:29 +03:00
conflictingSubstitutions.txt
Fix testData in compiler: add collections and ranges package to fq-names.
2016-01-22 05:54:38 +03:00
cstFromErrorAndNonErrorTypes.fir.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
cstFromErrorAndNonErrorTypes.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
cstFromErrorAndNonErrorTypes.txt
…
dependantOnVariance.fir.kt
Remove WITH_NEW_INFERENCE directive from all tests
2021-05-25 13:28:26 +03:00
dependantOnVariance.kt
Update tests after rebase
2021-05-28 15:36:24 +03:00
dependantOnVariance.txt
fix tests in org.jetbrains.kotlin.checkers
2015-09-08 02:04:32 +03:00
dependantOnVarianceNullable.kt
[FIR] Add NO_RETURN_IN_FUNCTION_WITH_BLOCK_BODY diagnostic
2021-07-19 13:40:28 +03:00
dependantOnVarianceNullable.txt
Fix testData in compiler: add collections and ranges package to fq-names.
2016-01-22 05:54:38 +03:00
dependOnExpectedType.kt
…
dependOnExpectedType.txt
…
discardInapplicableCandidateWithNotSatisfyingSelfType.kt
…
discardInapplicableCandidateWithNotSatisfyingSelfType.txt
…
dontThrowEmptyIntersectionException.fir.kt
[FIR] Utilize equality compatibility logic for cast checks
2024-03-08 15:37:44 +00:00
dontThrowEmptyIntersectionException.kt
[FE 1.0] Don't throw empty intersection exception, return empty intersection type instead
2022-07-04 12:05:56 +00:00
dontThrowEmptyIntersectionException.txt
[FE 1.0] Don't throw empty intersection exception, return empty intersection type instead
2022-07-04 12:05:56 +00:00
elvisInsideWhen.kt
K2: Emulate K1 behavior in case of when-elvis combination
2023-02-15 08:13:51 +00:00
equalitySubstitutionInsideNonInvariantType.kt
…
equalitySubstitutionInsideNonInvariantType.txt
…
errorsOnImplicitInvokeInSimpleCall.fir.kt
FIR: Adjust test data after introduction of INFERENCE_NO_INFORMATION_FOR_PARAMETER
2021-06-07 15:25:47 +03:00
errorsOnImplicitInvokeInSimpleCall.kt
Report error about uninferred type parameter for all CallForImplicitInvoke psi calls
2021-02-08 10:40:18 +03:00
errorsOnImplicitInvokeInSimpleCall.txt
Report error about uninferred type parameter for all CallForImplicitInvoke psi calls
2021-02-08 10:40:18 +03:00
exclExclInference.fir.kt
K2: Fix generic inference case with !! synthetic call
2023-04-03 12:44:52 +00:00
exclExclInference.fir.txt
K2: Fix generic inference case with !! synthetic call
2023-04-03 12:44:52 +00:00
exclExclInference.kt
K2: Fix generic inference case with !! synthetic call
2023-04-03 12:44:52 +00:00
expectedTypeAdditionalTest.fir.kt
…
expectedTypeAdditionalTest.kt
…
expectedTypeAdditionalTest.txt
…
expectedTypeDoubleReceiver.fir.kt
…
expectedTypeDoubleReceiver.kt
…
expectedTypeDoubleReceiver.txt
…
expectedTypeFromCast.kt
[FIR] Narrow down range of NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER
2023-09-22 13:49:59 +00:00
expectedTypeFromCast.txt
…
expectedTypeFromCastComplexExpression.kt
…
expectedTypeFromCastComplexExpression.txt
…
expectedTypeFromCastParenthesized.fir.kt
…
expectedTypeFromCastParenthesized.kt
…
expectedTypeFromCastParenthesized.txt
…
expectedTypeWithGenerics.fir.kt
[FE] Always infer upper types to intersection types in K2...
2022-11-29 12:25:44 +00:00
expectedTypeWithGenerics.kt
…
expectedTypeWithGenerics.txt
…
expectedTypeWithGenericsSafeCalls.kt
…
extensionLambdasAndArrow.fir.kt
[FIR] Add equality constraint from expected type for some synthetic function calls
2024-03-05 17:38:59 +00:00
extensionLambdasAndArrow.kt
Relax rules about inferring to Nothing for special calls
2020-07-16 09:56:46 +03:00
extensionLambdasAndArrow.txt
minor: update test data
2020-03-03 12:57:41 +03:00
findViewById.fir.kt
K2: repeat K1 representation for flexible type parameters
2024-03-11 13:38:05 +00:00
findViewById.kt
Switch kotlin version to 1.7
2022-02-25 11:46:27 +00:00
findViewById.txt
Support expected type from explicit cast
2017-10-11 19:23:52 +03:00
fixationOrderForProperConstraints.kt
FIR: Mark a pack of tests (53) as FIR_IDENTICAL
2021-05-25 13:28:29 +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
[Tests] Trim contents before checking for FIR_IDENTICAL
2023-09-06 11:32:57 +00:00
fixVariableToNothing.txt
[NI] Resolve type variable to Nothing for TO_SUBTYPE direction.
2017-07-14 12:43:04 +03:00
flexibleTypesAsUpperBound.kt
…
flexibleTypesAsUpperBound.txt
…
functionPlaceholderError.fir.kt
K2: Set proper source for implicit it/receiver parameter
2024-01-11 10:32:12 +00:00
functionPlaceholderError.kt
K2: Set proper source for implicit it/receiver parameter
2024-01-11 10:32:12 +00:00
functionPlaceholderError.txt
Fix testData in compiler: add collections and ranges package to fq-names.
2016-01-22 05:54:38 +03:00
genericAssignmentOperator.kt
[Test] Disable UNUSED_* diagnostics in tests which are not belong to contolFlowAnalysis suite
2021-03-29 16:12:29 +03:00
genericAssignmentOperator.txt
Frontend: Avoid retypechecking the right hand side of assignment operators
2019-11-08 14:02:56 +03:00
genericCallInThrow.kt
[FIR] Use Throwable as expected type for throw expressions
2023-05-22 14:05:28 +00:00
genericOnJavaWildcardBoundedByRaw.kt
K2: generate bounds for inner-class based raw types properly
2023-08-22 11:40:26 +00:00
hasErrorInConstrainingTypes.kt
K2: Avoid inference diagnostics when arguments are already error typed
2023-02-15 08:13:41 +00:00
hasErrorInConstrainingTypes.txt
…
ifWithDependentBranches.kt
[FIR] Add equality constraint from expected type for some synthetic function calls
2024-03-05 17:38:59 +00:00
illegalUnderscoredTypeArgument.fir.kt
[FIR] Fix inconsistent RETURN_TYPE_MISMATCH and TYPE_MISMATCH reporting on functions and properties
2022-04-05 15:50:43 +00:00
illegalUnderscoredTypeArgument.kt
…
illegalUnderscoredTypeArgument.txt
…
immutableArrayList.kt
Introduce FIR_IDENTICAL for FIR vs old frontend tests #KT-36879 Fixed
2020-03-05 09:39:40 +03:00
immutableArrayList.txt
javac-wrapper: refactoring, fixes and tests
2017-08-29 18:01:36 +03:00
implicitInvokeExtensionWithFunctionalArgument.kt
FIR: Mark a pack of tests (53) as FIR_IDENTICAL
2021-05-25 13:28:29 +03:00
implicitInvokeExtensionWithFunctionalArgument.txt
Fix modifier order in generated overriden functions
2018-01-16 15:42:02 +01:00
implicitInvokeInCompanionObjectWithFunctionalArgument.fir.kt
Remove WITH_NEW_INFERENCE directive from all tests
2021-05-25 13:28:26 +03:00
implicitInvokeInCompanionObjectWithFunctionalArgument.kt
Remove WITH_NEW_INFERENCE directive from all tests
2021-05-25 13:28:26 +03:00
implicitInvokeInCompanionObjectWithFunctionalArgument.txt
Fix modifier order in generated overriden functions
2018-01-16 15:42:02 +01:00
implicitInvokeInObjectWithFunctionalArgument.fir.kt
Remove WITH_NEW_INFERENCE directive from all tests
2021-05-25 13:28:26 +03:00
implicitInvokeInObjectWithFunctionalArgument.kt
Remove WITH_NEW_INFERENCE directive from all tests
2021-05-25 13:28:26 +03:00
implicitInvokeInObjectWithFunctionalArgument.txt
Fix modifier order in generated overriden functions
2018-01-16 15:42:02 +01:00
implicitInvokeWithFunctionLiteralArgument.fir.kt
Remove WITH_NEW_INFERENCE directive from all tests
2021-05-25 13:28:26 +03:00
implicitInvokeWithFunctionLiteralArgument.kt
Remove WITH_NEW_INFERENCE directive from all tests
2021-05-25 13:28:26 +03:00
implicitInvokeWithFunctionLiteralArgument.txt
Fix modifier order in generated overriden functions
2018-01-16 15:42:02 +01:00
inferenceForkRegression.kt
K2: Apply constraints from forks at UNTIL_FIRST_LAMBDA completion phase
2022-11-24 17:29:29 +00:00
inferenceForkRegressionSimple.fir.kt
K2: Apply constraints from forks at UNTIL_FIRST_LAMBDA completion phase
2022-11-24 17:29:29 +00:00
inferenceForkRegressionSimple.kt
K2: Apply constraints from forks at UNTIL_FIRST_LAMBDA completion phase
2022-11-24 17:29:29 +00:00
inferInFunctionLiterals.kt
[Test] Disable UNUSED_* diagnostics in tests which are not belong to contolFlowAnalysis suite
2021-03-29 16:12:29 +03:00
inferInFunctionLiterals.txt
Fix testData in compiler: add collections and ranges package to fq-names.
2016-01-22 05:54:38 +03:00
inferInFunctionLiteralsWithReturn.kt
…
inferInFunctionLiteralsWithReturn.txt
…
intersectionTypeMultipleBoundsAsReceiver.kt
…
intersectionTypeMultipleBoundsAsReceiver.txt
…
intersectionTypeOnWhenCall.kt
[FIR] Handle ConeIntersectionType in createSimpleType
2023-11-09 11:19:07 +00:00
intersectionTypesWithContravariantTypes.kt
[FIR] Report errors for upper bounded type variables by an empty intersection type
2022-04-27 19:50:21 +00:00
intersectionTypesWithContravariantTypes.txt
…
intersectionWithEnum.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
intersectionWithEnum.ni.txt
Add EnumEntries to minimal-stdlib-for-tests
2023-03-02 10:23:38 +00: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] Prevent missing diagnostics on free lambdas
2023-08-08 11:00:04 +00:00
invokeLambdaAsFunction.kt
[FIR JS] KT-51740: Alter positioning of NO_VALUE_FOR_PARAMETER
2022-09-30 21:39:20 +03:00
invokeLambdaAsFunction.txt
Add tests on obsolete issues
2017-09-05 14:41:34 +03:00
knownTypeParameters.kt
[FIR] fix resolve contract violation from scopes
2023-01-13 21:32:51 +00:00
knownTypeParameters.txt
…
kt619.kt
[FIR] fix resolve contract violation from scopes
2023-01-13 21:32:51 +00:00
kt619.txt
fix tests in org.jetbrains.kotlin.checkers
2015-09-08 02:04:32 +03:00
kt1293.fir.kt
Remove WITH_NEW_INFERENCE directive from all tests
2021-05-25 13:28:26 +03:00
kt1293.kt
Remove WITH_NEW_INFERENCE directive from all tests
2021-05-25 13:28:26 +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
[FIR] Support completion of lambdas with type variable as expected type
2020-03-06 18:10:52 +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
K2: Set proper source for implicit it/receiver parameter
2024-01-11 10:32:12 +00:00
kt6175.kt
Switch kotlin version to 1.7
2022-02-25 11:46:27 +00:00
kt6175.txt
Fix testData in compiler: add collections and ranges package to fq-names.
2016-01-22 05:54:38 +03:00
kt11963.fir.kt
[FIR] Report UNRESOLVED_REFERENCE on the first unresolved qualifier
2023-09-04 08:05:07 +00:00
kt11963.kt
Fix exception on invalid code, don't resolve uninitialized type
2017-09-05 14:41:42 +03:00
kt11963.txt
[FE 1.0] Update test data with new error type representation
2022-03-23 21:13:33 +00:00
kt12399.fir.kt
[FIR] Prevent missing diagnostics on free lambdas
2023-08-08 11:00:04 +00:00
kt12399.kt
[Test] Disable UNUSED_* diagnostics in tests which are not belong to contolFlowAnalysis suite
2021-03-29 16:12:29 +03:00
kt12399.txt
Add tests on obsolete issues
2017-09-05 14:41:34 +03:00
kt28598.fir.kt
Remove WITH_NEW_INFERENCE directive from all tests
2021-05-25 13:28:26 +03:00
kt28598.kt
Remove OI/NI attributes from test data
2021-05-25 13:28:27 +03:00
kt28598.txt
Fix testdata of #KT-28598
2019-02-07 13:27:05 +03:00
kt28654.fir.kt
[FIR] Fix inconsistent RETURN_TYPE_MISMATCH and TYPE_MISMATCH reporting on functions and properties
2022-04-05 15:50:43 +00:00
kt28654.kt
Remove OI/NI attributes from test data
2021-05-25 13:28:27 +03:00
kt28654.txt
Add test for KT-28654
2019-02-21 12:04:23 +03:00
kt30405.kt
FIR: Support adding expect type to calls in foo() as R position
2021-06-07 15:25:51 +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.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
kt32415.txt
[NI] Add missing substitution of known type parameters
2019-11-15 16:58:07 +03:00
kt32434.kt
Remove WITH_NEW_INFERENCE directive from all tests
2021-05-25 13:28:26 +03:00
kt32434.txt
[NI] Look for type variables in captured flexible types
2019-07-22 11:08:39 +03:00
kt32462.fir.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
kt32462.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00: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
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
kt33263.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
kt33263.txt
[NI] Add constraint K <: T from constraint K <: CapturedType(in T)
2019-12-25 16:19:19 +03:00
kt35702.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
kt35702.txt
[NI] Don't replace context dependency for blocks with expected type
2019-12-26 20:31:06 +03:00
kt36044.kt
[FIR] Don't set up expected type for function body
2020-03-16 17:04:28 +03:00
kt36044.txt
NI: Analyze lambdas which are return arguments of another lambda
2020-03-12 23:29:09 +03:00
kt36819.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
kt36819.txt
NI: take into account an extension function annotation during CST calculation
2020-04-02 15:28:35 +03:00
kt37853.kt
Add tests for obsolete issues
2020-04-20 04:10:37 +03:00
kt37853.txt
Add tests for obsolete issues
2020-04-20 04:10:37 +03:00
kt39220.fir.kt
[FIR] Report NONE_APPLICABLE on callable references with multiple failed candidates
2023-11-08 15:45:48 +00:00
kt39220.kt
Don't add LHS type constraint for callable references too early, before the resolution
2021-10-01 13:33:21 +03:00
kt39220.txt
NI: take into account effective variance during adding constraints from LHS instead of only use site variance
2020-06-01 17:24:49 +03:00
kt40396.kt
[FIR] Report type-parameterized implicit invoke call over type-parameterized property access
2023-11-20 14:59:06 +00:00
kt40396.txt
[FE] Properly report diagnostics about type arguments of implicit invoke
2020-12-16 17:57:58 +03:00
kt46515.kt
Replace all occurrences of WITH_RUNTIME with WITH_STDLIB
2021-11-17 15:26:38 +03:00
kt46515.txt
FIR / FE 1.0: fix exception for lambda with unresolved name
2021-05-11 15:41:06 +03:00
kt47316.fir.kt
Add test for KT-52782
2022-08-31 09:45:54 +00:00
kt47316.kt
Add test for KT-52782
2022-08-31 09:45:54 +00:00
kt47316.txt
Use proper applicability for constraint warnings
2021-07-09 14:07:01 +03:00
kt49658.fir.kt
[FE 1.0] Don't lose diagnostics during lambda analysis at the overload resolution by return type stage
2022-01-11 18:07:05 +03:00
kt49658.kt
Switch kotlin version to 1.8
2022-06-29 10:20:30 +02:00
kt49658.txt
[FE 1.0] Don't lose diagnostics during lambda analysis at the overload resolution by return type stage
2022-01-11 18:07:05 +03:00
kt49658Strict.fir.kt
[FIR] Fix inconsistent RETURN_TYPE_MISMATCH and TYPE_MISMATCH reporting on functions and properties
2022-04-05 15:50:43 +00:00
kt49658Strict.kt
[FE 1.0] Don't lose diagnostics during lambda analysis at the overload resolution by return type stage
2022-01-11 18:07:05 +03:00
kt49658Strict.txt
[FE 1.0] Don't lose diagnostics during lambda analysis at the overload resolution by return type stage
2022-01-11 18:07:05 +03:00
kt49961.fir.kt
FE: Fix null assertion error when left is CollectionLiteral
2022-05-18 08:57:16 +02:00
kt49961.kt
FE: Fix null assertion error when left is CollectionLiteral
2022-05-18 08:57:16 +02:00
kt49961.txt
FE: Fix null assertion error when left is CollectionLiteral
2022-05-18 08:57:16 +02:00
kt50232a.fir.kt
Don't report INFERRED_..._INTO_EMPTY_INTERSECTION with explicit arguments
2022-08-19 14:01:38 +00:00
kt50232a.kt
Don't report INFERRED_..._INTO_EMPTY_INTERSECTION with explicit arguments
2022-08-19 14:01:38 +00:00
kt50232a.txt
Add a test with false positive "inferred into empty intersection"
2022-08-19 14:01:37 +00:00
kt53124.kt
Add test for KT-53124
2022-08-30 15:56:31 +00:00
kt53124.txt
Add test for KT-53124
2022-08-30 15:56:31 +00:00
kt62609.kt
[FIR] Fix capturing of flexible types during resolution
2023-11-30 08:54:26 +00:00
kt63577.fir.kt
[FIR] Exclude class type arguments checks for type parameters from outer functions
2024-01-25 11:04:25 +00:00
kt63577.kt
[FIR] Exclude class type arguments checks for type parameters from outer functions
2024-01-25 11:04:25 +00:00
kt63982.kt
[FIR] Don't capture flexible types that only have projections in one bound
2023-12-04 15:42:12 +00:00
lambdaArgumentWithLabel.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00: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] Don't perform suspend conversion for anonymous functions
2023-04-30 16:12:54 +00: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
lambdaParameterTypeInElvis.kt
…
lambdaParameterTypeInElvis.txt
…
listConstructor.kt
…
listConstructor.txt
…
localFunctionInsideIfBlock.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00: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] Add NO_RETURN_IN_FUNCTION_WITH_BLOCK_BODY diagnostic
2021-07-19 13:40:28 +03:00
mapFunction.kt
[Test] Disable UNUSED_* diagnostics in tests which are not belong to contolFlowAnalysis suite
2021-03-29 16:12:29 +03:00
mapFunction.txt
Fix testData in compiler: add collections and ranges package to fq-names.
2016-01-22 05:54:38 +03:00
mostSpecificAfterInference.fir.kt
[FIR] Add PLATFORM_CLASS_MAPPED_TO_KOTLIN
2021-11-24 23:13:41 +03:00
mostSpecificAfterInference.kt
[FIR] Add PLATFORM_CLASS_MAPPED_TO_KOTLIN
2021-11-24 23:13:41 +03:00
mostSpecificAfterInference.txt
Fix testData in compiler: add collections and ranges package to fq-names.
2016-01-22 05:54:38 +03:00
nestedIfWithExpectedType.kt
[Raw FIR] Build if - else if - else as two nested whens
2024-03-05 17:38:59 +00:00
NoInferenceFromDeclaredBounds.kt
FIR: Report INFERENCE_NO_INFORMATION_FOR_PARAMETER diagnostic
2021-06-07 15:25:45 +03:00
NoInferenceFromDeclaredBounds.txt
fix tests in org.jetbrains.kotlin.checkers
2015-09-08 02:04:32 +03:00
noInformationForParameter.kt
FIR: Report INFERENCE_NO_INFORMATION_FOR_PARAMETER diagnostic
2021-06-07 15:25:45 +03:00
noInformationForParameter.txt
fix tests in org.jetbrains.kotlin.checkers
2015-09-08 02:04:32 +03:00
nonFunctionalExpectedTypeForLambdaArgument.fir.kt
[FIR] Don't set lambda parameter type to Nothing by default
2024-02-26 08:59:22 +00:00
nonFunctionalExpectedTypeForLambdaArgument.kt
[FIR] Replace type variable types with error types in lambda completion
2023-08-15 08:04:19 +00:00
nonFunctionalExpectedTypeForLambdaArgument.txt
…
notFixedTopLevelLambdaParameter.kt
K2: Add new tests for PCLA implementation
2024-01-10 14:56:31 +00:00
nothingVsParameterBound.kt
K2: Avoid using Nothing? as inference result in the majority of cases
2023-02-15 08:13:50 +00:00
nullableArgumentForDnn.fir.kt
K2: Fix processing inference lower bound NullableType <: T & Any
2023-06-07 09:42:55 +00:00
nullableArgumentForDnn.kt
K2: Fix processing inference lower bound NullableType <: T & Any
2023-06-07 09:42:55 +00:00
nullableTypeArgumentWithNotNullUpperBound.fir.kt
…
nullableTypeArgumentWithNotNullUpperBound.kt
…
nullableTypeArgumentWithNotNullUpperBound.txt
…
nullableUpperBound.kt
[Test] Disable UNUSED_* diagnostics in tests which are not belong to contolFlowAnalysis suite
2021-03-29 16:12:29 +03:00
nullableUpperBound.txt
fix tests in org.jetbrains.kotlin.checkers
2015-09-08 02:04:32 +03:00
onlyInputTypesWithMultilevelIncorporation.fir.kt
[Tests] Update test data with error suppression warnings
2023-08-18 13:29:20 +00:00
onlyInputTypesWithMultilevelIncorporation.kt
[Tests] Update test data with error suppression warnings
2023-08-18 13:29:20 +00:00
onlyInputTypesWithMultilevelIncorporation.txt
…
opposite.kt
Introduce FIR_IDENTICAL for FIR vs old frontend tests #KT-36879 Fixed
2020-03-05 09:39:40 +03:00
opposite.txt
fix tests in org.jetbrains.kotlin.checkers
2015-09-08 02:04:32 +03:00
possibleCycleOnConstraints.kt
[FIR] Narrow down range of NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER
2023-09-22 13:49:59 +00:00
possibleCycleOnConstraints.txt
Fix testData in compiler: add collections and ranges package to fq-names.
2016-01-22 05:54:38 +03:00
receiverTypeMismatch_withoutProper.kt
K1: don't report RECEIVER_TYPE_MISMATCH with -ProperTypeInferenceConstraintProcessing
2023-05-01 11:47:01 +00:00
receiverTypeMismatch_withProper.fir.kt
FE: add tests reproducing KT-57854
2023-05-01 11:47:01 +00:00
receiverTypeMismatch_withProper.kt
FE: add tests reproducing KT-57854
2023-05-01 11:47:01 +00:00
recursiveGenericExtensionReceiver.kt
[FE] Use indexed loop to prevent CME in incorporation
2023-12-15 08:47:09 +00:00
reportAboutUnresolvedReferenceAsUnresolved.kt
[FIR] Skip redundant INAPPLICABLE_CANDIDATE on call with unresolved callable reference argument
2023-07-20 07:29:18 +00:00
reportAboutUnresolvedReferenceAsUnresolved.txt
[NI] Record all diagnostics from subcalls resolution results
2018-02-14 14:58:04 +03:00
reportNotEnoughTypeInformationErrorsOnBlockExpressions.fir.kt
[FIR] Improve source selection for NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER
2024-03-05 17:38:59 +00:00
reportNotEnoughTypeInformationErrorsOnBlockExpressions.kt
…
resolveWithUnknownLambdaParameterType.kt
[FIR] Don't set lambda parameter type to Nothing by default
2024-02-26 08:59:22 +00:00
resolveWithUnknownLambdaParameterType.txt
…
returningLambdaInSuspendContext.kt
…
returningLambdaInSuspendContext.txt
…
selectOfLambdaWithExtension.kt
[FE] Implement discussed rules to report empty intersection errors
2022-04-27 19:50:22 +00:00
selectOfLambdaWithExtensionDisabled.fir.kt
Fix inference for lambdas with with extension function expected type
2021-11-26 19:39:51 +03:00
selectOfLambdaWithExtensionDisabled.kt
[FE] Show causing types in the INFERRED_TYPE_VARIABLE_INTO_EMPTY_INTERSECTION diagnostic
2022-05-27 15:14:24 +00:00
selectOfLambdaWithExtensionEnabled.kt
Fix inference for lambdas with with extension function expected type
2021-11-26 19:39:51 +03:00
smartCastFork.fir.kt
NI: Support forking inference with heuristics
2022-01-11 20:45:55 +03:00
smartCastFork.kt
NI: Support forking inference with heuristics
2022-01-11 20:45:55 +03:00
smartCastForkForExpectedTypeNested.fir.kt
K2: Postpone inference forks resolution until FULL completion
2022-11-24 17:29:29 +00:00
smartCastForkForExpectedTypeNested.kt
K2: Postpone inference forks resolution until FULL completion
2022-11-24 17:29:29 +00:00
smartCastForkForExpectType.fir.kt
K2: Support inference case with a mix of smart-cast and expected type
2022-11-24 17:29:28 +00:00
smartCastForkForExpectType.kt
K2: Support inference case with a mix of smart-cast and expected type
2022-11-24 17:29:28 +00:00
specialCallsWithCallableReferences.fir.kt
K2: do not try to resolve invoke on error receiver
2024-03-19 15:38:35 +00:00
specialCallsWithCallableReferences.kt
Replace all occurrences of WITH_RUNTIME with WITH_STDLIB
2021-11-17 15:26:38 +03:00
specialCallsWithLambdas.kt
Fix inference for lambdas with with extension function expected type
2021-11-26 19:39:51 +03:00
starApproximation.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
starApproximationBangBang.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
starApproximationFlexible.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
starApproximationFromDifferentTypeParameter.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
stubTypeForSubtyping.kt
…
stubTypeForSubtyping.txt
…
tooEagerSmartcast.fir.kt
K2: Support inference case with a mix of smart-cast and expected type
2022-11-24 17:29:28 +00:00
tooEagerSmartcast.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
topLevelIntersection.fir.kt
[NI] Use alternative to intersection type in public declarations
2020-03-05 20:20:47 +03:00
topLevelIntersection.kt
[NI] Use alternative to intersection type in public declarations
2020-03-05 20:20:47 +03:00
topLevelIntersection.txt
[NI] Use alternative to intersection type in public declarations
2020-03-05 20:20:47 +03:00
tryNumberLowerBoundsBeforeUpperBounds.kt
Introduce FIR_IDENTICAL for FIR vs old frontend tests #KT-36879 Fixed
2020-03-05 09:39:40 +03:00
tryNumberLowerBoundsBeforeUpperBounds.txt
Fix testData in compiler: add collections and ranges package to fq-names.
2016-01-22 05:54:38 +03:00
typeConstructorMismatch.fir.kt
…
typeConstructorMismatch.kt
…
typeConstructorMismatch.txt
…
typeInferenceExpectedTypeMismatch.fir.kt
…
typeInferenceExpectedTypeMismatch.kt
…
typeInferenceExpectedTypeMismatch.txt
…
typeParameterInConstructor.kt
[LL FIR] rework transformers, so transformers resolve only a specific set of declarations
2023-04-19 20:12:38 +00:00
typeParameterInConstructor.txt
…
underscoredTypeArgument.fir.kt
…
underscoredTypeArgument.kt
…
underscoredTypeArgument.txt
…
underscoredTypeInForbiddenPositions.fir.kt
K2: Set proper source for implicit it/receiver parameter
2024-01-11 10:32:12 +00:00
underscoredTypeInForbiddenPositions.kt
[FIR] K2: Fix disappeared diagnostic UNDERSCORE_USAGE_WITHOUT_BACKTICKS on types
2023-09-22 11:18:19 +00:00
underscoredTypeInForbiddenPositions.txt
[FIR] K2: Fix disappeared diagnostic UNDERSCORE_USAGE_WITHOUT_BACKTICKS on types
2023-09-22 11:18:19 +00:00
UnitUpperboundLambdaReturnType.kt
[FIR] Add proper constraint if Unit upper bound leads to Unit lambda return type
2023-12-12 08:36:49 +00:00
unsoundness1.fir.kt
FIR: Weaken some UPPER_BOUND_VIOLATED restrictions
2022-01-11 16:27:06 +03:00
unsoundness1.kt
FIR: Weaken some UPPER_BOUND_VIOLATED restrictions
2022-01-11 16:27:06 +03:00
unsoundness2.kt
FIR: Weaken some UPPER_BOUND_VIOLATED restrictions
2022-01-11 16:27:06 +03:00
useFunctionLiteralsToInferType.kt
…
useFunctionLiteralsToInferType.txt
…
violatingUpperBoundForSelfType.fir.kt
…
violatingUpperBoundForSelfType.kt
…
violatingUpperBoundForSelfType.txt
…
violatingUpperBoundForSelfTypeError.fir.kt
…
violatingUpperBoundForSelfTypeError.kt
…
violatingUpperBoundForSelfTypeError.txt
…