[LL FIR] support lazy resolution tests for scripts with custom definition

^KT-66276
^KT-66232

analysis/low-level-api-fir/testData/lazyResolveCustomScriptDefinition/initWithProvidedProperties.test.kts

@@ -0,0 +1,5 @@
+// SCRIPT_PROVIDED_PROPERTIES: stringParameter: kotlin.String, fileParameter: java.io.File
+
+<caret>args[1] + stringParameter + fileParameter.path
+
+fun foo() {}

analysis/low-level-api-fir/testData/lazyResolveCustomScriptDefinition/initWithProvidedProperties.test.txt

@@ -0,0 +1,185 @@
+RAW_FIR:
+FILE: [ResolvedTo(RAW_FIR)] initWithProvidedProperties.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-initWithProvidedProperties.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: java.io.File
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
+
+
+IMPORTS:
+FILE: [ResolvedTo(IMPORTS)] initWithProvidedProperties.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-initWithProvidedProperties.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: java.io.File
+
+        [ResolvedTo(RAW_FIR)] init { LAZY_BLOCK }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
+
+
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: [ResolvedTo(IMPORTS)] initWithProvidedProperties.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-initWithProvidedProperties.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: java.io.File
+
+        [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] init { LAZY_BLOCK }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
+
+
+COMPANION_GENERATION:
+FILE: [ResolvedTo(IMPORTS)] initWithProvidedProperties.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-initWithProvidedProperties.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: java.io.File
+
+        [ResolvedTo(COMPANION_GENERATION)] init { LAZY_BLOCK }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
+
+
+SUPER_TYPES:
+FILE: [ResolvedTo(IMPORTS)] initWithProvidedProperties.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-initWithProvidedProperties.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: java.io.File
+
+        [ResolvedTo(SUPER_TYPES)] init { LAZY_BLOCK }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
+
+
+TYPES:
+FILE: [ResolvedTo(IMPORTS)] initWithProvidedProperties.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-initWithProvidedProperties.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: java.io.File
+
+        [ResolvedTo(TYPES)] init { LAZY_BLOCK }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
+
+
+STATUS:
+FILE: [ResolvedTo(IMPORTS)] initWithProvidedProperties.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-initWithProvidedProperties.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: java.io.File
+
+        [ResolvedTo(STATUS)] init { LAZY_BLOCK }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
+
+
+EXPECT_ACTUAL_MATCHING:
+FILE: [ResolvedTo(IMPORTS)] initWithProvidedProperties.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-initWithProvidedProperties.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: java.io.File
+
+        [ResolvedTo(EXPECT_ACTUAL_MATCHING)] init { LAZY_BLOCK }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
+
+
+CONTRACTS:
+FILE: [ResolvedTo(IMPORTS)] initWithProvidedProperties.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-initWithProvidedProperties.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(TYPES)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(TYPES)] lval fileParameter: R|java/io/File|
+
+        [ResolvedTo(CONTRACTS)] init { LAZY_BLOCK }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
+
+
+IMPLICIT_TYPES_BODY_RESOLVE:
+FILE: [ResolvedTo(IMPORTS)] initWithProvidedProperties.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-initWithProvidedProperties.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(TYPES)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(TYPES)] lval fileParameter: R|java/io/File|
+
+        [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] init { LAZY_BLOCK }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
+
+
+CONSTANT_EVALUATION:
+FILE: [ResolvedTo(IMPORTS)] initWithProvidedProperties.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-initWithProvidedProperties.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(TYPES)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(TYPES)] lval fileParameter: R|java/io/File|
+
+        [ResolvedTo(CONSTANT_EVALUATION)] init { LAZY_BLOCK }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
+
+
+ANNOTATION_ARGUMENTS:
+FILE: [ResolvedTo(IMPORTS)] initWithProvidedProperties.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-initWithProvidedProperties.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(TYPES)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(TYPES)] lval fileParameter: R|java/io/File|
+
+        [ResolvedTo(ANNOTATION_ARGUMENTS)] init { LAZY_BLOCK }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
+
+
+BODY_RESOLVE:
+FILE: [ResolvedTo(IMPORTS)] initWithProvidedProperties.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-initWithProvidedProperties.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(STATUS)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(STATUS)] lval fileParameter: R|java/io/File|
+
+        [ResolvedTo(BODY_RESOLVE)] init {
+            this@R|?|.R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript.args|.R|SubstitutionOverride<kotlin/Array.get: R|CapturedType(out kotlin/String)|>|(Int(1)).R|kotlin/String.plus|(R|<local>/stringParameter|).R|kotlin/String.plus|(R|<local>/fileParameter|.R|java/io/File.path|)
+        }
+
+        public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
+
+
+FILE RAW TO BODY:
+FILE: [ResolvedTo(BODY_RESOLVE)] initWithProvidedProperties.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-initWithProvidedProperties.test.kts>
+        [ResolvedTo(BODY_RESOLVE)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(BODY_RESOLVE)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(BODY_RESOLVE)] lval fileParameter: R|java/io/File|
+
+        [ResolvedTo(BODY_RESOLVE)] init {
+            this@R|?|.R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript.args|.R|SubstitutionOverride<kotlin/Array.get: R|CapturedType(out kotlin/String)|>|(Int(1)).R|kotlin/String.plus|(R|<local>/stringParameter|).R|kotlin/String.plus|(R|<local>/fileParameter|.R|java/io/File.path|)
+        }
+
+        public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit| {
+        }

