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

[LL FIR] add more tests on lazy resolution for implicit type phase

Browse Source 
These tests demonstrate the implicit type phase problem - annotations
are also resolved, although they should not

^KT-56551
This commit is contained in:
Dmitrii Gridin
2023-09-22 15:45:11 +02:00
committed by Space Team
parent 2151e34de3
commit d4bc5dc717
56 changed files with 4812 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
analysis/low-level-api-fir/testData/fileStructure/secondLevelFunction2.lazy.resolve.txt
Vendored
+36
View File
@@ -0,0 +1,36 @@
FILE: [ResolvedTo(BODY_RESOLVE)] secondLevelFunction2.kts
context(<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|)
SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-secondLevelFunction2.kts>
[ResolvedTo(BODY_RESOLVE)] lval args: R|kotlin/Array<kotlin/String>|
public final [ResolvedTo(BODY_RESOLVE)] var x: R|kotlin/Int| = Int(0)
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|>()
}
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|
}
[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|)
}
}
public final [ResolvedTo(BODY_RESOLVE)] val $$result: R|kotlin/Int| = R|/x|
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|