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

K1: don't report InferredIntoDeclaredUpperBound on non-physical element

Browse Source 
#KT-56169 Fixed
This commit is contained in:
Mikhail Glukhikh
2023-03-14 13:25:16 +01:00
committed by Space Team
parent 980ab41ef1
commit 2fb79bf0b1
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/frontend/src/org/jetbrains/kotlin/resolve/calls/DiagnosticReporterByTrackingStrategy.kt
+1 -1
View File
@@ -584,7 +584,7 @@ class DiagnosticReporterByTrackingStrategy(
val expression = if (psiCall is CallTransformer.CallForImplicitInvoke) { val expression = if (psiCall is CallTransformer.CallForImplicitInvoke) {
psiCall.outerCall.calleeExpression psiCall.outerCall.calleeExpression
} else { } else {
psiCall.calleeExpression psiCall.calleeExpression?.takeIf { it.isPhysical } ?: psiCall.callElement
} ?: return } ?: return
val typeVariable = error.typeVariable as? TypeVariableFromCallableDescriptor ?: return val typeVariable = error.typeVariable as? TypeVariableFromCallableDescriptor ?: return
compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBoundInLazy.kt
Vendored
+2 -2
View File
@@ -28,7 +28,7 @@ internal class TowerDataElementsForName2() {
} }
internal class TowerDataElementsForName3() { internal class TowerDataElementsForName3() {
val reversedFilteredLocalScopes by lazy(LazyThreadSafetyMode.NONE) { val reversedFilteredLocalScopes by <!INFERRED_INTO_DECLARED_UPPER_BOUNDS!>lazy(LazyThreadSafetyMode.NONE) {
@OptIn(ExperimentalStdlibApi::class) @OptIn(ExperimentalStdlibApi::class)
buildList l1@ { buildList l1@ {
for (i in lastIndex downTo 0) { for (i in lastIndex downTo 0) {
@@ -43,7 +43,7 @@ internal class TowerDataElementsForName3() {
} }
} }
} }
} }<!>
} }
internal class TowerDataElementsForName4() { internal class TowerDataElementsForName4() {