analysis/low-level-api-fir/testData/lazyResolveCustomScriptDefinition/providedProperty.test.kts

@@ -0,0 +1,5 @@
+// RESOLVE_SCRIPT
+// MEMBER_NAME_FILTER: fileParameter
+// SCRIPT_PROVIDED_PROPERTIES: stringParameter: kotlin.String, fileParameter: java.io.File
+
+val rv = args[1] + stringParameter + fileParameter.path

analysis/low-level-api-fir/testData/lazyResolveCustomScriptDefinition/providedProperty.test.txt

@@ -0,0 +1,166 @@
+RAW_FIR:
+FILE: [ResolvedTo(RAW_FIR)] providedProperty.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedProperty.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: java.io.File
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+IMPORTS:
+FILE: [ResolvedTo(IMPORTS)] providedProperty.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedProperty.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: java.io.File
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: [ResolvedTo(IMPORTS)] providedProperty.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedProperty.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] lval fileParameter: java.io.File
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+COMPANION_GENERATION:
+FILE: [ResolvedTo(IMPORTS)] providedProperty.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedProperty.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(COMPANION_GENERATION)] lval fileParameter: java.io.File
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+SUPER_TYPES:
+FILE: [ResolvedTo(IMPORTS)] providedProperty.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedProperty.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(SUPER_TYPES)] lval fileParameter: java.io.File
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+TYPES:
+FILE: [ResolvedTo(IMPORTS)] providedProperty.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedProperty.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(TYPES)] lval fileParameter: R|java/io/File|
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+STATUS:
+FILE: [ResolvedTo(IMPORTS)] providedProperty.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedProperty.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(STATUS)] lval fileParameter: R|java/io/File|
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+EXPECT_ACTUAL_MATCHING:
+FILE: [ResolvedTo(IMPORTS)] providedProperty.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedProperty.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(EXPECT_ACTUAL_MATCHING)] lval fileParameter: R|java/io/File|
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+CONTRACTS:
+FILE: [ResolvedTo(IMPORTS)] providedProperty.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-providedProperty.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(TYPES)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(CONTRACTS)] lval fileParameter: R|java/io/File|
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+IMPLICIT_TYPES_BODY_RESOLVE:
+FILE: [ResolvedTo(IMPORTS)] providedProperty.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-providedProperty.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(TYPES)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] lval fileParameter: R|java/io/File|
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+CONSTANT_EVALUATION:
+FILE: [ResolvedTo(IMPORTS)] providedProperty.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-providedProperty.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(TYPES)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(CONSTANT_EVALUATION)] lval fileParameter: R|java/io/File|
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+ANNOTATION_ARGUMENTS:
+FILE: [ResolvedTo(IMPORTS)] providedProperty.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-providedProperty.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(TYPES)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(ANNOTATION_ARGUMENTS)] lval fileParameter: R|java/io/File|
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+BODY_RESOLVE:
+FILE: [ResolvedTo(IMPORTS)] providedProperty.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-providedProperty.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(TYPES)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(BODY_RESOLVE)] lval fileParameter: R|java/io/File|
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+FILE RAW TO BODY:
+FILE: [ResolvedTo(BODY_RESOLVE)] providedProperty.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-providedProperty.test.kts>
+        [ResolvedTo(BODY_RESOLVE)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(BODY_RESOLVE)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(BODY_RESOLVE)] lval fileParameter: R|java/io/File|
+
+        public final [ResolvedTo(BODY_RESOLVE)] val rv: R|kotlin/String| = this@R|?|.R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript.args|.R|SubstitutionOverride<kotlin/Array.get: R|CapturedType(out kotlin/String)|>|(Int(1)).R|kotlin/String.plus|(R|<local>/stringParameter|).R|kotlin/String.plus|(R|<local>/fileParameter|.R|java/io/File.path|)
+            public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String|

analysis/low-level-api-fir/testData/lazyResolveCustomScriptDefinition/providedPropertyWithDefaultImport.test.kts

@@ -0,0 +1,6 @@
+// RESOLVE_SCRIPT
+// MEMBER_NAME_FILTER: fileParameter
+// SCRIPT_DEFAULT_IMPORTS: java.io.File
+// SCRIPT_PROVIDED_PROPERTIES: stringParameter: String, fileParameter: File
+
+args[1] + stringParameter + fileParameter.path

analysis/low-level-api-fir/testData/lazyResolveCustomScriptDefinition/providedPropertyWithDefaultImport.test.txt

