azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
0c77fa1fa4962734574a2984e74b0e202e88e2f4
kotlin-fork/compiler/testData/diagnostics/tests/callableReference
T
History
Mikhail Glukhikh 2680c8effd K2: allow/disallow coercion-to-unit for callable references more precisely 
Before this commit, K2 always applied coercion-to-unit for
callable references if expected type was Unit, and actual non-Unit.
However, this may not work in case when actual return type is
a type parameter and it must be inferred into Unit.
In this commit we started to disallow coercion-to-unit
for references with synthetic outer call (~ top-level in K1)
AND a type parameter as a return type (both should be true to disallow).
This provides better K1 consistency,
while still keeping some broken K1 cases working in K2.

See also added comment in CallableReferenceResolution.kt.

#KT-62565 Fixed
2023-12-12 13:52:29 +00:00
..
adapted
[FIR] Implement ADAPTED_CALLABLE_REFERENCE_AGAINST_REFLECTION_TYPE diagnostic
2023-11-08 15:45:48 +00:00
bound
[FIR] Report INAPPLICABLE_CANDIDATE or more specific diagnostic for callable references
2023-11-08 15:45:48 +00:00
function
K2: allow/disallow coercion-to-unit for callable references more precisely
2023-12-12 13:52:29 +00:00
generic
K2: allow/disallow coercion-to-unit for callable references more precisely
2023-12-12 13:52:29 +00:00
property
[FIR] Report INAPPLICABLE_CANDIDATE or more specific diagnostic for callable references
2023-11-08 15:45:48 +00:00
resolve
[FIR] Report NONE_APPLICABLE on callable references with multiple failed candidates
2023-11-08 15:45:48 +00:00
unsupported
[FIR] Prohibit class literals with empty left-hand side
2023-07-27 10:28:52 +00:00
bareType.kt
[FIR] Report errors about type arguments on resolved qualifiers
2023-06-22 07:09:15 +00:00
bareType.txt
…
callableReferenceAsLastExpressionInBlock.kt
…
callableReferenceAsLastExpressionInBlock.txt
…
callableReferenceAssignmentToVar.kt
FIR: Refine callable reference resolution in assignment position
2021-11-10 22:00:01 +03:00
callableReferenceInWhenExpression.kt
[FIR] Fix incompatible KClass<Any> and callable reference Collection::class, ^KT-51272 Fixed
2022-02-23 14:21:59 +03:00
callableReferenceInWhenExpression.txt
[FIR] Fix incompatible KClass<Any> and callable reference Collection::class, ^KT-51272 Fixed
2022-02-23 14:21:59 +03:00
callableReferencesToCompanionMembers.fir.kt
K1: Deprecate incorrect callable references resolution behavior
2022-11-15 15:06:58 +00:00
callableReferencesToCompanionMembers.fir.txt
K1: Deprecate incorrect callable references resolution behavior
2022-11-15 15:06:58 +00:00
callableReferencesToCompanionMembers.kt
K1: Deprecate incorrect callable references resolution behavior
2022-11-15 15:06:58 +00:00
callableReferencesToCompanionMembers.txt
K1: Deprecate incorrect callable references resolution behavior
2022-11-15 15:06:58 +00:00
callableReferenceWithMostSpecificGenericTypeParameter.kt
[FIR] Fixed Replace ConeTypeVariable on ConeTypeParameter ^KT-51017
2022-02-07 17:21:59 +03:00
callableReferenceWithMostSpecificGenericTypeParameter.txt
[FIR] Fixed Replace ConeTypeVariable on ConeTypeParameter ^KT-51017
2022-02-07 17:21:59 +03:00
classVsPackage.kt
…
classVsPackage.txt
…
compatibilityResolveWithVarargAndOperatorCall.kt
[FIR] Fix exponential analysis of augmented array access calls
2022-03-11 15:36:05 +03:00
compatibilityResolveWithVarargAndOperatorCall.txt
…
constraintFromLHSWithCorrectDirection.fir.kt
[FIR] Report INAPPLICABLE_CANDIDATE or more specific diagnostic for callable references
2023-11-08 15:45:48 +00:00
constraintFromLHSWithCorrectDirection.kt
Remove OI/NI attributes from test data
2021-05-25 13:28:27 +03:00
constraintFromLHSWithCorrectDirection.txt
…
constraintFromLHSWithCorrectDirectionError.fir.kt
[FIR] Report INAPPLICABLE_CANDIDATE or more specific diagnostic for callable references
2023-11-08 15:45:48 +00:00
constraintFromLHSWithCorrectDirectionError.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
correctCandidateWithCompatibilityForSeveralCandidates.fir.kt
Stop tower resolve in K2 in more similar manner with K1
2022-07-27 15:29:41 +00:00
correctCandidateWithCompatibilityForSeveralCandidates.kt
…
correctCandidateWithCompatibilityForSeveralCandidates.txt
…
correctInfoAfterArrayLikeCall.fir.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
correctInfoAfterArrayLikeCall.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
correctInfoAfterArrayLikeCall.txt
…
deprecatedCompanionReceiverInParentheses.fir.kt
[FIR] Implement UNRESOLVED_REFERENCE_WRONG_RECEIVER
2021-08-25 21:53:23 +00:00
deprecatedCompanionReceiverInParentheses.kt
Deprecate (V)::a reference resolution to companion in FE 1.0
2021-06-25 18:41:14 +03:00
deprecateTopLevelReferenceWithCompanionLHS.fir.kt
K1: Deprecate incorrect callable references resolution behavior
2022-11-15 15:06:58 +00:00
deprecateTopLevelReferenceWithCompanionLHS.kt
K1: Deprecate incorrect callable references resolution behavior
2022-11-15 15:06:58 +00:00
ea81649_errorPropertyLHS.fir.kt
…
ea81649_errorPropertyLHS.kt
…
ea81649_errorPropertyLHS.txt
[FE 1.0] Update test data with new error type representation
2022-03-23 21:13:33 +00:00
emptyLhs.kt
…
emptyLhs.txt
…
expectedTypeAsSubtypeOfFunctionType.fir.kt
[FIR] Report INAPPLICABLE_CANDIDATE or more specific diagnostic for callable references
2023-11-08 15:45:48 +00:00
expectedTypeAsSubtypeOfFunctionType.kt
Remove OI/NI attributes from test data
2021-05-25 13:28:27 +03:00
expectedTypeAsSubtypeOfFunctionType.txt
…
functionReferenceWithDefaultValueAsOtherFunctionType_enabled.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
functionReferenceWithDefaultValueAsOtherFunctionType_enabled.txt
…
functionReferenceWithDefaultValueAsOtherFunctionType.kt
[Tests] Trim contents before checking for FIR_IDENTICAL
2023-09-06 11:32:57 +00:00
functionReferenceWithDefaultValueAsOtherFunctionType.txt
…
genericCallWithReferenceAgainstVararg.fir.kt
[FIR] Report INAPPLICABLE_CANDIDATE or more specific diagnostic for callable references
2023-11-08 15:45:48 +00:00
genericCallWithReferenceAgainstVararg.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
genericCallWithReferenceAgainstVararg.txt
…
genericCallWithReferenceAgainstVarargAndKFunction.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
genericCallWithReferenceAgainstVarargAndKFunction.txt
…
genericTypealiasInLhs.fir.kt
[FIR] Report errors about type arguments on resolved qualifiers
2023-06-22 07:09:15 +00:00
genericTypealiasInLhs.kt
[FIR] Report errors about type arguments on resolved qualifiers
2023-06-22 07:09:15 +00:00
kt7430_wrongClassOnLHS.kt
[LL FIR] rework transformers, so transformers resolve only a specific set of declarations
2023-04-19 20:12:38 +00:00
kt7430_wrongClassOnLHS.txt
…
kt15439_completeCall.kt
…
kt15439_completeCall.txt
…
kt25433.kt
Remove WITH_NEW_INFERENCE directive from all tests
2021-05-25 13:28:26 +03:00
kt25433.txt
…
kt31981.fir.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
kt31981.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
kt31981.txt
…
kt32256.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
kt32256.txt
…
kt32267.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
kt34314_lambda.kt
[FIR] Narrow down range of NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER
2023-09-22 13:49:59 +00:00
kt34314_lambda.txt
…
kt34314.fir.kt
FIR: Adjust test data after introduction of INFERENCE_NO_INFORMATION_FOR_PARAMETER
2021-06-07 15:25:47 +03:00
kt34314.kt
Remove OI/NI attributes from test data
2021-05-25 13:28:27 +03:00
kt34314.txt
…
kt35105.kt
…
kt35105.txt
…
kt35959.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
kt35959.txt
…
kt37530.kt
[FIR] Forbid creating abstract class instances via any qualified access
2023-06-07 16:45:28 +00:00
kt37530.txt
…
kt46437.fir.kt
[FIR] Report INAPPLICABLE_CANDIDATE or more specific diagnostic for callable references
2023-11-08 15:45:48 +00:00
kt46437.kt
Transform VisibilityError diagnostic for callable references to further report it on the corresponding argument of a base call
2021-10-26 19:37:57 +03:00
kt46437.txt
Transform VisibilityError diagnostic for callable references to further report it on the corresponding argument of a base call
2021-10-26 19:37:57 +03:00
kt49038.fir.kt
[FIR] Don't discriminate generics in conflict resolution for callable references
2023-10-24 07:27:07 +00:00
kt49038.kt
Don't discriminate generics during callable references resolution
2021-10-01 22:09:33 +03:00
kt49038.txt
Don't discriminate generics during callable references resolution
2021-10-01 22:09:33 +03:00
kt52503.kt
[FE 1.0] Check callable reference return type safety during resolution
2022-05-27 13:56:34 +00:00
kt52503.txt
[FE 1.0] Check callable reference return type safety during resolution
2022-05-27 13:56:34 +00:00
kt55373.fir.kt
[FIR] If callable reference can't be resolved with expected type, try resolving with Any
2023-08-02 08:00:33 +00:00
kt55373.kt
[FIR] If callable reference can't be resolved with expected type, try resolving with Any
2023-08-02 08:00:33 +00:00
lambdaResult.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
memberExtensionsImportedFromObjectsUnsupported.kt
[FIR] Set positioning strategy for UNRESOLVED_REFERENCE_WRONG_RECEIVER
2023-11-08 15:45:48 +00:00
memberExtensionsImportedFromObjectsUnsupported.txt
…
noAmbiguityWhenAllReferencesAreInapplicable.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
noAmbiguityWhenAllReferencesAreInapplicable.txt
…
noCompatibilityResolveWithProressiveModeForNI.kt
…
noCompatibilityResolveWithProressiveModeForNI.txt
…
noExceptionOnRedCodeWithArrayLikeCall.fir.kt
[FIR] Report UNRESOLVED_REFERENCE on the first unresolved qualifier
2023-09-04 08:05:07 +00:00
noExceptionOnRedCodeWithArrayLikeCall.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
noExceptionOnRedCodeWithArrayLikeCall.txt
[FE 1.0] Update test data with new error type representation
2022-03-23 21:13:33 +00:00
overloadResolutionWithDefaults.kt
…
overloadResolutionWithDefaults.txt
…
packageInLhs.fir.kt
…
packageInLhs.kt
…
packageInLhs.txt
…
parsingPriorityOfGenericArgumentsVsLess.fir.kt
[FIR] Prevent loosing errors for synthetic outer calls
2023-07-10 10:26:43 +00:00
parsingPriorityOfGenericArgumentsVsLess.kt
Use the new type inference for top-level callable reference resolution
2021-09-27 16:12:27 +03:00
parsingPriorityOfGenericArgumentsVsLess.txt
…
propertyOfNestedGenericClass.fir.kt
[FIR] Add UNCHECKED_CAST
2021-11-12 15:20:45 +03:00
propertyOfNestedGenericClass.kt
…
propertyOfNestedGenericClass.txt
…
referenceAdaptationCompatibility.fir.kt
Stop tower resolve in K2 in more similar manner with K1
2022-07-27 15:29:41 +00:00
referenceAdaptationCompatibility.kt
…
referenceAdaptationCompatibility.txt
…
referenceInCycleInProperties.kt
[FE 1.0] Report INTEGER_OPERATOR_RESOLVE_WILL_CHANGE in missing cases
2022-12-09 15:10:03 +00:00
referenceInCycleInProperties.txt
[FE 1.0] Report INTEGER_OPERATOR_RESOLVE_WILL_CHANGE in missing cases
2022-12-09 15:10:03 +00:00
referenceToCompanionObjectMemberViaClassName.kt
…
referenceToCompanionObjectMemberViaClassName.txt
…
referenceToCompanionObjectMemberViaClassNameCompatibility.fir.kt
Substitute type variables properly in ConeOverloadConflictResolver
2022-03-23 09:54:46 +00:00
referenceToCompanionObjectMemberViaClassNameCompatibility.kt
…
referenceToCompanionObjectMemberViaClassNameCompatibility.txt
…
rewriteAtSliceOnGetOperator.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
rewriteAtSliceOnGetOperator.txt
…
sam.kt
…
sam.txt
…
subtypeArgumentFromRHSForReference.kt
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
subtypeArgumentFromRHSForReference.txt
…
suspendCallableReference.kt
Remove WITH_NEW_INFERENCE directive from all tests
2021-05-25 13:28:26 +03:00
suspendCallableReference.txt
…
typealiases.kt
Remove WITH_NEW_INFERENCE directive from all tests
2021-05-25 13:28:26 +03:00
typealiases.txt
…
unitAdaptationForReferenceCompatibility.fir.kt
[FIR] Fix inconsistent RETURN_TYPE_MISMATCH and TYPE_MISMATCH reporting on functions and properties
2022-04-05 15:50:43 +00:00
unitAdaptationForReferenceCompatibility.kt
…
unitAdaptationForReferenceCompatibility.txt
…
unused.fir.kt
…
unused.kt
…
unused.txt
…
whitespacesInExpression.kt
…
whitespacesInExpression.txt
…
withQuestionMarks.fir.kt
…
withQuestionMarks.kt
K1: Deprecate incorrect callable references resolution behavior
2022-11-15 15:06:58 +00:00
withQuestionMarks.txt
…