azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[FIR] Adapt assertion after #KT-62959

Browse Source
This commit is contained in:
Kirill Rakhman
2023-12-12 16:48:00 +01:00
committed by Space Team
parent ec78747f2b
commit 7b0c4e5bf6
1 changed files with 13 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/tower/FirInvokeResolveTowerExtension.kt
+13 -1
View File
@@ -20,8 +20,11 @@ import org.jetbrains.kotlin.fir.symbols.impl.*
import org.jetbrains.kotlin.fir.types.ConeClassLikeType import org.jetbrains.kotlin.fir.types.ConeClassLikeType
import org.jetbrains.kotlin.fir.types.coneTypeUnsafe import org.jetbrains.kotlin.fir.types.coneTypeUnsafe
import org.jetbrains.kotlin.fir.types.isExtensionFunctionType import org.jetbrains.kotlin.fir.types.isExtensionFunctionType
import org.jetbrains.kotlin.fir.types.typeApproximator
import org.jetbrains.kotlin.resolve.calls.tasks.ExplicitReceiverKind import org.jetbrains.kotlin.resolve.calls.tasks.ExplicitReceiverKind
import org.jetbrains.kotlin.resolve.calls.tower.CandidateApplicability import org.jetbrains.kotlin.resolve.calls.tower.CandidateApplicability
import org.jetbrains.kotlin.types.AbstractTypeChecker
import org.jetbrains.kotlin.types.TypeApproximatorConfiguration
import org.jetbrains.kotlin.util.OperatorNameConventions import org.jetbrains.kotlin.util.OperatorNameConventions
internal class FirInvokeResolveTowerExtension( internal class FirInvokeResolveTowerExtension(
@@ -221,7 +224,16 @@ internal class FirInvokeResolveTowerExtension(
} }
} else { } else {
if (useImplicitReceiverAsBuiltinInvokeArgument) { if (useImplicitReceiverAsBuiltinInvokeArgument) {
require(explicitReceiver.type.fullyExpandedType(context.session).isExtensionFunctionType) if (AbstractTypeChecker.RUN_SLOW_ASSERTIONS) {
val session = context.session
val fullyExpandedType = explicitReceiver.type.fullyExpandedType(session)
require(
(session.typeApproximator.approximateToSuperType(
fullyExpandedType,
TypeApproximatorConfiguration.FinalApproximationAfterResolutionAndInference
) ?: fullyExpandedType).isExtensionFunctionType
)
}
manager.enqueueResolverTask { manager.enqueueResolverTask {
task.runResolverForBuiltinInvokeExtensionWithImplicitArgument( task.runResolverForBuiltinInvokeExtensionWithImplicitArgument(
invokeFunctionInfo, explicitReceiver, invokeFunctionInfo, explicitReceiver,