@@ -0,0 +1,166 @@
+RAW_FIR:
+FILE: [ResolvedTo(RAW_FIR)] providedPropertyWithDefaultImport.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedPropertyWithDefaultImport.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: File
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+IMPORTS:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithDefaultImport.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedPropertyWithDefaultImport.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: File
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithDefaultImport.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedPropertyWithDefaultImport.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: String
+        [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] lval fileParameter: File
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+COMPANION_GENERATION:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithDefaultImport.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedPropertyWithDefaultImport.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: String
+        [ResolvedTo(COMPANION_GENERATION)] lval fileParameter: File
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+SUPER_TYPES:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithDefaultImport.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedPropertyWithDefaultImport.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: String
+        [ResolvedTo(SUPER_TYPES)] lval fileParameter: File
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+TYPES:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithDefaultImport.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedPropertyWithDefaultImport.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: String
+        [ResolvedTo(TYPES)] lval fileParameter: R|java/io/File|
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+STATUS:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithDefaultImport.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedPropertyWithDefaultImport.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: String
+        [ResolvedTo(STATUS)] lval fileParameter: R|java/io/File|
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+EXPECT_ACTUAL_MATCHING:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithDefaultImport.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedPropertyWithDefaultImport.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: String
+        [ResolvedTo(EXPECT_ACTUAL_MATCHING)] lval fileParameter: R|java/io/File|
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+CONTRACTS:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithDefaultImport.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-providedPropertyWithDefaultImport.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(TYPES)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(CONTRACTS)] lval fileParameter: R|java/io/File|
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+IMPLICIT_TYPES_BODY_RESOLVE:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithDefaultImport.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-providedPropertyWithDefaultImport.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(TYPES)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] lval fileParameter: R|java/io/File|
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+CONSTANT_EVALUATION:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithDefaultImport.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-providedPropertyWithDefaultImport.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(TYPES)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(CONSTANT_EVALUATION)] lval fileParameter: R|java/io/File|
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+ANNOTATION_ARGUMENTS:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithDefaultImport.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-providedPropertyWithDefaultImport.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(TYPES)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(ANNOTATION_ARGUMENTS)] lval fileParameter: R|java/io/File|
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+BODY_RESOLVE:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithDefaultImport.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-providedPropertyWithDefaultImport.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(TYPES)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(BODY_RESOLVE)] lval fileParameter: R|java/io/File|
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+FILE RAW TO BODY:
+FILE: [ResolvedTo(BODY_RESOLVE)] providedPropertyWithDefaultImport.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-providedPropertyWithDefaultImport.test.kts>
+        [ResolvedTo(BODY_RESOLVE)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(BODY_RESOLVE)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(BODY_RESOLVE)] lval fileParameter: R|java/io/File|
+
+        public final [ResolvedTo(BODY_RESOLVE)] val $$result: R|kotlin/String| = this@R|?|.R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript.args|.R|SubstitutionOverride<kotlin/Array.get: R|CapturedType(out kotlin/String)|>|(Int(1)).R|kotlin/String.plus|(R|<local>/stringParameter|).R|kotlin/String.plus|(R|<local>/fileParameter|.R|java/io/File.path|)
+            public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String|

analysis/low-level-api-fir/testData/lazyResolveCustomScriptDefinition/providedPropertyWithoutDefaultImport.test.kts

@@ -0,0 +1,5 @@
+// RESOLVE_SCRIPT
+// MEMBER_NAME_FILTER: fileParameter
+// SCRIPT_PROVIDED_PROPERTIES: stringParameter: String, fileParameter: File
+
+args[1] + stringParameter + fileParameter.path

analysis/low-level-api-fir/testData/lazyResolveCustomScriptDefinition/providedPropertyWithoutDefaultImport.test.txt

