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

Set member scope for builder inference stub types equivalent to Any

Browse Source
This commit is contained in:
Victor Petukhov
2021-05-11 17:17:19 +03:00
parent 6356b9d501
commit afbda75581
2 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/resolution/src/org/jetbrains/kotlin/resolve/calls/tower/TowerLevels.kt
+1 -1
View File
@@ -92,7 +92,7 @@ internal class MemberScopeTowerLevel(
): Collection<CandidateWithBoundDispatchReceiver> { ): Collection<CandidateWithBoundDispatchReceiver> {
val receiverValue = dispatchReceiver.receiverValue val receiverValue = dispatchReceiver.receiverValue
if (receiverValue.type is StubType) { if (receiverValue.type is AbstractStubType && receiverValue.type.memberScope is ErrorUtils.ErrorScope) {
return arrayListOf() return arrayListOf()
} }
core/descriptors/src/org/jetbrains/kotlin/types/StubTypes.kt
+2
View File
@@ -17,6 +17,8 @@ class StubTypeForBuilderInference(
override fun materialize(newNullability: Boolean): AbstractStubType = override fun materialize(newNullability: Boolean): AbstractStubType =
StubTypeForBuilderInference(originalTypeVariable, newNullability) StubTypeForBuilderInference(originalTypeVariable, newNullability)
override val memberScope = originalTypeVariable.builtIns.anyType.memberScope
override fun toString(): String { override fun toString(): String {
// BI means builder inference // BI means builder inference
return "Stub (BI): $originalTypeVariable${if (isMarkedNullable) "?" else ""}" return "Stub (BI): $originalTypeVariable${if (isMarkedNullable) "?" else ""}"