diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/script2.kts b/analysis/low-level-api-fir/testdata/lazyResolve/script2.kts
new file mode 100644
index 00000000000..8065c6ea20a
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/script2.kts
@@ -0,0 +1,28 @@
+// RESOLVE_SCRIPT
+
+fun f(p: Int?): Int {
+    val fy = p!!
+    val fz = p + 1
+    return fz
+}
+
+fun consume(x: Int) {}
+
+val x: Int? = 1
+
+val y = x!!
+
+val z = x + 1
+
+fun foo() = x + 1
+
+consume(x + 1)
+x!!
+consume(x + 1)
+
+val zz = x + 1
+
+class A {
+    val cz = x + 1
+    fun bar() = x + 1
+}
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/script2.txt b/analysis/low-level-api-fir/testdata/lazyResolve/script2.txt
new file mode 100644
index 00000000000..ed21a43e73e
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/script2.txt
@@ -0,0 +1,476 @@
+RAW_FIR:
+FILE: [ResolvedTo(RAW_FIR)] script2.kts
+    public? final? [ResolvedTo(RAW_FIR)] fun f([ResolvedTo(RAW_FIR)] p: Int?): Int {
+        [ResolvedTo(RAW_FIR)] lval fy: <implicit> = p#!!
+        [ResolvedTo(RAW_FIR)] lval fz: <implicit> = p#.plus#(IntegerLiteral(1))
+        ^f fz#
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] x: Int): R|kotlin/Unit| {
+    }
+    public? final? [ResolvedTo(RAW_FIR)] val x: Int? = IntegerLiteral(1)
+        public? [ResolvedTo(RAW_FIR)] get(): Int?
+    public? final? [ResolvedTo(RAW_FIR)] val y: <implicit> = x#!!
+        public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public? final? [ResolvedTo(RAW_FIR)] val z: <implicit> = x#.plus#(IntegerLiteral(1))
+        public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+        ^foo x#.plus#(IntegerLiteral(1))
+    }
+    consume#(x#.plus#(IntegerLiteral(1)))x#!!consume#(x#.plus#(IntegerLiteral(1)))public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = x#.plus#(IntegerLiteral(1))
+        public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public? final? [ResolvedTo(RAW_FIR)] class A : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] constructor(): R|A| {
+            super<R|kotlin/Any|>()
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val cz: <implicit> = x#.plus#(IntegerLiteral(1))
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] get(): <implicit>
+
+        public? final? [ResolvedTo(RAW_FIR)] fun bar(): <implicit> {
+            ^bar x#.plus#(IntegerLiteral(1))
+        }
+
+    }
+    [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs
+IMPORTS:
+FILE: [ResolvedTo(IMPORTS)] script2.kts
+    public? final? [ResolvedTo(RAW_FIR)] fun f([ResolvedTo(RAW_FIR)] p: Int?): Int {
+        [ResolvedTo(RAW_FIR)] lval fy: <implicit> = p#!!
+        [ResolvedTo(RAW_FIR)] lval fz: <implicit> = p#.plus#(IntegerLiteral(1))
+        ^f fz#
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] x: Int): R|kotlin/Unit| {
+    }
+    public? final? [ResolvedTo(RAW_FIR)] val x: Int? = IntegerLiteral(1)
+        public? [ResolvedTo(RAW_FIR)] get(): Int?
+    public? final? [ResolvedTo(RAW_FIR)] val y: <implicit> = x#!!
+        public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public? final? [ResolvedTo(RAW_FIR)] val z: <implicit> = x#.plus#(IntegerLiteral(1))
+        public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+        ^foo x#.plus#(IntegerLiteral(1))
+    }
+    consume#(x#.plus#(IntegerLiteral(1)))x#!!consume#(x#.plus#(IntegerLiteral(1)))public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = x#.plus#(IntegerLiteral(1))
+        public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public? final? [ResolvedTo(RAW_FIR)] class A : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] constructor(): R|A| {
+            super<R|kotlin/Any|>()
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val cz: <implicit> = x#.plus#(IntegerLiteral(1))
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] get(): <implicit>
+
+        public? final? [ResolvedTo(RAW_FIR)] fun bar(): <implicit> {
+            ^bar x#.plus#(IntegerLiteral(1))
+        }
+
+    }
+    [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: [ResolvedTo(IMPORTS)] script2.kts
+    public? final? [ResolvedTo(RAW_FIR)] fun f([ResolvedTo(RAW_FIR)] p: Int?): Int {
+        [ResolvedTo(RAW_FIR)] lval fy: <implicit> = p#!!
+        [ResolvedTo(RAW_FIR)] lval fz: <implicit> = p#.plus#(IntegerLiteral(1))
+        ^f fz#
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] x: Int): R|kotlin/Unit| {
+    }
+    public? final? [ResolvedTo(RAW_FIR)] val x: Int? = IntegerLiteral(1)
+        public? [ResolvedTo(RAW_FIR)] get(): Int?
+    public? final? [ResolvedTo(RAW_FIR)] val y: <implicit> = x#!!
+        public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public? final? [ResolvedTo(RAW_FIR)] val z: <implicit> = x#.plus#(IntegerLiteral(1))
+        public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+        ^foo x#.plus#(IntegerLiteral(1))
+    }
+    consume#(x#.plus#(IntegerLiteral(1)))x#!!consume#(x#.plus#(IntegerLiteral(1)))public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = x#.plus#(IntegerLiteral(1))
+        public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public? final? [ResolvedTo(RAW_FIR)] class A : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] constructor(): R|A| {
+            super<R|kotlin/Any|>()
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val cz: <implicit> = x#.plus#(IntegerLiteral(1))
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] get(): <implicit>
+
+        public? final? [ResolvedTo(RAW_FIR)] fun bar(): <implicit> {
+            ^bar x#.plus#(IntegerLiteral(1))
+        }
+
+    }
+    [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs
+COMPANION_GENERATION:
+FILE: [ResolvedTo(IMPORTS)] script2.kts
+    public? final? [ResolvedTo(RAW_FIR)] fun f([ResolvedTo(RAW_FIR)] p: Int?): Int {
+        [ResolvedTo(RAW_FIR)] lval fy: <implicit> = p#!!
+        [ResolvedTo(RAW_FIR)] lval fz: <implicit> = p#.plus#(IntegerLiteral(1))
+        ^f fz#
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] x: Int): R|kotlin/Unit| {
+    }
+    public? final? [ResolvedTo(RAW_FIR)] val x: Int? = IntegerLiteral(1)
+        public? [ResolvedTo(RAW_FIR)] get(): Int?
+    public? final? [ResolvedTo(RAW_FIR)] val y: <implicit> = x#!!
+        public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public? final? [ResolvedTo(RAW_FIR)] val z: <implicit> = x#.plus#(IntegerLiteral(1))
+        public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+        ^foo x#.plus#(IntegerLiteral(1))
+    }
+    consume#(x#.plus#(IntegerLiteral(1)))x#!!consume#(x#.plus#(IntegerLiteral(1)))public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = x#.plus#(IntegerLiteral(1))
+        public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public? final? [ResolvedTo(RAW_FIR)] class A : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] constructor(): R|A| {
+            super<R|kotlin/Any|>()
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val cz: <implicit> = x#.plus#(IntegerLiteral(1))
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] get(): <implicit>
+
+        public? final? [ResolvedTo(RAW_FIR)] fun bar(): <implicit> {
+            ^bar x#.plus#(IntegerLiteral(1))
+        }
+
+    }
+    [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs
+SUPER_TYPES:
+FILE: [ResolvedTo(IMPORTS)] script2.kts
+    public? final? [ResolvedTo(RAW_FIR)] fun f([ResolvedTo(RAW_FIR)] p: Int?): Int {
+        [ResolvedTo(RAW_FIR)] lval fy: <implicit> = p#!!
+        [ResolvedTo(RAW_FIR)] lval fz: <implicit> = p#.plus#(IntegerLiteral(1))
+        ^f fz#
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] x: Int): R|kotlin/Unit| {
+    }
+    public? final? [ResolvedTo(RAW_FIR)] val x: Int? = IntegerLiteral(1)
+        public? [ResolvedTo(RAW_FIR)] get(): Int?
+    public? final? [ResolvedTo(RAW_FIR)] val y: <implicit> = x#!!
+        public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public? final? [ResolvedTo(RAW_FIR)] val z: <implicit> = x#.plus#(IntegerLiteral(1))
+        public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+        ^foo x#.plus#(IntegerLiteral(1))
+    }
+    consume#(x#.plus#(IntegerLiteral(1)))x#!!consume#(x#.plus#(IntegerLiteral(1)))public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = x#.plus#(IntegerLiteral(1))
+        public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public? final? [ResolvedTo(RAW_FIR)] class A : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] constructor(): R|A| {
+            super<R|kotlin/Any|>()
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val cz: <implicit> = x#.plus#(IntegerLiteral(1))
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] get(): <implicit>
+
+        public? final? [ResolvedTo(RAW_FIR)] fun bar(): <implicit> {
+            ^bar x#.plus#(IntegerLiteral(1))
+        }
+
+    }
+    [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|<script>@kotlin.script.templates.standard.ScriptTemplateWithArgs
+TYPES:
+FILE: [ResolvedTo(IMPORTS)] script2.kts
+    public? final? [ResolvedTo(RAW_FIR)] fun f([ResolvedTo(RAW_FIR)] p: R|kotlin/Int?|): R|kotlin/Int| {
+        [ResolvedTo(RAW_FIR)] lval fy: <implicit> = p#!!
+        [ResolvedTo(RAW_FIR)] lval fz: <implicit> = p#.plus#(IntegerLiteral(1))
+        ^f fz#
+    }
+    public? final? [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] x: R|kotlin/Int|): R|kotlin/Unit| {
+    }
+    public? final? [ResolvedTo(RAW_FIR)] val x: R|kotlin/Int?| = IntegerLiteral(1)
+        public? [ResolvedTo(RAW_FIR)] get(): R|kotlin/Int?|
+    public? final? [ResolvedTo(RAW_FIR)] val y: <implicit> = x#!!
+        public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public? final? [ResolvedTo(RAW_FIR)] val z: <implicit> = x#.plus#(IntegerLiteral(1))
+        public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public? final? [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+        ^foo x#.plus#(IntegerLiteral(1))
+    }
+    consume#(x#.plus#(IntegerLiteral(1)))x#!!consume#(x#.plus#(IntegerLiteral(1)))public? final? [ResolvedTo(RAW_FIR)] val zz: <implicit> = x#.plus#(IntegerLiteral(1))
+        public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public? final? [ResolvedTo(RAW_FIR)] class A : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] constructor(): R|A| {
+            super<R|kotlin/Any|>()
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val cz: <implicit> = x#.plus#(IntegerLiteral(1))
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] get(): <implicit>
+
+        public? final? [ResolvedTo(RAW_FIR)] fun bar(): <implicit> {
+            ^bar x#.plus#(IntegerLiteral(1))
+        }
+
+    }
+    [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|
+STATUS:
+FILE: [ResolvedTo(IMPORTS)] script2.kts
+    public final [ResolvedTo(RAW_FIR)] fun f([ResolvedTo(RAW_FIR)] p: R|kotlin/Int?|): R|kotlin/Int| {
+        [ResolvedTo(RAW_FIR)] lval fy: <implicit> = p#!!
+        [ResolvedTo(RAW_FIR)] lval fz: <implicit> = p#.plus#(IntegerLiteral(1))
+        ^f fz#
+    }
+    public final [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] x: R|kotlin/Int|): R|kotlin/Unit| {
+    }
+    public final [ResolvedTo(RAW_FIR)] val x: R|kotlin/Int?| = IntegerLiteral(1)
+        public [ResolvedTo(RAW_FIR)] get(): R|kotlin/Int?|
+    public final [ResolvedTo(RAW_FIR)] val y: <implicit> = x#!!
+        public [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public final [ResolvedTo(RAW_FIR)] val z: <implicit> = x#.plus#(IntegerLiteral(1))
+        public [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public final [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+        ^foo x#.plus#(IntegerLiteral(1))
+    }
+    consume#(x#.plus#(IntegerLiteral(1)))x#!!consume#(x#.plus#(IntegerLiteral(1)))public final [ResolvedTo(RAW_FIR)] val zz: <implicit> = x#.plus#(IntegerLiteral(1))
+        public [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public final [ResolvedTo(RAW_FIR)] class A : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] constructor(): R|A| {
+            super<R|kotlin/Any|>()
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val cz: <implicit> = x#.plus#(IntegerLiteral(1))
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] get(): <implicit>
+
+        public? final? [ResolvedTo(RAW_FIR)] fun bar(): <implicit> {
+            ^bar x#.plus#(IntegerLiteral(1))
+        }
+
+    }
+    [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|
+EXPECT_ACTUAL_MATCHING:
+FILE: [ResolvedTo(IMPORTS)] script2.kts
+    public final [ResolvedTo(RAW_FIR)] fun f([ResolvedTo(RAW_FIR)] p: R|kotlin/Int?|): R|kotlin/Int| {
+        [ResolvedTo(RAW_FIR)] lval fy: <implicit> = p#!!
+        [ResolvedTo(RAW_FIR)] lval fz: <implicit> = p#.plus#(IntegerLiteral(1))
+        ^f fz#
+    }
+    public final [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] x: R|kotlin/Int|): R|kotlin/Unit| {
+    }
+    public final [ResolvedTo(RAW_FIR)] val x: R|kotlin/Int?| = IntegerLiteral(1)
+        public [ResolvedTo(RAW_FIR)] get(): R|kotlin/Int?|
+    public final [ResolvedTo(RAW_FIR)] val y: <implicit> = x#!!
+        public [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public final [ResolvedTo(RAW_FIR)] val z: <implicit> = x#.plus#(IntegerLiteral(1))
+        public [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public final [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+        ^foo x#.plus#(IntegerLiteral(1))
+    }
+    consume#(x#.plus#(IntegerLiteral(1)))x#!!consume#(x#.plus#(IntegerLiteral(1)))public final [ResolvedTo(RAW_FIR)] val zz: <implicit> = x#.plus#(IntegerLiteral(1))
+        public [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public final [ResolvedTo(RAW_FIR)] class A : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] constructor(): R|A| {
+            super<R|kotlin/Any|>()
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val cz: <implicit> = x#.plus#(IntegerLiteral(1))
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] get(): <implicit>
+
+        public? final? [ResolvedTo(RAW_FIR)] fun bar(): <implicit> {
+            ^bar x#.plus#(IntegerLiteral(1))
+        }
+
+    }
+    [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|
+ARGUMENTS_OF_ANNOTATIONS:
+FILE: [ResolvedTo(IMPORTS)] script2.kts
+    public final [ResolvedTo(RAW_FIR)] fun f([ResolvedTo(RAW_FIR)] p: R|kotlin/Int?|): R|kotlin/Int| {
+        [ResolvedTo(RAW_FIR)] lval fy: <implicit> = p#!!
+        [ResolvedTo(RAW_FIR)] lval fz: <implicit> = p#.plus#(IntegerLiteral(1))
+        ^f fz#
+    }
+    public final [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] x: R|kotlin/Int|): R|kotlin/Unit| {
+    }
+    public final [ResolvedTo(RAW_FIR)] val x: R|kotlin/Int?| = IntegerLiteral(1)
+        public [ResolvedTo(RAW_FIR)] get(): R|kotlin/Int?|
+    public final [ResolvedTo(RAW_FIR)] val y: <implicit> = x#!!
+        public [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public final [ResolvedTo(RAW_FIR)] val z: <implicit> = x#.plus#(IntegerLiteral(1))
+        public [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public final [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+        ^foo x#.plus#(IntegerLiteral(1))
+    }
+    consume#(x#.plus#(IntegerLiteral(1)))x#!!consume#(x#.plus#(IntegerLiteral(1)))public final [ResolvedTo(RAW_FIR)] val zz: <implicit> = x#.plus#(IntegerLiteral(1))
+        public [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public final [ResolvedTo(RAW_FIR)] class A : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] constructor(): R|A| {
+            super<R|kotlin/Any|>()
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val cz: <implicit> = x#.plus#(IntegerLiteral(1))
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] get(): <implicit>
+
+        public? final? [ResolvedTo(RAW_FIR)] fun bar(): <implicit> {
+            ^bar x#.plus#(IntegerLiteral(1))
+        }
+
+    }
+    [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|
+CONTRACTS:
+FILE: [ResolvedTo(IMPORTS)] script2.kts
+    public final [ResolvedTo(RAW_FIR)] fun f([ResolvedTo(RAW_FIR)] p: R|kotlin/Int?|): R|kotlin/Int| {
+        [ResolvedTo(RAW_FIR)] lval fy: <implicit> = p#!!
+        [ResolvedTo(RAW_FIR)] lval fz: <implicit> = p#.plus#(IntegerLiteral(1))
+        ^f fz#
+    }
+    public final [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] x: R|kotlin/Int|): R|kotlin/Unit| {
+    }
+    public final [ResolvedTo(RAW_FIR)] val x: R|kotlin/Int?| = IntegerLiteral(1)
+        public [ResolvedTo(RAW_FIR)] get(): R|kotlin/Int?|
+    public final [ResolvedTo(RAW_FIR)] val y: <implicit> = x#!!
+        public [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public final [ResolvedTo(RAW_FIR)] val z: <implicit> = x#.plus#(IntegerLiteral(1))
+        public [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public final [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+        ^foo x#.plus#(IntegerLiteral(1))
+    }
+    consume#(x#.plus#(IntegerLiteral(1)))x#!!consume#(x#.plus#(IntegerLiteral(1)))public final [ResolvedTo(RAW_FIR)] val zz: <implicit> = x#.plus#(IntegerLiteral(1))
+        public [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public final [ResolvedTo(RAW_FIR)] class A : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] constructor(): R|A| {
+            super<R|kotlin/Any|>()
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val cz: <implicit> = x#.plus#(IntegerLiteral(1))
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] get(): <implicit>
+
+        public? final? [ResolvedTo(RAW_FIR)] fun bar(): <implicit> {
+            ^bar x#.plus#(IntegerLiteral(1))
+        }
+
+    }
+    [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|
+IMPLICIT_TYPES_BODY_RESOLVE:
+FILE: [ResolvedTo(IMPORTS)] script2.kts
+    public final [ResolvedTo(RAW_FIR)] fun f([ResolvedTo(RAW_FIR)] p: R|kotlin/Int?|): R|kotlin/Int| {
+        [ResolvedTo(RAW_FIR)] lval fy: <implicit> = p#!!
+        [ResolvedTo(RAW_FIR)] lval fz: <implicit> = p#.plus#(IntegerLiteral(1))
+        ^f fz#
+    }
+    public final [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] x: R|kotlin/Int|): R|kotlin/Unit| {
+    }
+    public final [ResolvedTo(RAW_FIR)] val x: R|kotlin/Int?| = IntegerLiteral(1)
+        public [ResolvedTo(RAW_FIR)] get(): R|kotlin/Int?|
+    public final [ResolvedTo(RAW_FIR)] val y: <implicit> = x#!!
+        public [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public final [ResolvedTo(RAW_FIR)] val z: <implicit> = x#.plus#(IntegerLiteral(1))
+        public [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public final [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+        ^foo x#.plus#(IntegerLiteral(1))
+    }
+    consume#(x#.plus#(IntegerLiteral(1)))x#!!consume#(x#.plus#(IntegerLiteral(1)))public final [ResolvedTo(RAW_FIR)] val zz: <implicit> = x#.plus#(IntegerLiteral(1))
+        public [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public final [ResolvedTo(RAW_FIR)] class A : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] constructor(): R|A| {
+            super<R|kotlin/Any|>()
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val cz: <implicit> = x#.plus#(IntegerLiteral(1))
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] get(): <implicit>
+
+        public? final? [ResolvedTo(RAW_FIR)] fun bar(): <implicit> {
+            ^bar x#.plus#(IntegerLiteral(1))
+        }
+
+    }
+    [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|
+ANNOTATIONS_ARGUMENTS_MAPPING:
+FILE: [ResolvedTo(IMPORTS)] script2.kts
+    public final [ResolvedTo(RAW_FIR)] fun f([ResolvedTo(RAW_FIR)] p: R|kotlin/Int?|): R|kotlin/Int| {
+        [ResolvedTo(RAW_FIR)] lval fy: <implicit> = p#!!
+        [ResolvedTo(RAW_FIR)] lval fz: <implicit> = p#.plus#(IntegerLiteral(1))
+        ^f fz#
+    }
+    public final [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] x: R|kotlin/Int|): R|kotlin/Unit| {
+    }
+    public final [ResolvedTo(RAW_FIR)] val x: R|kotlin/Int?| = IntegerLiteral(1)
+        public [ResolvedTo(RAW_FIR)] get(): R|kotlin/Int?|
+    public final [ResolvedTo(RAW_FIR)] val y: <implicit> = x#!!
+        public [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public final [ResolvedTo(RAW_FIR)] val z: <implicit> = x#.plus#(IntegerLiteral(1))
+        public [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public final [ResolvedTo(RAW_FIR)] fun foo(): <implicit> {
+        ^foo x#.plus#(IntegerLiteral(1))
+    }
+    consume#(x#.plus#(IntegerLiteral(1)))x#!!consume#(x#.plus#(IntegerLiteral(1)))public final [ResolvedTo(RAW_FIR)] val zz: <implicit> = x#.plus#(IntegerLiteral(1))
+        public [ResolvedTo(RAW_FIR)] get(): <implicit>
+    public final [ResolvedTo(RAW_FIR)] class A : R|kotlin/Any| {
+        public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] constructor(): R|A| {
+            super<R|kotlin/Any|>()
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] val cz: <implicit> = x#.plus#(IntegerLiteral(1))
+            public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=A] get(): <implicit>
+
+        public? final? [ResolvedTo(RAW_FIR)] fun bar(): <implicit> {
+            ^bar x#.plus#(IntegerLiteral(1))
+        }
+
+    }
+    [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|
+BODY_RESOLVE:
+FILE: [ResolvedTo(IMPORTS)] script2.kts
+    public final [ResolvedTo(RAW_FIR)] fun f([ResolvedTo(RAW_FIR)] p: R|kotlin/Int?|): R|kotlin/Int| {
+        [ResolvedTo(RAW_FIR)] lval fy: R|kotlin/Int| = R|<local>/p|!!
+        [ResolvedTo(RAW_FIR)] lval fz: R|kotlin/Int| = R|<local>/p|.R|kotlin/Int.plus|(Int(1))
+        ^f R|<local>/fz|
+    }
+    public final [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] x: R|kotlin/Int|): R|kotlin/Unit| {
+    }
+    public final [ResolvedTo(RAW_FIR)] val x: R|kotlin/Int?| = Int(1)
+        public [ResolvedTo(RAW_FIR)] get(): R|kotlin/Int?|
+    public final [ResolvedTo(RAW_FIR)] val y: R|kotlin/Int| = R|/x|!!
+        public [ResolvedTo(RAW_FIR)] get(): R|kotlin/Int|
+    public final [ResolvedTo(RAW_FIR)] val z: R|kotlin/Int| = R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1))
+        public [ResolvedTo(RAW_FIR)] get(): R|kotlin/Int|
+    public final [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Int| {
+        ^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)))public final [ResolvedTo(RAW_FIR)] val zz: R|kotlin/Int| = R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1))
+        public [ResolvedTo(RAW_FIR)] get(): R|kotlin/Int|
+    public final [ResolvedTo(STATUS)] class A : R|kotlin/Any| {
+        public [ResolvedTo(STATUS)] [ContainingClassKey=A] constructor(): R|A| {
+            super<R|kotlin/Any|>()
+        }
+
+        public final [ResolvedTo(STATUS)] val cz: R|kotlin/Int| = R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1))
+            public [ResolvedTo(STATUS)] [ContainingClassKey=A] get(): R|kotlin/Int|
+
+        public final [ResolvedTo(STATUS)] fun bar(): R|kotlin/Int| {
+            ^bar R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1))
+        }
+
+    }
+    [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|
+FILE RAW TO BODY:
+FILE: [ResolvedTo(IMPORTS)] script2.kts
+    public final [ResolvedTo(RAW_FIR)] fun f([ResolvedTo(RAW_FIR)] p: R|kotlin/Int?|): R|kotlin/Int| {
+        [ResolvedTo(RAW_FIR)] lval fy: R|kotlin/Int| = R|<local>/p|!!
+        [ResolvedTo(RAW_FIR)] lval fz: R|kotlin/Int| = R|<local>/p|.R|kotlin/Int.plus|(Int(1))
+        ^f R|<local>/fz|
+    }
+    public final [ResolvedTo(RAW_FIR)] fun consume([ResolvedTo(RAW_FIR)] x: R|kotlin/Int|): R|kotlin/Unit| {
+    }
+    public final [ResolvedTo(RAW_FIR)] val x: R|kotlin/Int?| = Int(1)
+        public [ResolvedTo(RAW_FIR)] get(): R|kotlin/Int?|
+    public final [ResolvedTo(RAW_FIR)] val y: R|kotlin/Int| = R|/x|!!
+        public [ResolvedTo(RAW_FIR)] get(): R|kotlin/Int|
+    public final [ResolvedTo(RAW_FIR)] val z: R|kotlin/Int| = R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1))
+        public [ResolvedTo(RAW_FIR)] get(): R|kotlin/Int|
+    public final [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Int| {
+        ^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)))public final [ResolvedTo(RAW_FIR)] val zz: R|kotlin/Int| = R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1))
+        public [ResolvedTo(RAW_FIR)] get(): R|kotlin/Int|
+    public final [ResolvedTo(STATUS)] class A : R|kotlin/Any| {
+        public [ResolvedTo(STATUS)] [ContainingClassKey=A] constructor(): R|A| {
+            super<R|kotlin/Any|>()
+        }
+
+        public final [ResolvedTo(STATUS)] val cz: R|kotlin/Int| = R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1))
+            public [ResolvedTo(STATUS)] [ContainingClassKey=A] get(): R|kotlin/Int|
+
+        public final [ResolvedTo(STATUS)] fun bar(): R|kotlin/Int| {
+            ^bar R|/x|.R|kotlin/Int.plus<Inapplicable(UNSAFE_CALL): kotlin/Int.plus>#|(Int(1))
+        }
+
+    }
+    [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<kotlin/String>|<script>@R|kotlin/script/templates/standard/ScriptTemplateWithArgs|
diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/FirScriptLazyDeclarationResolveTestGenerated.java b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/FirScriptLazyDeclarationResolveTestGenerated.java
index 2f36d3c696a..094df2d945e 100644
--- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/FirScriptLazyDeclarationResolveTestGenerated.java
+++ b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/FirScriptLazyDeclarationResolveTestGenerated.java
@@ -420,6 +420,12 @@ public class FirScriptLazyDeclarationResolveTestGenerated extends AbstractFirScr
         runTest("analysis/low-level-api-fir/testdata/lazyResolve/script.kts");
     }
 
+    @Test
+    @TestMetadata("script2.kts")
+    public void testScript2() throws Exception {
+        runTest("analysis/low-level-api-fir/testdata/lazyResolve/script2.kts");
+    }
+
     @Test
     @TestMetadata("secondaryConstructorParameterScript.kts")
     public void testSecondaryConstructorParameterScript() throws Exception {