@@ -0,0 +1,166 @@
+RAW_FIR:
+FILE: [ResolvedTo(RAW_FIR)] providedPropertyWithoutDefaultImport.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedPropertyWithoutDefaultImport.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: File
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+IMPORTS:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithoutDefaultImport.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedPropertyWithoutDefaultImport.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: File
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithoutDefaultImport.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedPropertyWithoutDefaultImport.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: String
+        [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] lval fileParameter: File
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+COMPANION_GENERATION:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithoutDefaultImport.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedPropertyWithoutDefaultImport.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: String
+        [ResolvedTo(COMPANION_GENERATION)] lval fileParameter: File
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+SUPER_TYPES:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithoutDefaultImport.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedPropertyWithoutDefaultImport.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: String
+        [ResolvedTo(SUPER_TYPES)] lval fileParameter: File
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+TYPES:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithoutDefaultImport.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedPropertyWithoutDefaultImport.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: String
+        [ResolvedTo(TYPES)] lval fileParameter: <ERROR TYPE REF: Symbol not found for File>
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+STATUS:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithoutDefaultImport.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedPropertyWithoutDefaultImport.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: String
+        [ResolvedTo(STATUS)] lval fileParameter: <ERROR TYPE REF: Symbol not found for File>
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+EXPECT_ACTUAL_MATCHING:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithoutDefaultImport.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-providedPropertyWithoutDefaultImport.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: String
+        [ResolvedTo(EXPECT_ACTUAL_MATCHING)] lval fileParameter: <ERROR TYPE REF: Symbol not found for File>
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+CONTRACTS:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithoutDefaultImport.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-providedPropertyWithoutDefaultImport.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(TYPES)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(CONTRACTS)] lval fileParameter: <ERROR TYPE REF: Symbol not found for File>
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+IMPLICIT_TYPES_BODY_RESOLVE:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithoutDefaultImport.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-providedPropertyWithoutDefaultImport.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(TYPES)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] lval fileParameter: <ERROR TYPE REF: Symbol not found for File>
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+CONSTANT_EVALUATION:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithoutDefaultImport.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-providedPropertyWithoutDefaultImport.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(TYPES)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(CONSTANT_EVALUATION)] lval fileParameter: <ERROR TYPE REF: Symbol not found for File>
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+ANNOTATION_ARGUMENTS:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithoutDefaultImport.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-providedPropertyWithoutDefaultImport.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(TYPES)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(ANNOTATION_ARGUMENTS)] lval fileParameter: <ERROR TYPE REF: Symbol not found for File>
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+BODY_RESOLVE:
+FILE: [ResolvedTo(IMPORTS)] providedPropertyWithoutDefaultImport.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-providedPropertyWithoutDefaultImport.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(TYPES)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(BODY_RESOLVE)] lval fileParameter: <ERROR TYPE REF: Symbol not found for File>
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+FILE RAW TO BODY:
+FILE: [ResolvedTo(BODY_RESOLVE)] providedPropertyWithoutDefaultImport.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-providedPropertyWithoutDefaultImport.test.kts>
+        [ResolvedTo(BODY_RESOLVE)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(BODY_RESOLVE)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(BODY_RESOLVE)] lval fileParameter: <ERROR TYPE REF: Symbol not found for File>
+
+        public final [ResolvedTo(BODY_RESOLVE)] val $$result: R|kotlin/String| = this@R|?|.R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript.args|.R|SubstitutionOverride<kotlin/Array.get: R|CapturedType(out kotlin/String)|>|(Int(1)).R|kotlin/String.plus|(R|<local>/stringParameter|).R|kotlin/String.plus|(R|<local>/fileParameter|.<Unresolved name: path>#)
+            public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String|

analysis/low-level-api-fir/testData/lazyResolveCustomScriptDefinition/resultWithProvidedProperties.test.kts

@@ -0,0 +1,5 @@
+// RESOLVE_SCRIPT
+// MEMBER_NAME_FILTER: $$result
+// SCRIPT_PROVIDED_PROPERTIES: stringParameter: kotlin.String, fileParameter: java.io.File
+
+args[1] + stringParameter + fileParameter.path

analysis/low-level-api-fir/testData/lazyResolveCustomScriptDefinition/resultWithProvidedProperties.test.txt

@@ -0,0 +1,166 @@
+RAW_FIR:
+FILE: [ResolvedTo(RAW_FIR)] resultWithProvidedProperties.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-resultWithProvidedProperties.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: java.io.File
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+IMPORTS:
+FILE: [ResolvedTo(IMPORTS)] resultWithProvidedProperties.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-resultWithProvidedProperties.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: java.io.File
+
+        public final [ResolvedTo(RAW_FIR)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: [ResolvedTo(IMPORTS)] resultWithProvidedProperties.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-resultWithProvidedProperties.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: java.io.File
+
+        public final [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] get(): <implicit>
+
+
+COMPANION_GENERATION:
+FILE: [ResolvedTo(IMPORTS)] resultWithProvidedProperties.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-resultWithProvidedProperties.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: java.io.File
+
+        public final [ResolvedTo(COMPANION_GENERATION)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(COMPANION_GENERATION)] get(): <implicit>
+
+
+SUPER_TYPES:
+FILE: [ResolvedTo(IMPORTS)] resultWithProvidedProperties.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-resultWithProvidedProperties.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: java.io.File
+
+        public final [ResolvedTo(SUPER_TYPES)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(SUPER_TYPES)] get(): <implicit>
+
+
+TYPES:
+FILE: [ResolvedTo(IMPORTS)] resultWithProvidedProperties.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-resultWithProvidedProperties.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: java.io.File
+
+        public final [ResolvedTo(TYPES)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(TYPES)] get(): <implicit>
+
+
+STATUS:
+FILE: [ResolvedTo(IMPORTS)] resultWithProvidedProperties.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-resultWithProvidedProperties.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: java.io.File
+
+        public final [ResolvedTo(STATUS)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(STATUS)] get(): <implicit>
+
+
+EXPECT_ACTUAL_MATCHING:
+FILE: [ResolvedTo(IMPORTS)] resultWithProvidedProperties.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-resultWithProvidedProperties.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: java.io.File
+
+        public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] get(): <implicit>
+
+
+CONTRACTS:
+FILE: [ResolvedTo(IMPORTS)] resultWithProvidedProperties.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-resultWithProvidedProperties.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(TYPES)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(TYPES)] lval fileParameter: R|java/io/File|
+
+        public final [ResolvedTo(CONTRACTS)] val $$result: <implicit> = args#.get#(IntegerLiteral(1)).plus#(stringParameter#).plus#(fileParameter#.path#)
+            public [ResolvedTo(CONTRACTS)] get(): <implicit>
+
+
+IMPLICIT_TYPES_BODY_RESOLVE:
+FILE: [ResolvedTo(IMPORTS)] resultWithProvidedProperties.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-resultWithProvidedProperties.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(STATUS)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(STATUS)] lval fileParameter: R|java/io/File|
+
+        public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val $$result: R|kotlin/String| = this@R|?|.R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript.args|.R|SubstitutionOverride<kotlin/Array.get: R|CapturedType(out kotlin/String)|>|(Int(1)).R|kotlin/String.plus|(R|<local>/stringParameter|).R|kotlin/String.plus|(R|<local>/fileParameter|.R|java/io/File.path|)
+            public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String|
+
+
+CONSTANT_EVALUATION:
+FILE: [ResolvedTo(IMPORTS)] resultWithProvidedProperties.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-resultWithProvidedProperties.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(STATUS)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(STATUS)] lval fileParameter: R|java/io/File|
+
+        public final [ResolvedTo(CONSTANT_EVALUATION)] val $$result: R|kotlin/String| = this@R|?|.R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript.args|.R|SubstitutionOverride<kotlin/Array.get: R|CapturedType(out kotlin/String)|>|(Int(1)).R|kotlin/String.plus|(R|<local>/stringParameter|).R|kotlin/String.plus|(R|<local>/fileParameter|.R|java/io/File.path|)
+            public [ResolvedTo(CONSTANT_EVALUATION)] get(): R|kotlin/String|
+
+
+ANNOTATION_ARGUMENTS:
+FILE: [ResolvedTo(IMPORTS)] resultWithProvidedProperties.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-resultWithProvidedProperties.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(STATUS)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(STATUS)] lval fileParameter: R|java/io/File|
+
+        public final [ResolvedTo(ANNOTATION_ARGUMENTS)] val $$result: R|kotlin/String| = this@R|?|.R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript.args|.R|SubstitutionOverride<kotlin/Array.get: R|CapturedType(out kotlin/String)|>|(Int(1)).R|kotlin/String.plus|(R|<local>/stringParameter|).R|kotlin/String.plus|(R|<local>/fileParameter|.R|java/io/File.path|)
+            public [ResolvedTo(ANNOTATION_ARGUMENTS)] get(): R|kotlin/String|
+
+
+BODY_RESOLVE:
+FILE: [ResolvedTo(IMPORTS)] resultWithProvidedProperties.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-resultWithProvidedProperties.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(STATUS)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(STATUS)] lval fileParameter: R|java/io/File|
+
+        public final [ResolvedTo(BODY_RESOLVE)] val $$result: R|kotlin/String| = this@R|?|.R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript.args|.R|SubstitutionOverride<kotlin/Array.get: R|CapturedType(out kotlin/String)|>|(Int(1)).R|kotlin/String.plus|(R|<local>/stringParameter|).R|kotlin/String.plus|(R|<local>/fileParameter|.R|java/io/File.path|)
+            public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String|
+
+
+FILE RAW TO BODY:
+FILE: [ResolvedTo(BODY_RESOLVE)] resultWithProvidedProperties.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-resultWithProvidedProperties.test.kts>
+        [ResolvedTo(BODY_RESOLVE)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(BODY_RESOLVE)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(BODY_RESOLVE)] lval fileParameter: R|java/io/File|
+
+        public final [ResolvedTo(BODY_RESOLVE)] val $$result: R|kotlin/String| = this@R|?|.R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript.args|.R|SubstitutionOverride<kotlin/Array.get: R|CapturedType(out kotlin/String)|>|(Int(1)).R|kotlin/String.plus|(R|<local>/stringParameter|).R|kotlin/String.plus|(R|<local>/fileParameter|.R|java/io/File.path|)
+            public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String|

