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

K2: add TODO issues for ResolutionStages.kt (KT-63958, KT-63959)

Browse Source
This commit is contained in:
Mikhail Glukhikh
2023-11-30 15:11:22 +01:00
committed by Space Team
parent b317777796
commit 814bf1b80d
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/ResolutionStages.kt
+2 -2
View File
@@ -182,7 +182,7 @@ object CheckDispatchReceiver : ResolutionStage() {
val dispatchReceiverValueType = candidate.dispatchReceiver?.resolvedType ?: return val dispatchReceiverValueType = candidate.dispatchReceiver?.resolvedType ?: return
// TODO: Actually, we should treat stub types as non-nullable for the isReceiverNullable check // TODO (KT-63959): Actually, we should treat stub types as non-nullable for the isReceiverNullable check
// Otherwise, we won't able to resolve to member toString/hashCode due to UnsafeCall error // Otherwise, we won't able to resolve to member toString/hashCode due to UnsafeCall error
// It was possible in K1, due to the fact that K1 doesn't use AbstractNullabilityChecker directly // It was possible in K1, due to the fact that K1 doesn't use AbstractNullabilityChecker directly
// But, AbstractNullabilityChecker.isSubtypeOfAny doesn't respect stubTypeEqualToAnything // But, AbstractNullabilityChecker.isSubtypeOfAny doesn't respect stubTypeEqualToAnything
@@ -693,7 +693,7 @@ internal object PostponedVariablesInitializerResolutionStage : ResolutionStage()
atomsToMark.add(unwrapped.anonymousFunction) atomsToMark.add(unwrapped.anonymousFunction)
} }
// TODO: This is effectively dead-code, since UseBuilderInferenceOnlyIfNeeded is always enabled // TODO (KT-63958): This is effectively dead-code, since UseBuilderInferenceOnlyIfNeeded is always enabled
val type = parameter.returnTypeRef.coneType val type = parameter.returnTypeRef.coneType
val receiverType = type.receiverType(callInfo.session) ?: continue val receiverType = type.receiverType(callInfo.session) ?: continue
val dontUseBuilderInferenceIfPossible = val dontUseBuilderInferenceIfPossible =