diff --git a/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/KtFirCompositeScope.fir.txt b/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/KtFirCompositeScope.fir.txt
new file mode 100644
index 00000000000..e469b85bf08
--- /dev/null
+++ b/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/KtFirCompositeScope.fir.txt
@@ -0,0 +1,33 @@
+FILE: KtFirCompositeScope.kt
+    public abstract interface KtScope : R|kotlin/Any| {
+        public abstract fun getAllNames(): R|kotlin/collections/Set<kotlin/String>|
+
+    }
+    public final inline fun <E> buildSet(@R|kotlin/BuilderInference|() builderAction: R|kotlin/collections/MutableSet<E>.() -> kotlin/Unit|): R|kotlin/collections/Set<E>| {
+        ^buildSet Null(null)!!
+    }
+    public final inline fun <R> withValidityAssertion(action: R|() -> R|): R|R| {
+        ^withValidityAssertion R|<local>/action|.R|SubstitutionOverride<kotlin/Function0.invoke: R|R|>|()
+    }
+    public final class KtFirCompositeScope : R|kotlin/Any| {
+        public constructor(subScopes: R|kotlin/collections/List<KtScope>|): R|KtFirCompositeScope| {
+            super<R|kotlin/Any|>()
+        }
+
+        public final val subScopes: R|kotlin/collections/List<KtScope>| = R|<local>/subScopes|
+            public get(): R|kotlin/collections/List<KtScope>|
+
+        public final fun getAllNames(): R|kotlin/collections/Set<kotlin/String>| {
+            ^getAllNames R|/withValidityAssertion|<R|kotlin/collections/Set<kotlin/String>|>(<L> = withValidityAssertion@fun <anonymous>(): R|kotlin/collections/Set<kotlin/String>| <inline=Inline, kind=UNKNOWN>  {
+                ^ R|/buildSet|<R|kotlin/Any?|>(<L> = buildSet@fun R|kotlin/collections/MutableSet<kotlin/Any?>|.<anonymous>(): R|kotlin/Unit| <inline=Inline, kind=UNKNOWN>  {
+                    this@R|/KtFirCompositeScope|.R|/KtFirCompositeScope.subScopes|.R|kotlin/collections/flatMapTo|<R|KtScope|, R|kotlin/String|, R|it(kotlin/Unit & kotlin/collections/MutableCollection<in kotlin/String>)|>(this@R|special/anonymous|, <L> = flatMapTo@fun <anonymous>(it: R|KtScope|): R|kotlin/collections/Iterable<kotlin/String>| <inline=Inline, kind=UNKNOWN>  {
+                        ^ R|<local>/it|.R|/KtScope.getAllNames|()
+                    }
+                    )
+                }
+                )
+            }
+            )
+        }
+
+    }
diff --git a/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/KtFirCompositeScope.kt b/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/KtFirCompositeScope.kt
new file mode 100644
index 00000000000..12548ab432f
--- /dev/null
+++ b/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/KtFirCompositeScope.kt
@@ -0,0 +1,19 @@
+interface KtScope {
+    fun getAllNames(): Set<String>
+}
+
+inline fun <E> buildSet(@BuilderInference builderAction: MutableSet<E>.() -> Unit): Set<E> {
+    return null!!
+}
+
+inline fun <R> withValidityAssertion(action: () -> R): R {
+    return action()
+}
+
+class KtFirCompositeScope(val subScopes: List<KtScope>) {
+    fun getAllNames(): Set<String> = withValidityAssertion {
+        buildSet {
+            subScopes.flatMapTo(this) { it.getAllNames() }
+        }
+    }
+}
\ No newline at end of file
diff --git a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticTestGenerated.java b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticTestGenerated.java
index b395e14d13d..48fd47a05da 100644
--- a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticTestGenerated.java
+++ b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticTestGenerated.java
@@ -5259,6 +5259,12 @@ public class FirDiagnosticTestGenerated extends AbstractFirDiagnosticTest {
                 runTest("compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/KJKComplexHierarchyNestedLoop.kt");
             }
 
+            @Test
+            @TestMetadata("KtFirCompositeScope.kt")
+            public void testKtFirCompositeScope() throws Exception {
+                runTest("compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/KtFirCompositeScope.kt");
+            }
+
             @Test
             @TestMetadata("lightMember.kt")
             public void testLightMember() throws Exception {
diff --git a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticsWithLightTreeTestGenerated.java b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticsWithLightTreeTestGenerated.java
index 085d81a6e0a..4e8a00c2ae2 100644
--- a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticsWithLightTreeTestGenerated.java
+++ b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirDiagnosticsWithLightTreeTestGenerated.java
@@ -5336,6 +5336,12 @@ public class FirDiagnosticsWithLightTreeTestGenerated extends AbstractFirDiagnos
                 runTest("compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/KJKComplexHierarchyNestedLoop.kt");
             }
 
+            @Test
+            @TestMetadata("KtFirCompositeScope.kt")
+            public void testKtFirCompositeScope() throws Exception {
+                runTest("compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/KtFirCompositeScope.kt");
+            }
+
             @Test
             @TestMetadata("lightMember.kt")
             public void testLightMember() throws Exception {