analysis/low-level-api-fir/testData/lazyResolveCustomScriptDefinition/scriptWithProvidedProperties.test.kts

@@ -0,0 +1,4 @@
+// RESOLVE_SCRIPT
+// SCRIPT_PROVIDED_PROPERTIES: stringParameter: kotlin.String, fileParameter: java.io.File
+
+val rv = args[1] + stringParameter + fileParameter.path

analysis/low-level-api-fir/testData/lazyResolveCustomScriptDefinition/scriptWithProvidedProperties.test.txt

@@ -0,0 +1,166 @@
+RAW_FIR:
+FILE: [ResolvedTo(RAW_FIR)] scriptWithProvidedProperties.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-scriptWithProvidedProperties.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: java.io.File
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+IMPORTS:
+FILE: [ResolvedTo(IMPORTS)] scriptWithProvidedProperties.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(RAW_FIR)] <script-scriptWithProvidedProperties.test.kts>
+        [ResolvedTo(RAW_FIR)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(RAW_FIR)] lval stringParameter: kotlin.String
+        [ResolvedTo(RAW_FIR)] lval fileParameter: java.io.File
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: [ResolvedTo(IMPORTS)] scriptWithProvidedProperties.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] <script-scriptWithProvidedProperties.test.kts>
+        [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] lval stringParameter: kotlin.String
+        [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] lval fileParameter: java.io.File
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+COMPANION_GENERATION:
+FILE: [ResolvedTo(IMPORTS)] scriptWithProvidedProperties.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(COMPANION_GENERATION)] <script-scriptWithProvidedProperties.test.kts>
+        [ResolvedTo(COMPANION_GENERATION)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(COMPANION_GENERATION)] lval stringParameter: kotlin.String
+        [ResolvedTo(COMPANION_GENERATION)] lval fileParameter: java.io.File
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+SUPER_TYPES:
+FILE: [ResolvedTo(IMPORTS)] scriptWithProvidedProperties.test.kts
+    context(<script>@org.jetbrains.kotlin.scripting.test.definition.ConfigurableTestScript)
+    SCRIPT: [ResolvedTo(SUPER_TYPES)] <script-scriptWithProvidedProperties.test.kts>
+        [ResolvedTo(SUPER_TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(SUPER_TYPES)] lval stringParameter: kotlin.String
+        [ResolvedTo(SUPER_TYPES)] lval fileParameter: java.io.File
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+TYPES:
+FILE: [ResolvedTo(IMPORTS)] scriptWithProvidedProperties.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(TYPES)] <script-scriptWithProvidedProperties.test.kts>
+        [ResolvedTo(TYPES)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(TYPES)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(TYPES)] lval fileParameter: R|java/io/File|
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+STATUS:
+FILE: [ResolvedTo(IMPORTS)] scriptWithProvidedProperties.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(STATUS)] <script-scriptWithProvidedProperties.test.kts>
+        [ResolvedTo(STATUS)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(STATUS)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(STATUS)] lval fileParameter: R|java/io/File|
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+EXPECT_ACTUAL_MATCHING:
+FILE: [ResolvedTo(IMPORTS)] scriptWithProvidedProperties.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(EXPECT_ACTUAL_MATCHING)] <script-scriptWithProvidedProperties.test.kts>
+        [ResolvedTo(EXPECT_ACTUAL_MATCHING)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(EXPECT_ACTUAL_MATCHING)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(EXPECT_ACTUAL_MATCHING)] lval fileParameter: R|java/io/File|
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+CONTRACTS:
+FILE: [ResolvedTo(IMPORTS)] scriptWithProvidedProperties.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(CONTRACTS)] <script-scriptWithProvidedProperties.test.kts>
+        [ResolvedTo(CONTRACTS)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(CONTRACTS)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(CONTRACTS)] lval fileParameter: R|java/io/File|
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+IMPLICIT_TYPES_BODY_RESOLVE:
+FILE: [ResolvedTo(IMPORTS)] scriptWithProvidedProperties.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] <script-scriptWithProvidedProperties.test.kts>
+        [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] lval fileParameter: R|java/io/File|
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+CONSTANT_EVALUATION:
+FILE: [ResolvedTo(IMPORTS)] scriptWithProvidedProperties.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(CONSTANT_EVALUATION)] <script-scriptWithProvidedProperties.test.kts>
+        [ResolvedTo(CONSTANT_EVALUATION)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(CONSTANT_EVALUATION)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(CONSTANT_EVALUATION)] lval fileParameter: R|java/io/File|
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+ANNOTATION_ARGUMENTS:
+FILE: [ResolvedTo(IMPORTS)] scriptWithProvidedProperties.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(ANNOTATION_ARGUMENTS)] <script-scriptWithProvidedProperties.test.kts>
+        [ResolvedTo(ANNOTATION_ARGUMENTS)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(ANNOTATION_ARGUMENTS)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(ANNOTATION_ARGUMENTS)] lval fileParameter: R|java/io/File|
+
+        public? final? [ResolvedTo(RAW_FIR)] val rv: <implicit> = LAZY_EXPRESSION
+            public? [ResolvedTo(RAW_FIR)] get(): <implicit>
+
+
+BODY_RESOLVE:
+FILE: [ResolvedTo(IMPORTS)] scriptWithProvidedProperties.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-scriptWithProvidedProperties.test.kts>
+        [ResolvedTo(ANNOTATION_ARGUMENTS)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(ANNOTATION_ARGUMENTS)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(ANNOTATION_ARGUMENTS)] lval fileParameter: R|java/io/File|
+
+        public final [ResolvedTo(BODY_RESOLVE)] val rv: R|kotlin/String| = this@R|?|.R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript.args|.R|SubstitutionOverride<kotlin/Array.get: R|CapturedType(out kotlin/String)|>|(Int(1)).R|kotlin/String.plus|(R|<local>/stringParameter|).R|kotlin/String.plus|(R|<local>/fileParameter|.R|java/io/File.path|)
+            public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String|
+
+
+FILE RAW TO BODY:
+FILE: [ResolvedTo(BODY_RESOLVE)] scriptWithProvidedProperties.test.kts
+    context(<script>@R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript|)
+    SCRIPT: [ResolvedTo(BODY_RESOLVE)] <script-scriptWithProvidedProperties.test.kts>
+        [ResolvedTo(BODY_RESOLVE)] lval args: R|kotlin/Array<out kotlin/String>|
+        [ResolvedTo(BODY_RESOLVE)] lval stringParameter: R|kotlin/String|
+        [ResolvedTo(BODY_RESOLVE)] lval fileParameter: R|java/io/File|
+
+        public final [ResolvedTo(BODY_RESOLVE)] val rv: R|kotlin/String| = this@R|?|.R|org/jetbrains/kotlin/scripting/test/definition/ConfigurableTestScript.args|.R|SubstitutionOverride<kotlin/Array.get: R|CapturedType(out kotlin/String)|>|(Int(1)).R|kotlin/String.plus|(R|<local>/stringParameter|).R|kotlin/String.plus|(R|<local>/fileParameter|.R|java/io/File.path|)
+            public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String|

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/AbstractFirLazyDeclarationResolveTest.kt

