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

K2 Scripting: fix testdata changed after script statements wrapping

Browse Source
This commit is contained in:
Ilya Chernikov
2023-11-28 10:16:53 +01:00
committed by Space Team
parent eeb723eb01
commit a69eaa0ea3
43 changed files with 865 additions and 657 deletions
Download Patch File Download Diff File Expand all files Collapse all files
analysis/low-level-api-fir/testData/dependentCopy/moreStatementsInCopy.context.txt
Vendored
+3 -3
View File
@@ -31,11 +31,11 @@ Tower Data Context:
lval args: R|kotlin/Array<kotlin/String>|
public final fun scriptFunction(): R|kotlin/Int|
R|/scriptFunction|()
init
public final fun unusedScriptFunction(p: R|kotlin/String|): R|kotlin/Int|
R|/scriptFunction|()
init
public final fun foo(i: R|kotlin/Int|, action: R|(kotlin/Int) -> kotlin/Unit|): R|kotlin/Unit|
R|/foo|(R|/scriptFunction|(), <L> = foo@fun <anonymous>(it: R|kotlin/Int|): R|kotlin/Unit| <inline=NoInline> )
init
public final val $$result: R|kotlin/Int|
public get(): R|kotlin/Int|
Type: kotlin.script.templates.standard.ScriptTemplateWithArgs
analysis/low-level-api-fir/testData/dependentCopy/moreStatementsInCopy.fir.txt
Vendored
+14 -5
View File
@@ -11,19 +11,28 @@ SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-moreStatementsInCopy.kts>
^scriptFunction Int(42)
}
R|/scriptFunction|()
[ResolvedTo(BODY_RESOLVE)] init {
R|/scriptFunction|()
}
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun unusedScriptFunction([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] p: R|kotlin/String|): R|kotlin/Int| {
^unusedScriptFunction Int(22)
}
R|/scriptFunction|()
[ResolvedTo(BODY_RESOLVE)] init {
R|/scriptFunction|()
}
public final [ResolvedTo(CONTRACTS)] fun foo([ResolvedTo(CONTRACTS)] i: R|kotlin/Int|, [ResolvedTo(CONTRACTS)] action: R|(kotlin/Int) -> kotlin/Unit|): R|kotlin/Unit| {
action#(i#)
}
R|/foo|(R|/scriptFunction|(), <L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=kotlin/Function1<kotlin/Int, kotlin/Unit>] foo@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/Unit| <inline=NoInline> {
R|/scriptFunction|()
[ResolvedTo(BODY_RESOLVE)] init {
R|/foo|(R|/scriptFunction|(), <L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=kotlin/Function1<kotlin/Int, kotlin/Unit>] foo@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/Unit| <inline=NoInline> {
R|/scriptFunction|()
}
)
}
)
public final [ResolvedTo(BODY_RESOLVE)] val $$result: R|kotlin/Int| = R|/unusedScriptFunction|(String(str))
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
analysis/low-level-api-fir/testData/dependentCopy/script.context.txt
Vendored
+1 -1
View File
@@ -35,7 +35,7 @@ Tower Data Context:
public? final? class ScriptClass : R|kotlin/Any|
public final fun scriptFunction(): R|kotlin/Int|
public? final? fun unusedScriptFunction(p: String): <implicit>
R|/scriptFunction|()
init
public final fun foo(i: R|kotlin/Int|, action: R|(kotlin/Int) -> kotlin/Unit|): R|kotlin/Unit|
public final val $$result: R|kotlin/Unit|
public get(): R|kotlin/Unit|
analysis/low-level-api-fir/testData/dependentCopy/script.fir.txt
Vendored
+4 -1
View File
@@ -23,7 +23,10 @@ SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-script.kts>
public? final? [ResolvedTo(RAW_FIR)] fun unusedScriptFunction([ResolvedTo(RAW_FIR)] p: String): <implicit> { LAZY_BLOCK }
R|/scriptFunction|()
[ResolvedTo(BODY_RESOLVE)] init {
R|/scriptFunction|()
}
public final [ResolvedTo(CONTRACTS)] fun foo([ResolvedTo(CONTRACTS)] i: R|kotlin/Int|, [ResolvedTo(CONTRACTS)] action: R|(kotlin/Int) -> kotlin/Unit|): R|kotlin/Unit| {
action#(i#)
}
analysis/low-level-api-fir/testData/dependentCopy/scriptFunction.context.txt
Vendored
+1 -1
View File
@@ -37,7 +37,7 @@ Tower Data Context:
public? final? class ScriptClass : R|kotlin/Any|
public? final? fun scriptFunction(): <implicit>
public? final? fun unusedScriptFunction(p: String): <implicit>
scriptFunction#()
init
public? final? fun foo(i: Int, action: ( (Int) -> Unit )): R|kotlin/Unit|
public final val $$result: <implicit>
public get(): <implicit>
analysis/low-level-api-fir/testData/dependentCopy/scriptInsideLastStatement.context.txt
Vendored
+1 -1
View File
@@ -35,7 +35,7 @@ Tower Data Context:
public? final? class ScriptClass : R|kotlin/Any|
public final fun scriptFunction(): R|kotlin/Int|
public? final? fun unusedScriptFunction(p: String): <implicit>
R|/scriptFunction|()
init
public final fun foo(i: R|kotlin/Int|, action: R|(kotlin/Int) -> kotlin/Unit|): R|kotlin/Unit|
public final val $$result: R|kotlin/Unit|
public get(): R|kotlin/Unit|
analysis/low-level-api-fir/testData/dependentCopy/scriptLastStatement.context.txt
Vendored
+1 -1
View File
@@ -35,7 +35,7 @@ Tower Data Context:
public? final? class ScriptClass : R|kotlin/Any|
public final fun scriptFunction(): R|kotlin/Int|
public? final? fun unusedScriptFunction(p: String): <implicit>
R|/scriptFunction|()
init
public final fun foo(i: R|kotlin/Int|, action: R|(kotlin/Int) -> kotlin/Unit|): R|kotlin/Unit|
public final val $$result: R|kotlin/Unit|
public get(): R|kotlin/Unit|
analysis/low-level-api-fir/testData/dependentCopy/scriptLastStatementCall.context.txt
Vendored
+1 -1
View File
@@ -35,7 +35,7 @@ Tower Data Context:
public? final? class ScriptClass : R|kotlin/Any|
public final fun scriptFunction(): R|kotlin/Int|
public? final? fun unusedScriptFunction(p: String): <implicit>
R|/scriptFunction|()
init
public final fun foo(i: R|kotlin/Int|, action: R|(kotlin/Int) -> kotlin/Unit|): R|kotlin/Unit|
public final val $$result: R|kotlin/Unit|
public get(): R|kotlin/Unit|
analysis/low-level-api-fir/testData/dependentCopy/scriptStatement.context.txt
Vendored
+5 -1
View File
@@ -35,9 +35,13 @@ Tower Data Context:
public? final? class ScriptClass : R|kotlin/Any|
public final fun scriptFunction(): R|kotlin/Int|
public? final? fun unusedScriptFunction(p: String): <implicit>
R|/scriptFunction|()
init
public final fun foo(i: R|kotlin/Int|, action: R|(kotlin/Int) -> kotlin/Unit|): R|kotlin/Unit|
public final val $$result: R|kotlin/Unit|
public get(): R|kotlin/Unit|
Type: kotlin.script.templates.standard.ScriptTemplateWithArgs
Label: <script>
Element 9
Scope: FirLocalScope
Element 10
Scope: FirLocalScope
analysis/low-level-api-fir/testData/dependentCopy/scriptStatementCall.context.txt
Vendored
+5 -1
View File
@@ -35,9 +35,13 @@ Tower Data Context:
public? final? class ScriptClass : R|kotlin/Any|
public final fun scriptFunction(): R|kotlin/Int|
public? final? fun unusedScriptFunction(p: String): <implicit>
R|/scriptFunction|()
init
public final fun foo(i: R|kotlin/Int|, action: R|(kotlin/Int) -> kotlin/Unit|): R|kotlin/Unit|
public final val $$result: R|kotlin/Unit|
public get(): R|kotlin/Unit|
Type: kotlin.script.templates.standard.ScriptTemplateWithArgs
Label: <script>
Element 9
Scope: FirLocalScope
Element 10
Scope: FirLocalScope
analysis/low-level-api-fir/testData/fileStructure/script.lazy.resolve.txt
Vendored
+14 -11
View File
@@ -26,21 +26,24 @@ FILE: [ResolvedTo(BODY_RESOLVE)] script.kts
^build2 R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
}
R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(123)
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
[ResolvedTo(BODY_RESOLVE)] init {
R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(123)
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
}
}
this@R|special/anonymous|.R|/Builder.execute|()
}
this@R|special/anonymous|.R|/Builder.execute|()
)
}
)
public final [ResolvedTo(BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(321)
}
analysis/low-level-api-fir/testData/fileStructure/secondLevelFunction.lazy.resolve.txt
Vendored
+19 -17
View File
@@ -7,28 +7,30 @@ FILE: [ResolvedTo(BODY_RESOLVE)] secondLevelFunction.kts
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
when () {
Boolean(true) -> {
local final [ResolvedTo(BODY_RESOLVE)] class LocalClass : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] constructor(): R|<local>/LocalClass| {
super<R|kotlin/Any|>()
[ResolvedTo(BODY_RESOLVE)] init {
when () {
Boolean(true) -> {
local final [ResolvedTo(BODY_RESOLVE)] class LocalClass : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] constructor(): R|<local>/LocalClass| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Int| {
^foo this@R|<local>/LocalClass|.R|<local>/boo|
}
private final [ResolvedTo(BODY_RESOLVE)] val boo: R|kotlin/Int| = Int(9)
private [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
}
public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Int| {
^foo this@R|<local>/LocalClass|.R|<local>/boo|
[ResolvedTo(BODY_RESOLVE)] lval prop: R|kotlin/Int| = R|<local>/LocalClass.LocalClass|().R|<local>/foo|()
local final [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] y: R|kotlin/Int|): R|kotlin/Int| {
^foo R|<local>/y|.R|kotlin/Int.plus|(Int(20))
}
private final [ResolvedTo(BODY_RESOLVE)] val boo: R|kotlin/Int| = Int(9)
private [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
R|/x| = R|<local>/foo|(R|<local>/prop|)
}
[ResolvedTo(BODY_RESOLVE)] lval prop: R|kotlin/Int| = R|<local>/LocalClass.LocalClass|().R|<local>/foo|()
local final [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] y: R|kotlin/Int|): R|kotlin/Int| {
^foo R|<local>/y|.R|kotlin/Int.plus|(Int(20))
}
R|/x| = R|/foo|(R|<local>/prop|)
}
}
analysis/low-level-api-fir/testData/fileStructure/secondLevelFunction2.lazy.resolve.txt
Vendored
+19 -17
View File
@@ -7,28 +7,30 @@ FILE: [ResolvedTo(BODY_RESOLVE)] secondLevelFunction2.kts
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
when () {
Boolean(true) -> {
local final [ResolvedTo(BODY_RESOLVE)] class LocalClass : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] constructor(): R|<local>/LocalClass| {
super<R|kotlin/Any|>()
[ResolvedTo(BODY_RESOLVE)] init {
when () {
Boolean(true) -> {
local final [ResolvedTo(BODY_RESOLVE)] class LocalClass : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] constructor(): R|<local>/LocalClass| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Int| {
^foo this@R|<local>/LocalClass|.R|<local>/boo|
}
private final [ResolvedTo(BODY_RESOLVE)] val boo: R|kotlin/Int| = Int(9)
private [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
}
public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Int| {
^foo this@R|<local>/LocalClass|.R|<local>/boo|
[ResolvedTo(BODY_RESOLVE)] lval prop: R|kotlin/Int| = R|<local>/LocalClass.LocalClass|().R|<local>/foo|()
local final [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] y: R|kotlin/Int|): R|kotlin/Int| {
^foo R|<local>/y|.R|kotlin/Int.plus|(Int(20))
}
private final [ResolvedTo(BODY_RESOLVE)] val boo: R|kotlin/Int| = Int(9)
private [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
R|/x| = R|<local>/foo|(R|<local>/prop|)
}
[ResolvedTo(BODY_RESOLVE)] lval prop: R|kotlin/Int| = R|<local>/LocalClass.LocalClass|().R|<local>/foo|()
local final [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] y: R|kotlin/Int|): R|kotlin/Int| {
^foo R|<local>/y|.R|kotlin/Int.plus|(Int(20))
}
R|/x| = R|/foo|(R|<local>/prop|)
}
}
analysis/low-level-api-fir/testData/getOrBuildFir/calls/compoundAssignOnVarScript.txt
Vendored
+6 -10
View File
@@ -1,17 +1,11 @@
KT element: KtScriptInitializer
FIR element: FirScriptImpl
FIR element: FirAnonymousInitializerImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-compoundAssignOnVarScript.kts>
[ResolvedTo(BODY_RESOLVE)] lval args: R|kotlin/Array<kotlin/String>|
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] var i: R|kotlin/Int| = Int(1)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
[ResolvedTo(BODY_RESOLVE)] init {
R|/i| = R|/i|.R|kotlin/Int.plus|(Int(1))
}
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] compoundAssignOnVarScript.kts
@@ -23,4 +17,6 @@ FILE: [ResolvedTo(IMPORTS)] compoundAssignOnVarScript.kts
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int|
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
R|/i| = R|/i|.R|kotlin/Int.plus|(Int(1))
[ResolvedTo(BODY_RESOLVE)] init {
R|/i| = R|/i|.R|kotlin/Int.plus|(Int(1))
}
analysis/low-level-api-fir/testData/getOrBuildFir/expressions/assignment.txt
Vendored
+21 -13
View File
@@ -30,26 +30,34 @@ FILE: [ResolvedTo(IMPORTS)] assignment.kts
^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
}
R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(123)
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
[ResolvedTo(BODY_RESOLVE)] init {
R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(123)
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
}
}
this@R|special/anonymous|.R|/Builder.execute|()
}
this@R|special/anonymous|.R|/Builder.execute|()
)
}
)
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(321)
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|Builder|
R|/builder|.R|/Builder.execute|()
R|/builder|.R|/Builder.version| = String()
[ResolvedTo(BODY_RESOLVE)] init {
R|/builder|.R|/Builder.execute|()
}
[ResolvedTo(BODY_RESOLVE)] init {
R|/builder|.R|/Builder.version| = String()
}
analysis/low-level-api-fir/testData/getOrBuildFir/expressions/callInsideFunction.txt
Vendored
+7 -3
View File
@@ -28,9 +28,13 @@ FILE: [ResolvedTo(IMPORTS)] callInsideFunction.kts
^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
}
build#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
builder#.execute#()
builder#.version# = String()
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
builder#.version# = String()
}
analysis/low-level-api-fir/testData/getOrBuildFir/expressions/callInsideStatement.txt
Vendored
+21 -13
View File
@@ -30,26 +30,34 @@ FILE: [ResolvedTo(IMPORTS)] callInsideStatement.kts
^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
}
R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(123)
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
[ResolvedTo(BODY_RESOLVE)] init {
R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(123)
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
}
}
this@R|special/anonymous|.R|/Builder.execute|()
}
this@R|special/anonymous|.R|/Builder.execute|()
)
}
)
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(321)
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|Builder|
R|/builder|.R|/Builder.execute|()
R|/builder|.R|/Builder.version| = String()
[ResolvedTo(BODY_RESOLVE)] init {
R|/builder|.R|/Builder.execute|()
}
[ResolvedTo(BODY_RESOLVE)] init {
R|/builder|.R|/Builder.version| = String()
}
analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/assignmentStatement.txt
Vendored
+21 -13
View File
@@ -37,26 +37,34 @@ FILE: [ResolvedTo(IMPORTS)] assignmentStatement.kts
^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
}
R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(123)
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
[ResolvedTo(BODY_RESOLVE)] init {
R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(123)
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
}
}
this@R|special/anonymous|.R|/Builder.execute|()
}
this@R|special/anonymous|.R|/Builder.execute|()
)
}
)
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(321)
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|Builder|
R|/builder|.R|/Builder.execute|()
R|/builder|.R|/Builder.version| = String()
[ResolvedTo(BODY_RESOLVE)] init {
R|/builder|.R|/Builder.execute|()
}
[ResolvedTo(BODY_RESOLVE)] init {
R|/builder|.R|/Builder.version| = String()
}
analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/class.txt
Vendored
+7 -3
View File
@@ -51,9 +51,13 @@ FILE: [ResolvedTo(IMPORTS)] class.kts
public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
build#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
builder#.execute#()
builder#.version# = String()
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
builder#.version# = String()
}
analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/function.txt
Vendored
+7 -3
View File
@@ -37,9 +37,13 @@ FILE: [ResolvedTo(IMPORTS)] function.kts
^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
}
build#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
builder#.execute#()
builder#.version# = String()
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
builder#.version# = String()
}
analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/scriptInitializer.txt
Vendored
+24 -52
View File
@@ -1,38 +1,9 @@
KT element: KtScriptInitializer
FIR element: FirScriptImpl
FIR element: FirAnonymousInitializerImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-scriptInitializer.kts>
[ResolvedTo(BODY_RESOLVE)] lval args: R|kotlin/Array<kotlin/String>|
public open [ResolvedTo(STATUS)] class Builder : R|kotlin/Any| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Builder] constructor(): R|Builder| {
LAZY_super<R|kotlin/Any|>
}
public final [ResolvedTo(CONTRACTS)] var version: R|kotlin/String| = String()
public [ResolvedTo(CONTRACTS)] [ContainingClassKey=Builder] get(): R|kotlin/String|
public [ResolvedTo(CONTRACTS)] [ContainingClassKey=Builder] set([ResolvedTo(CONTRACTS)] value: R|kotlin/String|): R|kotlin/Unit|
public final [ResolvedTo(CONTRACTS)] fun execute(): R|kotlin/Unit| {
println#(version#)
}
public? final? [ResolvedTo(RAW_FIR)] class NestedBuilder : Builder {
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=NestedBuilder] constructor(): R|Builder.NestedBuilder| {
LAZY_super<Builder>
}
}
}
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun build([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] action: R|Builder.() -> kotlin/Unit|): R|Builder| {
^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
}
[ResolvedTo(BODY_RESOLVE)] init {
R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(123)
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
@@ -48,14 +19,7 @@ SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-scriptInitializer.kts>
this@R|special/anonymous|.R|/Builder.execute|()
}
)
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(321)
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|Builder|
R|/builder|.R|/Builder.execute|()
R|/builder|.R|/Builder.version| = String()
}
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] scriptInitializer.kts
@@ -89,26 +53,34 @@ FILE: [ResolvedTo(IMPORTS)] scriptInitializer.kts
^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
}
R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(123)
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
[ResolvedTo(BODY_RESOLVE)] init {
R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(123)
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
}
}
this@R|special/anonymous|.R|/Builder.execute|()
}
this@R|special/anonymous|.R|/Builder.execute|()
)
}
)
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(321)
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|Builder|
R|/builder|.R|/Builder.execute|()
R|/builder|.R|/Builder.version| = String()
[ResolvedTo(BODY_RESOLVE)] init {
R|/builder|.R|/Builder.execute|()
}
[ResolvedTo(BODY_RESOLVE)] init {
R|/builder|.R|/Builder.version| = String()
}
analysis/low-level-api-fir/testData/getOrBuildFir/wholeDeclaration/statement.txt
Vendored
+24 -52
View File
@@ -1,38 +1,9 @@
KT element: KtScriptInitializer
FIR element: FirScriptImpl
FIR element: FirAnonymousInitializerImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-statement.kts>
[ResolvedTo(BODY_RESOLVE)] lval args: R|kotlin/Array<kotlin/String>|
public open [ResolvedTo(STATUS)] class Builder : R|kotlin/Any| {
public [ResolvedTo(STATUS)] [ContainingClassKey=Builder] constructor(): R|Builder| {
LAZY_super<R|kotlin/Any|>
}
public final [ResolvedTo(CONTRACTS)] var version: R|kotlin/String| = String()
public [ResolvedTo(CONTRACTS)] [ContainingClassKey=Builder] get(): R|kotlin/String|
public [ResolvedTo(CONTRACTS)] [ContainingClassKey=Builder] set([ResolvedTo(CONTRACTS)] value: R|kotlin/String|): R|kotlin/Unit|
public final [ResolvedTo(CONTRACTS)] fun execute(): R|kotlin/Unit| {
println#(version#)
}
public? final? [ResolvedTo(RAW_FIR)] class NestedBuilder : Builder {
public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=NestedBuilder] constructor(): R|Builder.NestedBuilder| {
LAZY_super<Builder>
}
}
}
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun build([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] action: R|Builder.() -> kotlin/Unit|): R|Builder| {
^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
}
[ResolvedTo(BODY_RESOLVE)] init {
R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(123)
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
@@ -48,14 +19,7 @@ SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-statement.kts>
this@R|special/anonymous|.R|/Builder.execute|()
}
)
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(321)
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|Builder|
R|/builder|.R|/Builder.execute|()
R|/builder|.R|/Builder.version| = String()
}
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] statement.kts
@@ -89,26 +53,34 @@ FILE: [ResolvedTo(IMPORTS)] statement.kts
^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
}
R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(123)
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
[ResolvedTo(BODY_RESOLVE)] init {
R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(123)
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
}
}
this@R|special/anonymous|.R|/Builder.execute|()
}
this@R|special/anonymous|.R|/Builder.execute|()
)
}
)
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(321)
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|Builder|
R|/builder|.R|/Builder.execute|()
R|/builder|.R|/Builder.version| = String()
[ResolvedTo(BODY_RESOLVE)] init {
R|/builder|.R|/Builder.execute|()
}
[ResolvedTo(BODY_RESOLVE)] init {
R|/builder|.R|/Builder.version| = String()
}
analysis/low-level-api-fir/testData/lazyResolve/script.txt
Vendored
+132 -59
View File
@@ -46,12 +46,17 @@ FILE: [ResolvedTo(RAW_FIR)] script.kts
@Anno[Unresolved](LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
@Anno[Unresolved](LAZY_EXPRESSION) build#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
@Anno[Unresolved](LAZY_EXPRESSION) builder#.execute#()
builder#.version# = String()
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
builder#.version# = String()
}
IMPORTS:
FILE: [ResolvedTo(IMPORTS)] script.kts
@@ -101,12 +106,17 @@ FILE: [ResolvedTo(IMPORTS)] script.kts
@Anno[Unresolved](LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
@Anno[Unresolved](LAZY_EXPRESSION) build#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
@Anno[Unresolved](LAZY_EXPRESSION) builder#.execute#()
builder#.version# = String()
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
builder#.version# = String()
}
COMPILER_REQUIRED_ANNOTATIONS:
FILE: [ResolvedTo(IMPORTS)] script.kts
@@ -156,12 +166,17 @@ FILE: [ResolvedTo(IMPORTS)] script.kts
@Anno[Unresolved](LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
@Anno[Unresolved](LAZY_EXPRESSION) build#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
@Anno[Unresolved](LAZY_EXPRESSION) builder#.execute#()
builder#.version# = String()
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
builder#.version# = String()
}
COMPANION_GENERATION:
FILE: [ResolvedTo(IMPORTS)] script.kts
@@ -211,12 +226,17 @@ FILE: [ResolvedTo(IMPORTS)] script.kts
@Anno[Unresolved](LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
@Anno[Unresolved](LAZY_EXPRESSION) build#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
@Anno[Unresolved](LAZY_EXPRESSION) builder#.execute#()
builder#.version# = String()
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
builder#.version# = String()
}
SUPER_TYPES:
FILE: [ResolvedTo(IMPORTS)] script.kts
@@ -266,12 +286,17 @@ FILE: [ResolvedTo(IMPORTS)] script.kts
@Anno[Unresolved](LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
@Anno[Unresolved](LAZY_EXPRESSION) build#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
@Anno[Unresolved](LAZY_EXPRESSION) builder#.execute#()
builder#.version# = String()
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
builder#.version# = String()
}
TYPES:
FILE: [ResolvedTo(IMPORTS)] script.kts
@@ -321,12 +346,17 @@ FILE: [ResolvedTo(IMPORTS)] script.kts
@Anno[Unresolved](LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
@Anno[Unresolved](LAZY_EXPRESSION) build#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
@Anno[Unresolved](LAZY_EXPRESSION) builder#.execute#()
builder#.version# = String()
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
builder#.version# = String()
}
STATUS:
FILE: [ResolvedTo(IMPORTS)] script.kts
@@ -376,12 +406,17 @@ FILE: [ResolvedTo(IMPORTS)] script.kts
@Anno[Unresolved](LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
@Anno[Unresolved](LAZY_EXPRESSION) build#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
@Anno[Unresolved](LAZY_EXPRESSION) builder#.execute#()
builder#.version# = String()
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
builder#.version# = String()
}
EXPECT_ACTUAL_MATCHING:
FILE: [ResolvedTo(IMPORTS)] script.kts
@@ -431,12 +466,17 @@ FILE: [ResolvedTo(IMPORTS)] script.kts
@Anno[Unresolved](LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
@Anno[Unresolved](LAZY_EXPRESSION) build#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
@Anno[Unresolved](LAZY_EXPRESSION) builder#.execute#()
builder#.version# = String()
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
builder#.version# = String()
}
CONTRACTS:
FILE: [ResolvedTo(IMPORTS)] script.kts
@@ -486,12 +526,17 @@ FILE: [ResolvedTo(IMPORTS)] script.kts
@Anno[Unresolved](LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
@Anno[Unresolved](LAZY_EXPRESSION) build#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
@Anno[Unresolved](LAZY_EXPRESSION) builder#.execute#()
builder#.version# = String()
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
builder#.version# = String()
}
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: [ResolvedTo(IMPORTS)] script.kts
@@ -541,12 +586,17 @@ FILE: [ResolvedTo(IMPORTS)] script.kts
@Anno[Unresolved](LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
@Anno[Unresolved](LAZY_EXPRESSION) build#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
@Anno[Unresolved](LAZY_EXPRESSION) builder#.execute#()
builder#.version# = String()
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
builder#.version# = String()
}
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] script.kts
@@ -596,12 +646,17 @@ FILE: [ResolvedTo(IMPORTS)] script.kts
@Anno[Unresolved](LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] fun build([ResolvedTo(RAW_FIR)] action: ( Builder.() -> Unit )): <implicit> { LAZY_BLOCK }
@Anno[Unresolved](LAZY_EXPRESSION) build#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val builder: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
@Anno[Unresolved](LAZY_EXPRESSION) builder#.execute#()
builder#.version# = String()
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
builder#.version# = String()
}
BODY_RESOLVE:
FILE: [ResolvedTo(IMPORTS)] script.kts
@@ -655,29 +710,38 @@ FILE: [ResolvedTo(IMPORTS)] script.kts
^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
}
@R|Anno|[Types](s = Q|En|.R|/En.Entry|) R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(123)
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
@R|Anno|[Types](s = Q|En|.R|/En.Entry|) public final [ResolvedTo(BODY_RESOLVE)] fun doo([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Unit| {
[ResolvedTo(BODY_RESOLVE)] init {
@R|Anno|[Types](s = Q|En|.R|/En.Entry|) R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(123)
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
@R|Anno|[Types](s = Q|En|.R|/En.Entry|) public final [ResolvedTo(BODY_RESOLVE)] fun doo([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Unit| {
}
}
this@R|special/anonymous|.R|/Builder.execute|()
}
this@R|special/anonymous|.R|/Builder.execute|()
)
}
)
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(321)
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|Builder|
@R|Anno|[Types](s = Q|En|.R|/En.Entry|) R|/builder|.R|/Builder.execute|()
R|/builder|.R|/Builder.version| = String()
[ResolvedTo(BODY_RESOLVE)] init {
@R|Anno|[Types](s = Q|En|.R|/En.Entry|) R|/builder|.R|/Builder.execute|()
}
[ResolvedTo(BODY_RESOLVE)] init {
R|/builder|.R|/Builder.version| = String()
}
FILE RAW TO BODY:
FILE: [ResolvedTo(BODY_RESOLVE)] script.kts
@@ -731,26 +795,35 @@ FILE: [ResolvedTo(BODY_RESOLVE)] script.kts
^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
}
@R|Anno|[Types](s = Q|En|.R|/En.Entry|) R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(123)
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
@R|Anno|[Types](s = Q|En|.R|/En.Entry|) public final [ResolvedTo(BODY_RESOLVE)] fun doo([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Unit| {
[ResolvedTo(BODY_RESOLVE)] init {
@R|Anno|[Types](s = Q|En|.R|/En.Entry|) R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(123)
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
@R|Anno|[Types](s = Q|En|.R|/En.Entry|) public final [ResolvedTo(BODY_RESOLVE)] fun doo([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Unit| {
}
}
this@R|special/anonymous|.R|/Builder.execute|()
}
this@R|special/anonymous|.R|/Builder.execute|()
)
}
)
public final [ResolvedTo(BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(321)
}
)
public [ResolvedTo(BODY_RESOLVE)] get(): R|Builder|
@R|Anno|[Types](s = Q|En|.R|/En.Entry|) R|/builder|.R|/Builder.execute|()
R|/builder|.R|/Builder.version| = String()
[ResolvedTo(BODY_RESOLVE)] init {
@R|Anno|[Types](s = Q|En|.R|/En.Entry|) R|/builder|.R|/Builder.execute|()
}
[ResolvedTo(BODY_RESOLVE)] init {
R|/builder|.R|/Builder.version| = String()
}
analysis/low-level-api-fir/testData/lazyResolve/script2.txt
Vendored
+90 -39
View File
@@ -19,9 +19,12 @@ FILE: [ResolvedTo(RAW_FIR)] script2.kts
public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
consume#(LAZY_EXPRESSION)
x#!!
consume#(LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -59,9 +62,12 @@ FILE: [ResolvedTo(IMPORTS)] script2.kts
public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
consume#(LAZY_EXPRESSION)
x#!!
consume#(LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -99,9 +105,12 @@ FILE: [ResolvedTo(IMPORTS)] script2.kts
public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
consume#(LAZY_EXPRESSION)
x#!!
consume#(LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -139,9 +148,12 @@ FILE: [ResolvedTo(IMPORTS)] script2.kts
public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
consume#(LAZY_EXPRESSION)
x#!!
consume#(LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -179,9 +191,12 @@ FILE: [ResolvedTo(IMPORTS)] script2.kts
public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
consume#(LAZY_EXPRESSION)
x#!!
consume#(LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -219,9 +234,12 @@ FILE: [ResolvedTo(IMPORTS)] script2.kts
public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
consume#(LAZY_EXPRESSION)
x#!!
consume#(LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -259,9 +277,12 @@ FILE: [ResolvedTo(IMPORTS)] script2.kts
public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
consume#(LAZY_EXPRESSION)
x#!!
consume#(LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -299,9 +320,12 @@ FILE: [ResolvedTo(IMPORTS)] script2.kts
public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
consume#(LAZY_EXPRESSION)
x#!!
consume#(LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -339,9 +363,12 @@ FILE: [ResolvedTo(IMPORTS)] script2.kts
public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
consume#(LAZY_EXPRESSION)
x#!!
consume#(LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -379,9 +406,12 @@ FILE: [ResolvedTo(IMPORTS)] script2.kts
public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
consume#(LAZY_EXPRESSION)
x#!!
consume#(LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -419,9 +449,12 @@ FILE: [ResolvedTo(IMPORTS)] script2.kts
public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
consume#(LAZY_EXPRESSION)
x#!!
consume#(LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -460,9 +493,18 @@ FILE: [ResolvedTo(IMPORTS)] script2.kts
public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> { LAZY_BLOCK }
R|/consume|(R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1)))
R|/x|!!
R|/consume|(R|/x|.R|kotlin/Int.plus|(Int(1)))
[ResolvedTo(BODY_RESOLVE)] init {
R|/consume|(R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1)))
}
[ResolvedTo(BODY_RESOLVE)] init {
R|/x|!!
}
[ResolvedTo(BODY_RESOLVE)] init {
R|/consume|(R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1)))
}
public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -507,9 +549,18 @@ FILE: [ResolvedTo(BODY_RESOLVE)] script2.kts
^foo R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1))
}
R|/consume|(R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1)))
R|/x|!!
R|/consume|(R|/x|.R|kotlin/Int.plus|(Int(1)))
[ResolvedTo(BODY_RESOLVE)] init {
R|/consume|(R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1)))
}
[ResolvedTo(BODY_RESOLVE)] init {
R|/x|!!
}
[ResolvedTo(BODY_RESOLVE)] init {
R|/consume|(R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1)))
}
public final [ResolvedTo(BODY_RESOLVE)] val zz: R|kotlin/Int| = R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1))
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
analysis/low-level-api-fir/testData/lazyResolve/script3.txt
Vendored
+96 -40
View File
@@ -29,8 +29,12 @@ FILE: [ResolvedTo(RAW_FIR)] script3.kts
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
build#(<L> = LAZY_EXPRESSION)
variable# = String(1)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
variable# = String(1)
}
IMPORTS:
FILE: [ResolvedTo(IMPORTS)] script3.kts
@@ -63,8 +67,12 @@ FILE: [ResolvedTo(IMPORTS)] script3.kts
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
build#(<L> = LAZY_EXPRESSION)
variable# = String(1)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
variable# = String(1)
}
COMPILER_REQUIRED_ANNOTATIONS:
FILE: [ResolvedTo(IMPORTS)] script3.kts
@@ -97,8 +105,12 @@ FILE: [ResolvedTo(IMPORTS)] script3.kts
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
build#(<L> = LAZY_EXPRESSION)
variable# = String(1)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
variable# = String(1)
}
COMPANION_GENERATION:
FILE: [ResolvedTo(IMPORTS)] script3.kts
@@ -131,8 +143,12 @@ FILE: [ResolvedTo(IMPORTS)] script3.kts
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
build#(<L> = LAZY_EXPRESSION)
variable# = String(1)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
variable# = String(1)
}
SUPER_TYPES:
FILE: [ResolvedTo(IMPORTS)] script3.kts
@@ -165,8 +181,12 @@ FILE: [ResolvedTo(IMPORTS)] script3.kts
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
build#(<L> = LAZY_EXPRESSION)
variable# = String(1)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
variable# = String(1)
}
TYPES:
FILE: [ResolvedTo(IMPORTS)] script3.kts
@@ -199,8 +219,12 @@ FILE: [ResolvedTo(IMPORTS)] script3.kts
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
build#(<L> = LAZY_EXPRESSION)
variable# = String(1)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
variable# = String(1)
}
STATUS:
FILE: [ResolvedTo(IMPORTS)] script3.kts
@@ -233,8 +257,12 @@ FILE: [ResolvedTo(IMPORTS)] script3.kts
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
build#(<L> = LAZY_EXPRESSION)
variable# = String(1)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
variable# = String(1)
}
EXPECT_ACTUAL_MATCHING:
FILE: [ResolvedTo(IMPORTS)] script3.kts
@@ -267,8 +295,12 @@ FILE: [ResolvedTo(IMPORTS)] script3.kts
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
build#(<L> = LAZY_EXPRESSION)
variable# = String(1)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
variable# = String(1)
}
CONTRACTS:
FILE: [ResolvedTo(IMPORTS)] script3.kts
@@ -301,8 +333,12 @@ FILE: [ResolvedTo(IMPORTS)] script3.kts
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
build#(<L> = LAZY_EXPRESSION)
variable# = String(1)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
variable# = String(1)
}
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: [ResolvedTo(IMPORTS)] script3.kts
@@ -335,8 +371,12 @@ FILE: [ResolvedTo(IMPORTS)] script3.kts
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
build#(<L> = LAZY_EXPRESSION)
variable# = String(1)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
variable# = String(1)
}
ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] script3.kts
@@ -369,8 +409,12 @@ FILE: [ResolvedTo(IMPORTS)] script3.kts
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
build#(<L> = LAZY_EXPRESSION)
variable# = String(1)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init {
variable# = String(1)
}
BODY_RESOLVE:
FILE: [ResolvedTo(IMPORTS)] script3.kts
@@ -404,20 +448,26 @@ FILE: [ResolvedTo(IMPORTS)] script3.kts
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: R|kotlin/String|): R|kotlin/Unit|
R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=kotlin/Function0<kotlin/Unit>] build@fun <anonymous>(): R|kotlin/Unit| <inline=NoInline> {
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
[ResolvedTo(BODY_RESOLVE)] init {
R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=kotlin/Function0<kotlin/Unit>] build@fun <anonymous>(): R|kotlin/Unit| <inline=NoInline> {
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] fun doo([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Unit| {
}
public final [ResolvedTo(BODY_RESOLVE)] fun doo([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Unit| {
}
}
)
}
)
R|/variable| = String(1)
[ResolvedTo(BODY_RESOLVE)] init {
R|/variable| = String(1)
}
FILE RAW TO BODY:
FILE: [ResolvedTo(BODY_RESOLVE)] script3.kts
@@ -455,17 +505,23 @@ FILE: [ResolvedTo(BODY_RESOLVE)] script3.kts
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String|
public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/String|): R|kotlin/Unit|
R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=kotlin/Function0<kotlin/Unit>] build@fun <anonymous>(): R|kotlin/Unit| <inline=NoInline> {
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
[ResolvedTo(BODY_RESOLVE)] init {
R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=kotlin/Function0<kotlin/Unit>] build@fun <anonymous>(): R|kotlin/Unit| <inline=NoInline> {
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] fun doo([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Unit| {
}
public final [ResolvedTo(BODY_RESOLVE)] fun doo([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|kotlin/Unit| {
}
}
)
}
)
R|/variable| = String(1)
[ResolvedTo(BODY_RESOLVE)] init {
R|/variable| = String(1)
}
analysis/low-level-api-fir/testData/lazyResolve/statement.txt
Vendored
+44 -26
View File
@@ -23,29 +23,38 @@ FILE: [ResolvedTo(IMPORTS)] statement.kts
^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
}
R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(123)
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
[ResolvedTo(BODY_RESOLVE)] init {
R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(123)
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
}
}
this@R|special/anonymous|.R|/Builder.execute|()
}
this@R|special/anonymous|.R|/Builder.execute|()
)
}
)
public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(RAW_FIR)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(321)
}
)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|Builder|
R|/builder|.R|/Builder.execute|()
R|/builder|.R|/Builder.version| = String()
[ResolvedTo(BODY_RESOLVE)] init {
R|/builder|.R|/Builder.execute|()
}
[ResolvedTo(BODY_RESOLVE)] init {
R|/builder|.R|/Builder.version| = String()
}
FILE RAW TO BODY:
FILE: [ResolvedTo(BODY_RESOLVE)] statement.kts
@@ -72,26 +81,35 @@ FILE: [ResolvedTo(BODY_RESOLVE)] statement.kts
^build R|/Builder.Builder|().R|kotlin/apply|<R|Builder|>(R|<local>/action|)
}
R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(123)
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
[ResolvedTo(BODY_RESOLVE)] init {
R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(123)
local final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] constructor(): R|<local>/A| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] fun doo(): R|kotlin/Unit| {
}
}
this@R|special/anonymous|.R|/Builder.execute|()
}
this@R|special/anonymous|.R|/Builder.execute|()
)
}
)
public final [ResolvedTo(BODY_RESOLVE)] val builder: R|Builder| = R|/build|(<L> = [ResolvedTo(BODY_RESOLVE)] [MatchingParameterFunctionTypeKey=@ExtensionFunctionType kotlin/Function1<Builder, kotlin/Unit>] build@fun R|Builder|.<anonymous>(): R|kotlin/Unit| <inline=NoInline> {
this@R|special/anonymous|.R|/Builder.version| = String(321)
}
)
public [ResolvedTo(BODY_RESOLVE)] get(): R|Builder|
R|/builder|.R|/Builder.execute|()
R|/builder|.R|/Builder.version| = String()
[ResolvedTo(BODY_RESOLVE)] init {
R|/builder|.R|/Builder.execute|()
}
[ResolvedTo(BODY_RESOLVE)] init {
R|/builder|.R|/Builder.version| = String()
}
analysis/low-level-api-fir/testData/lazyResolve/statementTransformation.txt
Vendored
+34 -17
View File
@@ -7,7 +7,8 @@ FILE: [ResolvedTo(RAW_FIR)] statementTransformation.kts
public? final? [ResolvedTo(RAW_FIR)] val myProp: ( () -> Unit ) = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): ( () -> Unit )
myProp#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -20,7 +21,8 @@ FILE: [ResolvedTo(IMPORTS)] statementTransformation.kts
public? final? [ResolvedTo(RAW_FIR)] val myProp: ( () -> Unit ) = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): ( () -> Unit )
myProp#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -33,7 +35,8 @@ FILE: [ResolvedTo(IMPORTS)] statementTransformation.kts
public? final? [ResolvedTo(RAW_FIR)] val myProp: ( () -> Unit ) = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): ( () -> Unit )
myProp#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -46,7 +49,8 @@ FILE: [ResolvedTo(IMPORTS)] statementTransformation.kts
public? final? [ResolvedTo(RAW_FIR)] val myProp: ( () -> Unit ) = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): ( () -> Unit )
myProp#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -59,7 +63,8 @@ FILE: [ResolvedTo(IMPORTS)] statementTransformation.kts
public? final? [ResolvedTo(RAW_FIR)] val myProp: ( () -> Unit ) = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): ( () -> Unit )
myProp#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -72,7 +77,8 @@ FILE: [ResolvedTo(IMPORTS)] statementTransformation.kts
public? final? [ResolvedTo(RAW_FIR)] val myProp: ( () -> Unit ) = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): ( () -> Unit )
myProp#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -85,7 +91,8 @@ FILE: [ResolvedTo(IMPORTS)] statementTransformation.kts
public? final? [ResolvedTo(RAW_FIR)] val myProp: ( () -> Unit ) = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): ( () -> Unit )
myProp#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -98,7 +105,8 @@ FILE: [ResolvedTo(IMPORTS)] statementTransformation.kts
public? final? [ResolvedTo(RAW_FIR)] val myProp: ( () -> Unit ) = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): ( () -> Unit )
myProp#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -111,7 +119,8 @@ FILE: [ResolvedTo(IMPORTS)] statementTransformation.kts
public? final? [ResolvedTo(RAW_FIR)] val myProp: ( () -> Unit ) = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): ( () -> Unit )
myProp#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -124,7 +133,8 @@ FILE: [ResolvedTo(IMPORTS)] statementTransformation.kts
public? final? [ResolvedTo(RAW_FIR)] val myProp: ( () -> Unit ) = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): ( () -> Unit )
myProp#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -137,7 +147,8 @@ FILE: [ResolvedTo(IMPORTS)] statementTransformation.kts
public? final? [ResolvedTo(RAW_FIR)] val myProp: ( () -> Unit ) = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): ( () -> Unit )
myProp#(<L> = LAZY_EXPRESSION)
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -153,10 +164,13 @@ FILE: [ResolvedTo(IMPORTS)] statementTransformation.kts
public [ResolvedTo(CONTRACTS)] get(): R|() -> kotlin/Unit|
R|/myProp|.R|SubstitutionOverride<kotlin/Function0.invoke: R|kotlin/Unit|><Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): kotlin/Function0.invoke>#|(<L> = [ResolvedTo(BODY_RESOLVE)] myProp@fun <anonymous>(): R|kotlin/Int| <inline=Unknown> {
^ Int(123)
[ResolvedTo(BODY_RESOLVE)] init {
R|/myProp|.R|SubstitutionOverride<kotlin/Function0.invoke: R|kotlin/Unit|><Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): kotlin/Function0.invoke>#|(<L> = [ResolvedTo(BODY_RESOLVE)] myProp@fun <anonymous>(): R|kotlin/Int| <inline=Unknown> {
^ Int(123)
}
)
}
)
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -172,9 +186,12 @@ FILE: [ResolvedTo(BODY_RESOLVE)] statementTransformation.kts
public [ResolvedTo(BODY_RESOLVE)] get(): R|() -> kotlin/Unit|
R|/myProp|.R|SubstitutionOverride<kotlin/Function0.invoke: R|kotlin/Unit|><Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): kotlin/Function0.invoke>#|(<L> = [ResolvedTo(BODY_RESOLVE)] myProp@fun <anonymous>(): R|kotlin/Int| <inline=Unknown> {
^ Int(123)
[ResolvedTo(BODY_RESOLVE)] init {
R|/myProp|.R|SubstitutionOverride<kotlin/Function0.invoke: R|kotlin/Unit|><Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): kotlin/Function0.invoke>#|(<L> = [ResolvedTo(BODY_RESOLVE)] myProp@fun <anonymous>(): R|kotlin/Int| <inline=Unknown> {
^ Int(123)
}
)
}
)
public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit| {
}
analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/destructuringDeclaration/scriptStatementLevel.after.txt
Vendored
+11 -8
View File
@@ -230,15 +230,18 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
public final const [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val prop: R|kotlin/String| = String(str)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
when () {
Boolean(true) -> {
@R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
@R|util/Anno|[Types](str = <strcat>(String(a ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval a: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|)) kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|)) kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
@R|util/Anno|[Types](str = <strcat>(String(b ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval b: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|)) kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|)) kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
@R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
@R|util/Anno|[Types](str = <strcat>(String(c ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval c: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|)) kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|)) kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
@R|util/Anno|[Types](str = <strcat>(String(d ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval d: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|)) kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|)) kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
[ResolvedTo(BODY_RESOLVE)] init {
when () {
Boolean(true) -> {
@R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
@R|util/Anno|[Types](str = <strcat>(String(a ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval a: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|)) kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|)) kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
@R|util/Anno|[Types](str = <strcat>(String(b ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval b: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|)) kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|)) kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
@R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
@R|util/Anno|[Types](str = <strcat>(String(c ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval c: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|)) kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|)) kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
@R|util/Anno|[Types](str = <strcat>(String(d ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval d: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|)) kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|)) kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
}
}
}
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/destructuringDeclaration/scriptStatementLevel.before.txt
Vendored
+11 -8
View File
@@ -230,15 +230,18 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
public final const [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val prop: R|kotlin/String| = String(str)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
when () {
Boolean(true) -> {
@R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
@R|util/Anno|[Types](str = <strcat>(String(a ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval a: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|)) kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|)) kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
@R|util/Anno|[Types](str = <strcat>(String(b ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval b: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|)) kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|)) kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
@R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
@R|util/Anno|[Types](str = <strcat>(String(c ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval c: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|)) kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|)) kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
@R|util/Anno|[Types](str = <strcat>(String(d ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval d: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|)) kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|)) kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
[ResolvedTo(BODY_RESOLVE)] init {
when () {
Boolean(true) -> {
@R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
@R|util/Anno|[Types](str = <strcat>(String(a ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval a: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|)) kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|)) kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
@R|util/Anno|[Types](str = <strcat>(String(b ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval b: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|)) kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|)) kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
@R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
@R|util/Anno|[Types](str = <strcat>(String(c ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval c: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|)) kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|)) kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
@R|util/Anno|[Types](str = <strcat>(String(d ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval d: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|)) kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|)) kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
}
}
}
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/destructuringDeclaration/scriptStatementLevel.lazyResolve.txt
Vendored
+33 -126
View File
@@ -39,16 +39,7 @@ FILE: [ResolvedTo(RAW_FIR)] scriptStatementLevel.kts
public? final? const [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
when () {
Boolean(true) -> {
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval a: <implicit> = R|<local>/<destruct>|.component1#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval b: <implicit> = R|<local>/<destruct>|.component2#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval c: <implicit> = R|<local>/<destruct>|.component1#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval d: <implicit> = R|<local>/<destruct>|.component2#()
}
}
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -94,16 +85,7 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
public? final? const [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
when () {
Boolean(true) -> {
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval a: <implicit> = R|<local>/<destruct>|.component1#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval b: <implicit> = R|<local>/<destruct>|.component2#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval c: <implicit> = R|<local>/<destruct>|.component1#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval d: <implicit> = R|<local>/<destruct>|.component2#()
}
}
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -149,16 +131,7 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
public? final? const [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
when () {
Boolean(true) -> {
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval a: <implicit> = R|<local>/<destruct>|.component1#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval b: <implicit> = R|<local>/<destruct>|.component2#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval c: <implicit> = R|<local>/<destruct>|.component1#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval d: <implicit> = R|<local>/<destruct>|.component2#()
}
}
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -204,16 +177,7 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
public? final? const [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
when () {
Boolean(true) -> {
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval a: <implicit> = R|<local>/<destruct>|.component1#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval b: <implicit> = R|<local>/<destruct>|.component2#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval c: <implicit> = R|<local>/<destruct>|.component1#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval d: <implicit> = R|<local>/<destruct>|.component2#()
}
}
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -259,16 +223,7 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
public? final? const [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
when () {
Boolean(true) -> {
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval a: <implicit> = R|<local>/<destruct>|.component1#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval b: <implicit> = R|<local>/<destruct>|.component2#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval c: <implicit> = R|<local>/<destruct>|.component1#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval d: <implicit> = R|<local>/<destruct>|.component2#()
}
}
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -314,16 +269,7 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
public? final? const [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
when () {
Boolean(true) -> {
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval a: <implicit> = R|<local>/<destruct>|.component1#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval b: <implicit> = R|<local>/<destruct>|.component2#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval c: <implicit> = R|<local>/<destruct>|.component1#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval d: <implicit> = R|<local>/<destruct>|.component2#()
}
}
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -369,16 +315,7 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
public? final? const [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
when () {
Boolean(true) -> {
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval a: <implicit> = R|<local>/<destruct>|.component1#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval b: <implicit> = R|<local>/<destruct>|.component2#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval c: <implicit> = R|<local>/<destruct>|.component1#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval d: <implicit> = R|<local>/<destruct>|.component2#()
}
}
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -424,16 +361,7 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
public? final? const [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
when () {
Boolean(true) -> {
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval a: <implicit> = R|<local>/<destruct>|.component1#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval b: <implicit> = R|<local>/<destruct>|.component2#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval c: <implicit> = R|<local>/<destruct>|.component1#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval d: <implicit> = R|<local>/<destruct>|.component2#()
}
}
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -479,16 +407,7 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
public? final? const [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
when () {
Boolean(true) -> {
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval a: <implicit> = R|<local>/<destruct>|.component1#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval b: <implicit> = R|<local>/<destruct>|.component2#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval c: <implicit> = R|<local>/<destruct>|.component1#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval d: <implicit> = R|<local>/<destruct>|.component2#()
}
}
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -534,16 +453,7 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
public? final? const [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
when () {
Boolean(true) -> {
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval a: <implicit> = R|<local>/<destruct>|.component1#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval b: <implicit> = R|<local>/<destruct>|.component2#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval c: <implicit> = R|<local>/<destruct>|.component1#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval d: <implicit> = R|<local>/<destruct>|.component2#()
}
}
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -589,16 +499,7 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
public? final? const [ResolvedTo(RAW_FIR)] val prop: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
when () {
Boolean(true) -> {
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval a: <implicit> = R|<local>/<destruct>|.component1#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval b: <implicit> = R|<local>/<destruct>|.component2#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval <destruct>: <implicit> = Pair#(LAZY_EXPRESSION, LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval c: <implicit> = R|<local>/<destruct>|.component1#()
@Anno[Unresolved](LAZY_EXPRESSION) [ResolvedTo(RAW_FIR)] lval d: <implicit> = R|<local>/<destruct>|.component2#()
}
}
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -644,15 +545,18 @@ FILE: [ResolvedTo(IMPORTS)] scriptStatementLevel.kts
public final const [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val prop: R|kotlin/String| = String(str)
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
when () {
Boolean(true) -> {
@R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
@R|util/Anno|[Types](str = <strcat>(String(a ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval a: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|)) kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|)) kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
@R|util/Anno|[Types](str = <strcat>(String(b ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval b: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|)) kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|)) kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
@R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
@R|util/Anno|[Types](str = <strcat>(String(c ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval c: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|)) kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|)) kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
@R|util/Anno|[Types](str = <strcat>(String(d ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval d: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|)) kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|)) kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
[ResolvedTo(BODY_RESOLVE)] init {
when () {
Boolean(true) -> {
@R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
@R|util/Anno|[Types](str = <strcat>(String(a ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval a: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|)) kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|)) kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
@R|util/Anno|[Types](str = <strcat>(String(b ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval b: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|)) kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|)) kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
@R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
@R|util/Anno|[Types](str = <strcat>(String(c ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval c: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|)) kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|)) kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
@R|util/Anno|[Types](str = <strcat>(String(d ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval d: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|)) kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|)) kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
}
}
}
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
@@ -699,15 +603,18 @@ FILE: [ResolvedTo(BODY_RESOLVE)] scriptStatementLevel.kts
public final const [ResolvedTo(BODY_RESOLVE)] val prop: R|kotlin/String| = String(str)
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String|
when () {
Boolean(true) -> {
@R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
@R|util/Anno|[Types](str = <strcat>(String(a ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval a: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|)) kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|)) kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
@R|util/Anno|[Types](str = <strcat>(String(b ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval b: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|)) kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|)) kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
@R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
@R|util/Anno|[Types](str = <strcat>(String(c ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval c: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|)) kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|)) kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
@R|util/Anno|[Types](str = <strcat>(String(d ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval d: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|)) kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|)) kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
[ResolvedTo(BODY_RESOLVE)] init {
when () {
Boolean(true) -> {
@R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
@R|util/Anno|[Types](str = <strcat>(String(a ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval a: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|)) kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|)) kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
@R|util/Anno|[Types](str = <strcat>(String(b ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval b: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|)) kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|)) kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
@R|util/Anno|[Types](str = <strcat>(String(destr 1 ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|util/Pair| = R|util/Pair.Pair|(Null(null), Null(null))
@R|util/Anno|[Types](str = <strcat>(String(c ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval c: R|@R|util/Anno|(str = <strcat>(String(a type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(a nested type ), R|util/constant|)) kotlin/collections/Collection<@R|util/Anno|(str = <strcat>(String(a nested nested type ), R|util/constant|)) kotlin/String>>?| = R|<local>/<destruct>|.R|util/Pair.component1|()
@R|util/Anno|[Types](str = <strcat>(String(d ), R|util/prop|)) [ResolvedTo(BODY_RESOLVE)] lval d: R|@R|util/Anno|(str = <strcat>(String(b type ), R|util/constant|)) kotlin/Array<@R|util/Anno|(str = <strcat>(String(b nested type ), R|util/constant|)) kotlin/collections/List<@R|util/Anno|(str = <strcat>(String(b nested nested type ), R|util/constant|)) kotlin/Int>>?| = R|<local>/<destruct>|.R|util/Pair.component2|()
}
}
}
public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit| {
analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsPropagationScript.after.txt
Vendored
+4 -2
View File
@@ -23,7 +23,9 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
public [ResolvedTo(TYPES)] get(): <implicit>
analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsPropagationScript.before.txt
Vendored
+4 -2
View File
@@ -23,7 +23,9 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
public [ResolvedTo(TYPES)] get(): <implicit>
analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsPropagationScript.lazyResolve.txt
Vendored
+56 -26
View File
@@ -24,8 +24,10 @@ FILE: [ResolvedTo(RAW_FIR)] implicitTypeFromIncorrectAccessorsPropagationScript.
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
public [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -56,8 +58,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
public [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -88,8 +92,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
public [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -120,8 +126,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
public [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -152,8 +160,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
public [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -184,8 +194,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
public [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -216,8 +228,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
public [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -248,8 +262,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
public [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -280,8 +296,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
public [ResolvedTo(TYPES)] get(): <implicit>
@@ -312,8 +330,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
public [ResolvedTo(TYPES)] get(): <implicit>
@@ -344,8 +364,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
public [ResolvedTo(TYPES)] get(): <implicit>
@@ -376,8 +398,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsPropagationScript.
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
public [ResolvedTo(TYPES)] get(): <implicit>
@@ -408,7 +432,13 @@ FILE: [ResolvedTo(BODY_RESOLVE)] implicitTypeFromIncorrectAccessorsPropagationSc
public [ResolvedTo(BODY_RESOLVE)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
<Unresolved name: set>#(<Unresolved name: value>#)
@R|low/Anno|[Types](position = <strcat>(String(setter parameter type ), R|low/prop|)) Q|kotlin/collections/List|
[ResolvedTo(BODY_RESOLVE)] init {
<Unresolved name: set>#(<Unresolved name: value>#)
}
[ResolvedTo(BODY_RESOLVE)] init {
@R|low/Anno|[Types](position = <strcat>(String(setter parameter type ), R|low/prop|)) Q|kotlin/collections/List|
}
public final [ResolvedTo(BODY_RESOLVE)] val $$result: <ERROR TYPE REF: Unresolved name: value> = <Unresolved name: value>#
public [ResolvedTo(BODY_RESOLVE)] get(): <ERROR TYPE REF: Unresolved name: value>
analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsScript.after.txt
Vendored
+4 -2
View File
@@ -20,7 +20,9 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
public [ResolvedTo(TYPES)] get(): <implicit>
analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsScript.before.txt
Vendored
+4 -2
View File
@@ -20,7 +20,9 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
public [ResolvedTo(TYPES)] get(): <implicit>
analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/property/implicitTypeFromIncorrectAccessorsScript.lazyResolve.txt
Vendored
+56 -26
View File
@@ -21,8 +21,10 @@ FILE: [ResolvedTo(RAW_FIR)] implicitTypeFromIncorrectAccessorsScript.kts
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
public [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -50,8 +52,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
public [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -79,8 +83,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
public? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] get(): <implicit>
public? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] set([ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] value: <implicit>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
public [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -108,8 +114,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
public? [ResolvedTo(COMPANION_GENERATION)] get(): <implicit>
public? [ResolvedTo(COMPANION_GENERATION)] set([ResolvedTo(COMPANION_GENERATION)] value: <implicit>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
public [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -137,8 +145,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
public? [ResolvedTo(SUPER_TYPES)] get(): <implicit>
public? [ResolvedTo(SUPER_TYPES)] set([ResolvedTo(SUPER_TYPES)] value: <implicit>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
public [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -166,8 +176,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
public? [ResolvedTo(TYPES)] get(): <implicit>
public? [ResolvedTo(TYPES)] set([ResolvedTo(TYPES)] value: <implicit>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
public [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -195,8 +207,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
public [ResolvedTo(STATUS)] get(): <implicit>
public [ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] value: <implicit>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
public [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -224,8 +238,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] get(): <implicit>
public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] set([ResolvedTo(EXPECT_ACTUAL_MATCHING)] value: <implicit>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = value#
public [ResolvedTo(RAW_FIR)] get(): <implicit>
@@ -253,8 +269,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
public [ResolvedTo(CONTRACTS)] get(): <implicit>
public [ResolvedTo(CONTRACTS)] set([ResolvedTo(CONTRACTS)] value: <implicit>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
public [ResolvedTo(TYPES)] get(): <implicit>
@@ -282,8 +300,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
public [ResolvedTo(TYPES)] get(): <implicit>
@@ -311,8 +331,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
public [ResolvedTo(ANNOTATION_ARGUMENTS)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
public [ResolvedTo(ANNOTATION_ARGUMENTS)] set([ResolvedTo(ANNOTATION_ARGUMENTS)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
public [ResolvedTo(TYPES)] get(): <implicit>
@@ -340,8 +362,10 @@ FILE: [ResolvedTo(IMPORTS)] implicitTypeFromIncorrectAccessorsScript.kts
public [ResolvedTo(BODY_RESOLVE)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
set#(LAZY_EXPRESSION)
@Anno[Unresolved](LAZY_EXPRESSION) List#<@Anno[Unresolved](LAZY_EXPRESSION) Collection<@Anno[Unresolved](LAZY_EXPRESSION) String>>
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
[ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
public final [ResolvedTo(TYPES)] val $$result: <implicit> = value#
public [ResolvedTo(TYPES)] get(): <implicit>
@@ -369,7 +393,13 @@ FILE: [ResolvedTo(BODY_RESOLVE)] implicitTypeFromIncorrectAccessorsScript.kts
public [ResolvedTo(BODY_RESOLVE)] get(): <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>
public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: <ERROR TYPE REF: Cannot infer variable type without initializer / getter / delegate>): R|kotlin/Unit|
<Unresolved name: set>#(<Unresolved name: value>#)
@R|low/Anno|[Types](position = <strcat>(String(setter parameter type ), R|low/prop|)) Q|kotlin/collections/List|
[ResolvedTo(BODY_RESOLVE)] init {
<Unresolved name: set>#(<Unresolved name: value>#)
}
[ResolvedTo(BODY_RESOLVE)] init {
@R|low/Anno|[Types](position = <strcat>(String(setter parameter type ), R|low/prop|)) Q|kotlin/collections/List|
}
public final [ResolvedTo(BODY_RESOLVE)] val $$result: <ERROR TYPE REF: Unresolved name: value> = <Unresolved name: value>#
public [ResolvedTo(BODY_RESOLVE)] get(): <ERROR TYPE REF: Unresolved name: value>
compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/script.lazyBodies.txt
Vendored
+12 -5
View File
@@ -29,11 +29,18 @@ FILE: script.kts
public? final? fun build2(action: ( Builder.() -> Unit )): Builder { LAZY_BLOCK }
build#(<L> = LAZY_EXPRESSION)
+=(version#, IntegerLiteral(123))
init { LAZY_BLOCK }
init { LAZY_BLOCK }
public? final? val builder: <implicit> = LAZY_EXPRESSION
public? get(): <implicit>
println#()
builder#.version# = String()
builder#.execute#()
init { LAZY_BLOCK }
init { LAZY_BLOCK }
init {
builder#.execute#()
}
compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotation.annotationOwners.txt
Vendored
+6 -6
View File
@@ -1,23 +1,23 @@
@DestrAnno(<strcat>(String(destr 1 ), prop#))
owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts>
context -> FirPropertySymbol <local>/<destruct> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
context -> FirPropertySymbol <local>/<destruct> from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
@LeftAnno(<strcat>(String(a ), prop#))
owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts>
context -> FirPropertySymbol <local>/a from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
context -> FirPropertySymbol <local>/a from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
@RightAnno(<strcat>(String(b ), prop#))
owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts>
context -> FirPropertySymbol <local>/b from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
context -> FirPropertySymbol <local>/b from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
@Destr2Anno(<strcat>(String(destr 1 ), prop#))
owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts>
context -> FirPropertySymbol <local>/<destruct> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
context -> FirPropertySymbol <local>/<destruct> from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
@SecondLeftAnno(<strcat>(String(c ), prop#))
owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts>
context -> FirPropertySymbol <local>/c from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
context -> FirPropertySymbol <local>/c from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
@SecondRightAnno(<strcat>(String(d ), prop#))
owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts>
context -> FirPropertySymbol <local>/d from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
context -> FirPropertySymbol <local>/d from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotation.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotation.kts
compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotation.lazyBodies.txt
Vendored
+1 -10
View File
@@ -1,15 +1,6 @@
FILE: scriptStatementLevelDestructuringWithAnnotation.kts
SCRIPT: <script-scriptStatementLevelDestructuringWithAnnotation.kts>
when () {
Boolean(true) -> {
@DestrAnno(LAZY_EXPRESSION) lval <destruct>: <implicit> = IntegerLiteral(0).to#(IntegerLiteral(1))
@LeftAnno(LAZY_EXPRESSION) lval a: <implicit> = R|<local>/<destruct>|.component1#()
@RightAnno(LAZY_EXPRESSION) lval b: <implicit> = R|<local>/<destruct>|.component2#()
@Destr2Anno(LAZY_EXPRESSION) lval <destruct>: <implicit> = IntegerLiteral(2).to#(IntegerLiteral(3))
@SecondLeftAnno(LAZY_EXPRESSION) lval c: <implicit> = R|<local>/<destruct>|.component1#()
@SecondRightAnno(LAZY_EXPRESSION) lval d: <implicit> = R|<local>/<destruct>|.component2#()
}
}
init { LAZY_BLOCK }
public? final? fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotation.txt
Vendored
+11 -8
View File
@@ -1,15 +1,18 @@
FILE: scriptStatementLevelDestructuringWithAnnotation.kts
SCRIPT: <script-scriptStatementLevelDestructuringWithAnnotation.kts>
when () {
Boolean(true) -> {
@DestrAnno(<strcat>(String(destr 1 ), prop#)) lval <destruct>: <implicit> = IntegerLiteral(0).to#(IntegerLiteral(1))
@LeftAnno(<strcat>(String(a ), prop#)) lval a: <implicit> = R|<local>/<destruct>|.component1#()
@RightAnno(<strcat>(String(b ), prop#)) lval b: <implicit> = R|<local>/<destruct>|.component2#()
@Destr2Anno(<strcat>(String(destr 1 ), prop#)) lval <destruct>: <implicit> = IntegerLiteral(2).to#(IntegerLiteral(3))
@SecondLeftAnno(<strcat>(String(c ), prop#)) lval c: <implicit> = R|<local>/<destruct>|.component1#()
@SecondRightAnno(<strcat>(String(d ), prop#)) lval d: <implicit> = R|<local>/<destruct>|.component2#()
init {
when () {
Boolean(true) -> {
@DestrAnno(<strcat>(String(destr 1 ), prop#)) lval <destruct>: <implicit> = IntegerLiteral(0).to#(IntegerLiteral(1))
@LeftAnno(<strcat>(String(a ), prop#)) lval a: <implicit> = R|<local>/<destruct>|.component1#()
@RightAnno(<strcat>(String(b ), prop#)) lval b: <implicit> = R|<local>/<destruct>|.component2#()
@Destr2Anno(<strcat>(String(destr 1 ), prop#)) lval <destruct>: <implicit> = IntegerLiteral(2).to#(IntegerLiteral(3))
@SecondLeftAnno(<strcat>(String(c ), prop#)) lval c: <implicit> = R|<local>/<destruct>|.component1#()
@SecondRightAnno(<strcat>(String(d ), prop#)) lval d: <implicit> = R|<local>/<destruct>|.component2#()
}
}
}
public? final? fun foo(): R|kotlin/Unit| {
compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotationAsLastStatement.annotationOwners.txt
Vendored
+6 -6
View File
@@ -1,23 +1,23 @@
@DestrAnno(<strcat>(String(destr 1 ), prop#))
owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts>
context -> FirPropertySymbol <local>/<destruct> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
context -> FirPropertySymbol <local>/<destruct> from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
@LeftAnno(<strcat>(String(a ), prop#))
owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts>
context -> FirPropertySymbol <local>/a from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
context -> FirPropertySymbol <local>/a from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
@RightAnno(<strcat>(String(b ), prop#))
owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts>
context -> FirPropertySymbol <local>/b from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
context -> FirPropertySymbol <local>/b from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
@Destr2Anno(<strcat>(String(destr 1 ), prop#))
owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts>
context -> FirPropertySymbol <local>/<destruct> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
context -> FirPropertySymbol <local>/<destruct> from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
@SecondLeftAnno(<strcat>(String(c ), prop#))
owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts>
context -> FirPropertySymbol <local>/c from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
context -> FirPropertySymbol <local>/c from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
@SecondRightAnno(<strcat>(String(d ), prop#))
owner -> FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts>
context -> FirPropertySymbol <local>/d from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
context -> FirPropertySymbol <local>/d from FirAnonymousInitializerSymbol <init> from FirScriptSymbol util.<script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts> from FirFileSymbol scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotationAsLastStatement.lazyBodies.txt
Vendored
+12 -8
View File
@@ -1,13 +1,17 @@
FILE: scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
SCRIPT: <script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts>
when () {
Boolean(true) -> {
@DestrAnno(LAZY_EXPRESSION) lval <destruct>: <implicit> = IntegerLiteral(0).to#(IntegerLiteral(1))
@LeftAnno(LAZY_EXPRESSION) lval a: <implicit> = R|<local>/<destruct>|.component1#()
@RightAnno(LAZY_EXPRESSION) lval b: <implicit> = R|<local>/<destruct>|.component2#()
@Destr2Anno(LAZY_EXPRESSION) lval <destruct>: <implicit> = IntegerLiteral(2).to#(IntegerLiteral(3))
@SecondLeftAnno(LAZY_EXPRESSION) lval c: <implicit> = R|<local>/<destruct>|.component1#()
@SecondRightAnno(LAZY_EXPRESSION) lval d: <implicit> = R|<local>/<destruct>|.component2#()
init {
when () {
Boolean(true) -> {
@DestrAnno(LAZY_EXPRESSION) lval <destruct>: <implicit> = IntegerLiteral(0).to#(IntegerLiteral(1))
@LeftAnno(LAZY_EXPRESSION) lval a: <implicit> = R|<local>/<destruct>|.component1#()
@RightAnno(LAZY_EXPRESSION) lval b: <implicit> = R|<local>/<destruct>|.component2#()
@Destr2Anno(LAZY_EXPRESSION) lval <destruct>: <implicit> = IntegerLiteral(2).to#(IntegerLiteral(3))
@SecondLeftAnno(LAZY_EXPRESSION) lval c: <implicit> = R|<local>/<destruct>|.component1#()
@SecondRightAnno(LAZY_EXPRESSION) lval d: <implicit> = R|<local>/<destruct>|.component2#()
}
}
}
compiler/fir/raw-fir/psi2fir/testData/rawBuilder/declarations/scriptStatementLevelDestructuringWithAnnotationAsLastStatement.txt
Vendored
+12 -8
View File
@@ -1,13 +1,17 @@
FILE: scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts
SCRIPT: <script-scriptStatementLevelDestructuringWithAnnotationAsLastStatement.kts>
when () {
Boolean(true) -> {
@DestrAnno(<strcat>(String(destr 1 ), prop#)) lval <destruct>: <implicit> = IntegerLiteral(0).to#(IntegerLiteral(1))
@LeftAnno(<strcat>(String(a ), prop#)) lval a: <implicit> = R|<local>/<destruct>|.component1#()
@RightAnno(<strcat>(String(b ), prop#)) lval b: <implicit> = R|<local>/<destruct>|.component2#()
@Destr2Anno(<strcat>(String(destr 1 ), prop#)) lval <destruct>: <implicit> = IntegerLiteral(2).to#(IntegerLiteral(3))
@SecondLeftAnno(<strcat>(String(c ), prop#)) lval c: <implicit> = R|<local>/<destruct>|.component1#()
@SecondRightAnno(<strcat>(String(d ), prop#)) lval d: <implicit> = R|<local>/<destruct>|.component2#()
init {
when () {
Boolean(true) -> {
@DestrAnno(<strcat>(String(destr 1 ), prop#)) lval <destruct>: <implicit> = IntegerLiteral(0).to#(IntegerLiteral(1))
@LeftAnno(<strcat>(String(a ), prop#)) lval a: <implicit> = R|<local>/<destruct>|.component1#()
@RightAnno(<strcat>(String(b ), prop#)) lval b: <implicit> = R|<local>/<destruct>|.component2#()
@Destr2Anno(<strcat>(String(destr 1 ), prop#)) lval <destruct>: <implicit> = IntegerLiteral(2).to#(IntegerLiteral(3))
@SecondLeftAnno(<strcat>(String(c ), prop#)) lval c: <implicit> = R|<local>/<destruct>|.component1#()
@SecondRightAnno(<strcat>(String(d ), prop#)) lval d: <implicit> = R|<local>/<destruct>|.component2#()
}
}
}