azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
b518c19b385cd409eed69f1ade0f206cc403cd49
kotlin-fork/compiler/testData/diagnostics/tests/inference
T
History
Victor Petukhov 0857b9c9e7 Rethink constraints incorporation 
Namely, remove incorporation “otherInsideMyConstraint” to eliminate
constraint system redundancy and produce a potentially very large number
 of constructs.
Instead, introduce not so “spreadable” incorporation during variable
fixation (equality constraint with result type into other constraints).
^KT-41644 Fixed
^KT-42195 Fixed
^KT-42920 Fixed
^KT-42791 Fixed
^KT-41741 Fixed
2020-11-25 11:15:20 +03:00
..
capturedTypes
Put fix in 9123c4f73baf77f8a50dede6c890c46f5ffafd6c under the inference compatibility flag
2020-09-23 17:15:58 +03:00
coercionToUnit
Fix coercion to Unit when variable already have other constraints
2020-07-03 17:54:14 +03:00
commonSystem
Rethink constraints incorporation
2020-11-25 11:15:20 +03:00
completion
Rethink constraints incorporation
2020-11-25 11:15:20 +03:00
constraints
[FIR] Fix non-serializable type argument at the end of resolve
2020-09-16 16:53:29 +03:00
nestedCalls
[TEST] Change semantics of CHECK_TYPE directive and update testdata
2020-11-13 10:36:12 +03:00
nothingType
Relax rules about inferring to Nothing for special calls
2020-07-16 09:56:46 +03:00
publicApproximation
[FIR] Approximate exotic return types for public declarations
2020-09-03 14:24:31 +03:00
recursiveCalls
[NI] Finish analysis for coerced last lambda expressions if needed
2020-02-17 10:29:45 +03:00
recursiveLocalFuns
[FIR] Create error candidate for completion instead of simple error reference
2020-06-15 15:32:25 +03:00
recursiveTypes
[NI] CST: add preemptive recursion detection
2020-05-12 11:13:43 +03:00
regressions
[TEST] Change semantics of CHECK_TYPE directive and update testdata
2020-11-13 10:36:12 +03:00
reportingImprovements
Get a callable reference expression to report an error on it properly, taking into account possible wrapping
2020-10-23 15:12:08 +03:00
substitutions
[FIR] Apply GOOD testData changes after type parameters support
2020-04-13 20:26:18 +03:00
upperBounds
Rethink constraints incorporation
2020-11-25 11:15:20 +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
…
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
…
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
…
cannotCompleteResolveNoInfoForParameter.txt
…
cannotCompleteResolveNoneApplicable.fir.kt
[FIR] Improve diagnostic reporting & don't use error symbol for candidate if possible
2020-07-28 20:46:56 +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
…
cannotCompleteResolveWithFunctionLiterals.txt
…
capturedInProjectedFlexibleType.kt
Introduce FIR_IDENTICAL for FIR vs old frontend tests #KT-36879 Fixed
2020-03-05 09:39:40 +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
commonSuperTypeOfErrorTypes.fir.kt
[FIR] Ignore failing test, improve DiagnosticKind, fix UPPER_BOUND
2020-08-02 18:19:45 +03:00
commonSuperTypeOfErrorTypes.kt
[NI] Create error type for CST of error types
2020-01-30 15:24:42 +03:00
commonSuperTypeOfErrorTypes.txt
[NI] Create error type for CST of error types
2020-01-30 15:24:42 +03:00
commonSuperTypeOfTypesWithErrorSupertypes.fir.kt
FIR: Fix incorrect optimization for integer literals
2020-08-11 10:14:02 +03:00
commonSuperTypeOfTypesWithErrorSupertypes.kt
[NI] Fix common supertype of types with error supertypes
2020-07-22 11:41:42 +03:00
commonSuperTypeOfTypesWithErrorSupertypes.txt
[NI] Fix common supertype of types with error supertypes
2020-07-22 11:41:42 +03:00
compatibilityResolveWhenVariableHasComplexIntersectionType.fir.kt
Add compatibility resolve when variable has "bad" intersection type
2020-07-03 12:18:28 +03:00
compatibilityResolveWhenVariableHasComplexIntersectionType.kt
Add compatibility resolve when variable has "bad" intersection type
2020-07-03 12:18:28 +03:00
compatibilityResolveWhenVariableHasComplexIntersectionType.txt
Add compatibility resolve when variable has "bad" intersection type
2020-07-03 12:18:28 +03:00
completeInferenceIfManyFailed.fir.kt
[TEST] Change semantics of CHECK_TYPE directive and update testdata
2020-11-13 10:36:12 +03:00
completeInferenceIfManyFailed.kt
[TEST] Change semantics of CHECK_TYPE directive and update testdata
2020-11-13 10:36:12 +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] Consider intersection type with number type as Nothing
2020-03-23 16:39:21 +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
…
conflictingSubstitutions.txt
…
cstFromErrorAndNonErrorTypes.fir.kt
[NI] Make error CST when any of included types is error
2020-02-18 14:46:29 +03:00
cstFromErrorAndNonErrorTypes.kt
[NI] Make error CST when any of included types is error
2020-02-18 14:46:29 +03:00
cstFromErrorAndNonErrorTypes.txt
[NI] Make error CST when any of included types is error
2020-02-18 14:46:29 +03:00
dependantOnVariance.fir.kt
[FIR-TEST] Add new testdata generated after changes in previous commit
2019-12-12 16:11:46 +03:00
dependantOnVariance.kt
Stop subtyping constraint search if equality constraints for...
2020-03-12 08:02:45 +01: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
[TEST] Change semantics of CHECK_TYPE directive and update testdata
2020-11-13 10:36:12 +03:00
dependOnExpectedType.kt
[TEST] Change semantics of CHECK_TYPE directive and update testdata
2020-11-13 10:36:12 +03:00
dependOnExpectedType.txt
…
equalitySubstitutionInsideNonInvariantType.kt
Don't skip constraints from equations with the kind equal
2020-06-24 23:36:59 +03:00
equalitySubstitutionInsideNonInvariantType.txt
Don't skip constraints from equations with the kind equal
2020-06-24 23:36:59 +03:00
expectedTypeAdditionalTest.fir.kt
[FIR] Restore variable fixation direction in call completion
2020-10-13 11:00:21 +03:00
expectedTypeAdditionalTest.kt
Reapply "Only create descriptors for candidates with lambda args"
2020-02-14 11:41:30 +01:00
expectedTypeAdditionalTest.txt
…
expectedTypeDoubleReceiver.fir.kt
[FIR-TEST] Add new testdata generated after changes in previous commit
2019-12-12 16:11:46 +03:00
expectedTypeDoubleReceiver.kt
Reapply "Only create descriptors for candidates with lambda args"
2020-02-14 11:41:30 +01:00
expectedTypeDoubleReceiver.txt
…
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
…
expectedTypeFromCastComplexExpression.kt
Introduce FIR_IDENTICAL for FIR vs old frontend tests #KT-36879 Fixed
2020-03-05 09:39:40 +03:00
expectedTypeFromCastComplexExpression.txt
…
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
…
extensionLambdasAndArrow.fir.kt
[FIR] Properly pass type attributes for inference of lambda with type variable as expected type
2020-09-29 10:17:42 +03: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
[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
…
fixationOrderForProperConstraints.fir.kt
[FIR-TEST] Add new testdata generated after changes in previous commit
2019-12-12 16:11:46 +03:00
fixationOrderForProperConstraints.kt
…
fixationOrderForProperConstraints.ni.txt
…
fixationOrderForProperConstraints.txt
…
fixVariableToNothing.fir.kt
[FIR-TEST] Add new testdata generated after changes in previous commit
2019-12-12 16:11:46 +03:00
fixVariableToNothing.kt
…
fixVariableToNothing.txt
…
flexibleTypesAsUpperBound.kt
Introduce FIR_IDENTICAL for FIR vs old frontend tests #KT-36879 Fixed
2020-03-05 09:39:40 +03:00
flexibleTypesAsUpperBound.txt
…
functionPlaceholderError.fir.kt
[TEST] Change semantics of CHECK_TYPE directive and update testdata
2020-11-13 10:36:12 +03:00
functionPlaceholderError.kt
[TEST] Change semantics of CHECK_TYPE directive and update testdata
2020-11-13 10:36:12 +03:00
functionPlaceholderError.txt
…
genericAssignmentOperator.fir.kt
[FIR] Resolve rhs of += in dependent context
2020-07-08 12:13:31 +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.kt
Introduce FIR_IDENTICAL for FIR vs old frontend tests #KT-36879 Fixed
2020-03-05 09:39:40 +03:00
immutableArrayList.txt
…
implicitInvokeExtensionWithFunctionalArgument.fir.kt
[FIR] Fix missing receiver type if anonymous function without label
2020-04-08 14:56:17 +03:00
implicitInvokeExtensionWithFunctionalArgument.kt
Relax rules about inferring to Nothing for special calls
2020-07-16 09:56:46 +03:00
implicitInvokeExtensionWithFunctionalArgument.txt
…
implicitInvokeInCompanionObjectWithFunctionalArgument.fir.kt
[FIR] Fix missing receiver type if anonymous function without label
2020-04-08 14:56:17 +03:00
implicitInvokeInCompanionObjectWithFunctionalArgument.kt
Report warning about implicitly inferred nothing only for return position
2019-05-22 15:45:59 +03:00
implicitInvokeInCompanionObjectWithFunctionalArgument.txt
…
implicitInvokeInObjectWithFunctionalArgument.fir.kt
[FIR] Fix missing receiver type if anonymous function without label
2020-04-08 14:56:17 +03:00
implicitInvokeInObjectWithFunctionalArgument.kt
Report warning about implicitly inferred nothing only for return position
2019-05-22 15:45:59 +03:00
implicitInvokeInObjectWithFunctionalArgument.txt
…
implicitInvokeWithFunctionLiteralArgument.fir.kt
[FIR] Fix missing receiver type if anonymous function without label
2020-04-08 14:56:17 +03:00
implicitInvokeWithFunctionLiteralArgument.kt
Report warning about implicitly inferred nothing only for return position
2019-05-22 15:45:59 +03:00
implicitInvokeWithFunctionLiteralArgument.txt
…
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.kt
Introduce FIR_IDENTICAL for FIR vs old frontend tests #KT-36879 Fixed
2020-03-05 09:39:40 +03:00
intersectionTypeMultipleBoundsAsReceiver.txt
…
intersectionTypesWithContravariantTypes.fir.kt
Add compatibility resolve when variable has "bad" intersection type
2020-07-03 12:18:28 +03:00
intersectionTypesWithContravariantTypes.kt
Add compatibility resolve when variable has "bad" intersection type
2020-07-03 12:18:28 +03:00
intersectionTypesWithContravariantTypes.txt
Add compatibility resolve when variable has "bad" intersection type
2020-07-03 12:18:28 +03:00
intersectionWithEnum.kt
Introduce FIR_IDENTICAL for FIR vs old frontend tests #KT-36879 Fixed
2020-03-05 09:39:40 +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] Fix lambda resolve in independent context
2020-02-04 15:00:12 +03:00
invokeLambdaAsFunction.kt
…
invokeLambdaAsFunction.txt
…
knownTypeParameters.kt
[FIR] Use tower to resolve delegated constructors, set dispatch receiver
2020-05-12 16:57:07 +03:00
knownTypeParameters.txt
[NI] Add missing substitution of known type parameters
2019-11-15 16:58:07 +03:00
kt619.kt
Introduce FIR_IDENTICAL for FIR vs old frontend tests #KT-36879 Fixed
2020-03-05 09:39:40 +03:00
kt619.txt
…
kt1293.fir.kt
[FIR] Harden check of argument type properly
2020-02-03 16:45:18 +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.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
[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] Ignore failing test, improve DiagnosticKind, fix UPPER_BOUND
2020-08-02 18:19:45 +03:00
kt11963.kt
…
kt11963.txt
…
kt12399.fir.kt
[FIR] Fix lambda resolve in independent context
2020-02-04 15:00:12 +03:00
kt12399.kt
…
kt12399.txt
…
kt28598.fir.kt
[FIR] Bad test data fixes (around captured types)
2020-09-14 18:08:27 +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.kt
[FIR] Fix missing receiver type if anonymous function without label
2020-04-08 14:56:17 +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
[FIR] Use tower to resolve delegated constructors, set dispatch receiver
2020-05-12 16:57:07 +03:00
kt32415.txt
[NI] Add missing substitution of known type parameters
2019-11-15 16:58:07 +03:00
kt32434.kt
Introduce FIR_IDENTICAL for FIR vs old frontend tests #KT-36879 Fixed
2020-03-05 09:39:40 +03:00
kt32434.txt
[NI] Look for type variables in captured flexible types
2019-07-22 11:08:39 +03:00
kt32462.fir.kt
[FIR] Improved lambda completion: initial implementation
2020-10-13 11:00:21 +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.kt
Introduce FIR_IDENTICAL for FIR vs old frontend tests #KT-36879 Fixed
2020-03-05 09:39:40 +03: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
[FIR] Properly pass type attributes for inference of lambda with type variable as expected type
2020-09-29 10:17:42 +03: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] Add diagnostic CONFLICTING_PROJECTION
2020-08-24 11:06:04 +03:00
kt39220.kt
Fix test after 84129098cb
2020-10-22 12:17:26 +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
lambdaArgumentWithLabel.kt
Introduce FIR_IDENTICAL for FIR vs old frontend tests #KT-36879 Fixed
2020-03-05 09:39:40 +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
…
lambdaParameterTypeInElvis.kt
[FIR] Improved lambda completion: initial implementation
2020-10-13 11:00:21 +03:00
lambdaParameterTypeInElvis.txt
[FIR] Improved lambda completion: initial implementation
2020-10-13 11:00:21 +03:00
listConstructor.fir.kt
[TEST] Change semantics of CHECK_TYPE directive and update testdata
2020-11-13 10:36:12 +03:00
listConstructor.kt
[TEST] Change semantics of CHECK_TYPE directive and update testdata
2020-11-13 10:36:12 +03:00
listConstructor.txt
…
localFunctionInsideIfBlock.kt
Introduce FIR_IDENTICAL for FIR vs old frontend tests #KT-36879 Fixed
2020-03-05 09:39:40 +03:00
localFunctionInsideIfBlock.txt
…
mapFunction.fir.kt
[TEST] Change semantics of CHECK_TYPE directive and update testdata
2020-11-13 10:36:12 +03:00
mapFunction.kt
[TEST] Change semantics of CHECK_TYPE directive and update testdata
2020-11-13 10:36:12 +03:00
mapFunction.txt
…
mostSpecificAfterInference.fir.kt
[TEST] Change semantics of CHECK_TYPE directive and update testdata
2020-11-13 10:36:12 +03:00
mostSpecificAfterInference.kt
[TEST] Change semantics of CHECK_TYPE directive and update testdata
2020-11-13 10:36:12 +03:00
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
…
nonFunctionalExpectedTypeForLambdaArgument.fir.kt
[NI] Report error about unknown parameter type of lambda argument
2020-01-30 13:52:12 +03:00
nonFunctionalExpectedTypeForLambdaArgument.kt
Reapply "Only create descriptors for candidates with lambda args"
2020-02-14 11:41:30 +01:00
nonFunctionalExpectedTypeForLambdaArgument.txt
[NI] Report error about unknown parameter type of lambda argument
2020-01-30 13:52:12 +03:00
nullableTypeArgumentWithNotNullUpperBound.fir.kt
NI: discard def not null types if they appear in return positions, in inv or in variance
2020-03-08 19:00:27 +03:00
nullableTypeArgumentWithNotNullUpperBound.kt
NI: discard def not null types if they appear in return positions, in inv or in variance
2020-03-08 19:00:27 +03:00
nullableTypeArgumentWithNotNullUpperBound.txt
NI: discard def not null types if they appear in return positions, in inv or in variance
2020-03-08 19:00:27 +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.kt
Introduce FIR_IDENTICAL for FIR vs old frontend tests #KT-36879 Fixed
2020-03-05 09:39:40 +03:00
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
…
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
…
resolveWithUnknownLambdaParameterType.fir.kt
[NI] Set correct applicability for unknown lambda parameter diagnostic
2020-01-30 13:52:18 +03:00
resolveWithUnknownLambdaParameterType.kt
[NI] Set correct applicability for unknown lambda parameter diagnostic
2020-01-30 13:52:18 +03:00
resolveWithUnknownLambdaParameterType.txt
[NI] Set correct applicability for unknown lambda parameter diagnostic
2020-01-30 13:52:18 +03:00
returningLambdaInSuspendContext.fir.kt
Use lexical scope from trace during checking suspend context if the analysis of engaged parent function isn't completed
2020-06-16 22:00:04 +03:00
returningLambdaInSuspendContext.kt
Use lexical scope from trace during checking suspend context if the analysis of engaged parent function isn't completed
2020-06-16 22:00:04 +03:00
returningLambdaInSuspendContext.txt
Use lexical scope from trace during checking suspend context if the analysis of engaged parent function isn't completed
2020-06-16 22:00:04 +03:00
simpleLambdaInCallWithAnotherLambdaWithBuilderInference.fir.kt
[FIR] Restore variable fixation direction in call completion
2020-10-13 11:00:21 +03:00
simpleLambdaInCallWithAnotherLambdaWithBuilderInference.kt
[FIR] Restore variable fixation direction in call completion
2020-10-13 11:00:21 +03:00
simpleLambdaInCallWithAnotherLambdaWithBuilderInference.txt
Don't try to infer postponed variables on lambdas without BuilderInference annotation
2020-07-15 16:19:43 +03:00
skipedUnresolvedInBuilderInferenceWithStubReceiverType.fir.kt
NI: don't collect members if a receiver type is StubType to avoid creating error candidates instead of not crating them at all
2020-07-07 11:17:06 +03:00
skipedUnresolvedInBuilderInferenceWithStubReceiverType.kt
NI: don't collect members if a receiver type is StubType to avoid creating error candidates instead of not crating them at all
2020-07-07 11:17:06 +03:00
skipedUnresolvedInBuilderInferenceWithStubReceiverType.txt
NI: don't collect members if a receiver type is StubType to avoid creating error candidates instead of not crating them at all
2020-07-07 11:17:06 +03:00
starApproximation.kt
Introduce FIR_IDENTICAL for FIR vs old frontend tests #KT-36879 Fixed
2020-03-05 09:39:40 +03:00
starApproximationBangBang.kt
Introduce FIR_IDENTICAL for FIR vs old frontend tests #KT-36879 Fixed
2020-03-05 09:39:40 +03:00
starApproximationFlexible.kt
Introduce FIR_IDENTICAL for FIR vs old frontend tests #KT-36879 Fixed
2020-03-05 09:39:40 +03:00
starApproximationFromDifferentTypeParameter.kt
Introduce FIR_IDENTICAL for FIR vs old frontend tests #KT-36879 Fixed
2020-03-05 09:39:40 +03:00
tooEagerSmartcast.fir.kt
[FIR] Improve diagnostic reporting & don't use error symbol for candidate if possible
2020-07-28 20:46:56 +03:00
tooEagerSmartcast.kt
Reapply "Only create descriptors for candidates with lambda args"
2020-02-14 11:41:30 +01: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
…
typeConstructorMismatch.fir.kt
[FIR-TEST] Add new testdata generated after changes in previous commit
2019-12-12 16:11:46 +03:00
typeConstructorMismatch.kt
…
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
Stop subtyping constraint search if equality constraints for...
2020-03-12 08:02:45 +01:00
typeInferenceExpectedTypeMismatch.txt
…
typeParameterInConstructor.kt
Introduce FIR_IDENTICAL for FIR vs old frontend tests #KT-36879 Fixed
2020-03-05 09:39:40 +03:00
typeParameterInConstructor.txt
[NI] Split substitution of inferred type parametes into two steps
2019-11-15 16:58:32 +03:00
useFunctionLiteralsToInferType.kt
Introduce FIR_IDENTICAL for FIR vs old frontend tests #KT-36879 Fixed
2020-03-05 09:39:40 +03:00
useFunctionLiteralsToInferType.txt
…