@@ -6,9 +6,11 @@
 package org.jetbrains.kotlin.analysis.low.level.api.fir
 
 import org.jetbrains.kotlin.analysis.low.level.api.fir.api.LLFirResolveSession
+import org.jetbrains.kotlin.analysis.low.level.api.fir.test.configurators.AnalysisApiFirCustomScriptDefinitionTestConfigurator
 import org.jetbrains.kotlin.analysis.low.level.api.fir.test.configurators.AnalysisApiFirOutOfContentRootTestConfigurator
 import org.jetbrains.kotlin.analysis.low.level.api.fir.test.configurators.AnalysisApiFirScriptTestConfigurator
 import org.jetbrains.kotlin.analysis.low.level.api.fir.test.configurators.AnalysisApiFirSourceTestConfigurator
+import org.jetbrains.kotlin.analysis.test.framework.test.configurators.AnalysisApiTestConfigurator
 import org.jetbrains.kotlin.psi.KtFile
 import org.jetbrains.kotlin.test.builders.TestConfigurationBuilder
 import org.jetbrains.kotlin.test.directives.ConfigurationDirectives.WITH_STDLIB
@@ -57,3 +59,9 @@ abstract class AbstractFirOutOfContentRootLazyDeclarationResolveTest : AbstractF
 abstract class AbstractFirScriptLazyDeclarationResolveTest : AbstractFirLazyDeclarationResolveTest() {
     override val configurator = AnalysisApiFirScriptTestConfigurator(analyseInDependentSession = false)
 }
