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

FIR: add resolve test for potential local scope problems

Browse Source
This commit is contained in:
Mikhail Glukhikh
2021-12-20 15:39:35 +03:00
committed by Space
parent b5b1b38cb0
commit 25f30cb3a9
5 changed files with 125 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/localScopesInAnonymousObject.fir.txt
Vendored
+76
View File
@@ -0,0 +1,76 @@
FILE: localScopesInAnonymousObject.kt
public final val x: R|kotlin/Any| = object : R|kotlin/Any| {
private constructor(): R|<anonymous>| {
super<R|kotlin/Any|>()
}
public final val someString: R|kotlin/String| = String(123)
public get(): R|kotlin/String|
private final fun foo(): R|kotlin/Unit| {
^foo R|kotlin/with|<R|kotlin/String|, R|kotlin/Unit|>(this@R|/<anonymous>|.R|/<anonymous>.someString|, <L> = with@fun R|kotlin/String|.<anonymous>(): R|kotlin/Unit| <inline=Inline, kind=EXACTLY_ONCE> {
lval presentations: R|kotlin/collections/MutableList<kotlin/String>| = R|kotlin/collections/mutableListOf|<R|kotlin/String|>()
this@R|/<anonymous>|.R|/<anonymous>.bar|(Boolean(true))?.{ $subj$.R|kotlin/let|<R|kotlin/String|, R|kotlin/Unit|>(<L> = let@fun <anonymous>(it: R|kotlin/String|): R|kotlin/Unit| <inline=Inline, kind=EXACTLY_ONCE> {
R|<local>/presentations|.R|SubstitutionOverride<kotlin/collections/MutableList.add: R|kotlin/Boolean|>|(R|<local>/it|)
}
) }
}
)
}
private final fun bar(arg: R|kotlin/Boolean|): R|kotlin/String?| {
^bar R|kotlin/with|<R|kotlin/String|, R|kotlin/String?|>(this@R|/<anonymous>|.R|/<anonymous>.someString|, <L> = with@fun R|kotlin/String|.<anonymous>(): R|kotlin/String?| <inline=Inline, kind=EXACTLY_ONCE> {
^ when () {
R|<local>/arg| -> {
this@R|special/anonymous|
}
else -> {
Null(null)
}
}
}
)
}
}
public get(): R|kotlin/Any|
public final fun owner(): R|kotlin/Unit| {
local final class Local : R|kotlin/Any| {
public constructor(): R|Local| {
super<R|kotlin/Any|>()
}
public final val someString: R|kotlin/String| = String(123)
public get(): R|kotlin/String|
private final fun foo(): R|kotlin/Unit| {
^foo R|kotlin/with|<R|kotlin/String|, R|kotlin/Unit|>(this@R|/Local|.R|<local>/someString|, <L> = with@fun R|kotlin/String|.<anonymous>(): R|kotlin/Unit| <inline=Inline, kind=EXACTLY_ONCE> {
lval presentations: R|kotlin/collections/MutableList<kotlin/String>| = R|kotlin/collections/mutableListOf|<R|kotlin/String|>()
this@R|/Local|.R|<local>/bar|(Boolean(true))?.{ $subj$.R|kotlin/let|<R|kotlin/String|, R|kotlin/Unit|>(<L> = let@fun <anonymous>(it: R|kotlin/String|): R|kotlin/Unit| <inline=Inline, kind=EXACTLY_ONCE> {
R|<local>/presentations|.R|SubstitutionOverride<kotlin/collections/MutableList.add: R|kotlin/Boolean|>|(R|<local>/it|)
}
) }
}
)
}
private final fun bar(arg: R|kotlin/Boolean|): R|kotlin/String?| {
^bar R|kotlin/with|<R|kotlin/String|, R|kotlin/String?|>(this@R|/Local|.R|<local>/someString|, <L> = with@fun R|kotlin/String|.<anonymous>(): R|kotlin/String?| <inline=Inline, kind=EXACTLY_ONCE> {
^ when () {
R|<local>/arg| -> {
this@R|special/anonymous|
}
else -> {
Null(null)
}
}
}
)
}
}
}
compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/localScopesInAnonymousObject.kt
Vendored
+31
View File
@@ -0,0 +1,31 @@
val x = object {
val someString = "123"
private fun foo(): Unit = with(someString) {
val presentations = mutableListOf<String>()
bar(true)?.let {
presentations.add(it)
}
}
private fun bar(arg: Boolean) = with(someString) {
if (arg) this else null
}
}
fun owner() {
class Local {
val someString = "123"
private fun foo(): Unit = with(someString) {
val presentations = mutableListOf<String>()
bar(true)?.let {
presentations.add(it)
}
}
private fun bar(arg: Boolean) = with(someString) {
if (arg) this else null
}
}
}