+
+abstract class AbstractFirCustomScriptDefinitionLazyDeclarationResolveTest : AbstractFirLazyDeclarationResolveTest() {
+    override val configurator: AnalysisApiTestConfigurator = AnalysisApiFirCustomScriptDefinitionTestConfigurator(
+        analyseInDependentSession = false,
+    )
+}

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/FirCustomScriptDefinitionLazyDeclarationResolveTestGenerated.java

@@ -0,0 +1,61 @@
+/*
+ * Copyright 2010-2024 JetBrains s.r.o. and Kotlin Programming Language contributors.
+ * Use of this source code is governed by the Apache 2.0 license that can be found in the license/LICENSE.txt file.
+ */
+
+package org.jetbrains.kotlin.analysis.low.level.api.fir;
+
+import com.intellij.testFramework.TestDataPath;
+import org.jetbrains.kotlin.test.util.KtTestUtil;
+import org.jetbrains.kotlin.test.TestMetadata;
+import org.junit.jupiter.api.Test;
+
+import java.io.File;
+import java.util.regex.Pattern;
+
+/** This class is generated by {@link org.jetbrains.kotlin.generators.tests.analysis.api.GenerateAnalysisApiTestsKt}. DO NOT MODIFY MANUALLY */
+@SuppressWarnings("all")
+@TestMetadata("analysis/low-level-api-fir/testData/lazyResolveCustomScriptDefinition")
+@TestDataPath("$PROJECT_ROOT")
+public class FirCustomScriptDefinitionLazyDeclarationResolveTestGenerated extends AbstractFirCustomScriptDefinitionLazyDeclarationResolveTest {
+  @Test
+  public void testAllFilesPresentInLazyResolveCustomScriptDefinition() {
+    KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("analysis/low-level-api-fir/testData/lazyResolveCustomScriptDefinition"), Pattern.compile("^(.+)\\.(kts)$"), null, true);
+  }
+
+  @Test
+  @TestMetadata("initWithProvidedProperties.test.kts")
+  public void testInitWithProvidedProperties_test() {
+    runTest("analysis/low-level-api-fir/testData/lazyResolveCustomScriptDefinition/initWithProvidedProperties.test.kts");
+  }
+
+  @Test
+  @TestMetadata("providedPropertyWithDefaultImport.test.kts")
+  public void testProvidedPropertyWithDefaultImport_test() {
+    runTest("analysis/low-level-api-fir/testData/lazyResolveCustomScriptDefinition/providedPropertyWithDefaultImport.test.kts");
+  }
+
+  @Test
+  @TestMetadata("providedPropertyWithoutDefaultImport.test.kts")
+  public void testProvidedPropertyWithoutDefaultImport_test() {
+    runTest("analysis/low-level-api-fir/testData/lazyResolveCustomScriptDefinition/providedPropertyWithoutDefaultImport.test.kts");
+  }
+
+  @Test
+  @TestMetadata("providedProperty.test.kts")
+  public void testProvidedProperty_test() {
+    runTest("analysis/low-level-api-fir/testData/lazyResolveCustomScriptDefinition/providedProperty.test.kts");
+  }
+
+  @Test
+  @TestMetadata("resultWithProvidedProperties.test.kts")
+  public void testResultWithProvidedProperties_test() {
+    runTest("analysis/low-level-api-fir/testData/lazyResolveCustomScriptDefinition/resultWithProvidedProperties.test.kts");
+  }
+
+  @Test
+  @TestMetadata("scriptWithProvidedProperties.test.kts")
+  public void testScriptWithProvidedProperties_test() {
+    runTest("analysis/low-level-api-fir/testData/lazyResolveCustomScriptDefinition/scriptWithProvidedProperties.test.kts");
+  }
+}

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/AbstractLLFirPreresolvedReversedScriptDiagnosticCompilerTestDataTest.kt

@@ -5,14 +5,12 @@
 
 package org.jetbrains.kotlin.analysis.low.level.api.fir.diagnostic.compiler.based
 
-import org.jetbrains.kotlin.scripting.test.configureWithCustomScriptDef
 import org.jetbrains.kotlin.test.builders.TestConfigurationBuilder
 
 abstract class AbstractLLFirPreresolvedReversedScriptDiagnosticCompilerTestDataTest :
     AbstractLLFirPreresolvedReversedDiagnosticCompilerTestDataTest() {
     override fun configureTest(builder: TestConfigurationBuilder) {
         super.configureTest(builder)
-        builder.configureWithCustomScriptDef()
-        builder.useConfigurators(::CustomScriptDefinitionEnvironmentConfigurator)
+        builder.configureCustomScriptDefinitions()
     }
 }

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/AbstractLLFirScriptDiagnosticCompilerTestDataTest.kt

@@ -20,11 +20,15 @@ import kotlin.script.experimental.jvm.defaultJvmScriptingHostConfiguration
 abstract class AbstractLLFirScriptDiagnosticCompilerTestDataTest : AbstractDiagnosticCompilerTestDataTest() {
     override fun configureTest(builder: TestConfigurationBuilder) {
         super.configureTest(builder)
-        builder.configureWithCustomScriptDef()
-        builder.useConfigurators(::CustomScriptDefinitionEnvironmentConfigurator)
+        builder.configureCustomScriptDefinitions()
     }
 }
 
+internal fun TestConfigurationBuilder.configureCustomScriptDefinitions() {
+    configureWithCustomScriptDef()
+    useConfigurators(::CustomScriptDefinitionEnvironmentConfigurator)
+}
+
 internal class CustomScriptDefinitionEnvironmentConfigurator(testServices: TestServices) : EnvironmentConfigurator(testServices) {
     override fun legacyRegisterCompilerExtensions(project: Project, module: TestModule, configuration: CompilerConfiguration) {
         val hostConfiguration = ScriptingHostConfiguration(defaultJvmScriptingHostConfiguration) {}

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/test/configurators/AnalysisApiFirCustomScriptDefinitionTestConfigurator.kt

@@ -0,0 +1,18 @@
+/*
+ * Copyright 2010-2024 JetBrains s.r.o. and Kotlin Programming Language contributors.
+ * Use of this source code is governed by the Apache 2.0 license that can be found in the license/LICENSE.txt file.
+ */
+
+package org.jetbrains.kotlin.analysis.low.level.api.fir.test.configurators
+
+import com.intellij.openapi.Disposable
+import org.jetbrains.kotlin.analysis.low.level.api.fir.diagnostic.compiler.based.configureCustomScriptDefinitions
+import org.jetbrains.kotlin.test.builders.TestConfigurationBuilder
+
+class AnalysisApiFirCustomScriptDefinitionTestConfigurator(analyseInDependentSession: Boolean) :
+    AnalysisApiFirScriptTestConfigurator(analyseInDependentSession) {
+    override fun configureTest(builder: TestConfigurationBuilder, disposable: Disposable) {
+        super.configureTest(builder, disposable)
+        builder.configureCustomScriptDefinitions()
+    }
+}

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/test/configurators/AnalysisApiFirScriptTestConfigurator.kt

@@ -1,5 +1,5 @@
 /*
- * Copyright 2010-2023 JetBrains s.r.o. and Kotlin Programming Language contributors.
+ * Copyright 2010-2024 JetBrains s.r.o. and Kotlin Programming Language contributors.
  * Use of this source code is governed by the Apache 2.0 license that can be found in the license/LICENSE.txt file.
  */
 
@@ -7,12 +7,12 @@ package org.jetbrains.kotlin.analysis.low.level.api.fir.test.configurators
 
 import com.intellij.openapi.Disposable
 import org.jetbrains.kotlin.analysis.api.impl.base.test.configurators.AnalysisApiScriptTestServiceRegistrar
-import org.jetbrains.kotlin.analysis.test.framework.project.structure.KtTestModuleFactory
 import org.jetbrains.kotlin.analysis.test.framework.project.structure.KtScriptTestModuleFactory
+import org.jetbrains.kotlin.analysis.test.framework.project.structure.KtTestModuleFactory
 import org.jetbrains.kotlin.analysis.test.framework.test.configurators.AnalysisApiTestServiceRegistrar
 import org.jetbrains.kotlin.test.builders.TestConfigurationBuilder
 
-class AnalysisApiFirScriptTestConfigurator(analyseInDependentSession: Boolean) :
+open class AnalysisApiFirScriptTestConfigurator(analyseInDependentSession: Boolean) :
     AnalysisApiFirSourceLikeTestConfigurator(analyseInDependentSession) {
     override fun configureTest(builder: TestConfigurationBuilder, disposable: Disposable) {
         super.configureTest(builder, disposable)

generators/analysis-api-generator/tests/org/jetbrains/kotlin/generators/tests/analysis/api/firLowLevel.kt

@@ -16,9 +16,9 @@ import org.jetbrains.kotlin.analysis.low.level.api.fir.diagnostic.compiler.based
 import org.jetbrains.kotlin.analysis.low.level.api.fir.diagnostic.compiler.based.AbstractLLFirDiagnosticCompilerTestDataSpecTest
 import org.jetbrains.kotlin.analysis.low.level.api.fir.diagnostic.compiler.based.AbstractLLFirPreresolvedReversedDiagnosticCompilerTestDataSpecTest
 import org.jetbrains.kotlin.analysis.low.level.api.fir.diagnostic.compiler.based.AbstractLLFirPreresolvedReversedDiagnosticCompilerTestDataTest
+import org.jetbrains.kotlin.analysis.low.level.api.fir.diagnostic.compiler.based.AbstractLLFirPreresolvedReversedScriptDiagnosticCompilerTestDataTest
 import org.jetbrains.kotlin.analysis.low.level.api.fir.diagnostic.compiler.based.AbstractLLFirReversedBlackBoxCodegenBasedTest
 import org.jetbrains.kotlin.analysis.low.level.api.fir.diagnostic.compiler.based.AbstractLLFirScriptDiagnosticCompilerTestDataTest
-import org.jetbrains.kotlin.analysis.low.level.api.fir.diagnostic.compiler.based.AbstractLLFirPreresolvedReversedScriptDiagnosticCompilerTestDataTest
 import org.jetbrains.kotlin.analysis.low.level.api.fir.file.structure.*
 import org.jetbrains.kotlin.analysis.low.level.api.fir.resolve.AbstractErrorResistanceTest
 import org.jetbrains.kotlin.analysis.low.level.api.fir.resolve.AbstractOutOfContentRootLazyDeclarationResolveScopeBasedTest
@@ -69,6 +69,10 @@ internal fun TestGroupSuite.generateFirLowLevelApiTests() {
             model("lazyResolve", pattern = TestGeneratorUtil.KTS)
         }
 
+        testClass<AbstractFirCustomScriptDefinitionLazyDeclarationResolveTest> {
+            model("lazyResolveCustomScriptDefinition", pattern = TestGeneratorUtil.KTS)
+        }
+
         testClass<AbstractSourceLazyTypeAnnotationsTest> {
             model("lazyResolveTypeAnnotations", pattern = TestGeneratorUtil.KT)
         }