diff --git a/analysis/analysis-api-fe10/tests-gen/org/jetbrains/kotlin/analysis/api/fe10/test/cases/generated/cases/components/diagnosticProvider/Fe10IdeNormalAnalysisSourceModuleCollectDiagnosticsTestGenerated.java b/analysis/analysis-api-fe10/tests-gen/org/jetbrains/kotlin/analysis/api/fe10/test/cases/generated/cases/components/diagnosticProvider/Fe10IdeNormalAnalysisSourceModuleCollectDiagnosticsTestGenerated.java
index 98e238eb204..25055bc88b9 100644
--- a/analysis/analysis-api-fe10/tests-gen/org/jetbrains/kotlin/analysis/api/fe10/test/cases/generated/cases/components/diagnosticProvider/Fe10IdeNormalAnalysisSourceModuleCollectDiagnosticsTestGenerated.java
+++ b/analysis/analysis-api-fe10/tests-gen/org/jetbrains/kotlin/analysis/api/fe10/test/cases/generated/cases/components/diagnosticProvider/Fe10IdeNormalAnalysisSourceModuleCollectDiagnosticsTestGenerated.java
@@ -64,6 +64,12 @@ public class Fe10IdeNormalAnalysisSourceModuleCollectDiagnosticsTestGenerated ex
         runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/duplicatedCallableWithImplicitType.kt");
     }
 
+    @Test
+    @TestMetadata("errorsInFunctionalInterfacesInstances.kt")
+    public void testErrorsInFunctionalInterfacesInstances() throws Exception {
+        runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/errorsInFunctionalInterfacesInstances.kt");
+    }
+
     @Test
     @TestMetadata("incompleteDelegation.kt")
     public void testIncompleteDelegation() throws Exception {
diff --git a/analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/diagnosticProvider/FirIdeNormalAnalysisSourceModuleCollectDiagnosticsTestGenerated.java b/analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/diagnosticProvider/FirIdeNormalAnalysisSourceModuleCollectDiagnosticsTestGenerated.java
index ff99f6ae44f..ea516ec891f 100644
--- a/analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/diagnosticProvider/FirIdeNormalAnalysisSourceModuleCollectDiagnosticsTestGenerated.java
+++ b/analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/diagnosticProvider/FirIdeNormalAnalysisSourceModuleCollectDiagnosticsTestGenerated.java
@@ -64,6 +64,12 @@ public class FirIdeNormalAnalysisSourceModuleCollectDiagnosticsTestGenerated ext
         runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/duplicatedCallableWithImplicitType.kt");
     }
 
+    @Test
+    @TestMetadata("errorsInFunctionalInterfacesInstances.kt")
+    public void testErrorsInFunctionalInterfacesInstances() throws Exception {
+        runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/errorsInFunctionalInterfacesInstances.kt");
+    }
+
     @Test
     @TestMetadata("incompleteDelegation.kt")
     public void testIncompleteDelegation() throws Exception {
diff --git a/analysis/analysis-api-standalone/tests-gen/org/jetbrains/kotlin/analysis/api/standalone/fir/test/cases/generated/cases/components/diagnosticProvider/FirStandaloneNormalAnalysisSourceModuleCollectDiagnosticsTestGenerated.java b/analysis/analysis-api-standalone/tests-gen/org/jetbrains/kotlin/analysis/api/standalone/fir/test/cases/generated/cases/components/diagnosticProvider/FirStandaloneNormalAnalysisSourceModuleCollectDiagnosticsTestGenerated.java
index 34bbdd58d4c..8a1abaadf87 100644
--- a/analysis/analysis-api-standalone/tests-gen/org/jetbrains/kotlin/analysis/api/standalone/fir/test/cases/generated/cases/components/diagnosticProvider/FirStandaloneNormalAnalysisSourceModuleCollectDiagnosticsTestGenerated.java
+++ b/analysis/analysis-api-standalone/tests-gen/org/jetbrains/kotlin/analysis/api/standalone/fir/test/cases/generated/cases/components/diagnosticProvider/FirStandaloneNormalAnalysisSourceModuleCollectDiagnosticsTestGenerated.java
@@ -64,6 +64,12 @@ public class FirStandaloneNormalAnalysisSourceModuleCollectDiagnosticsTestGenera
         runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/duplicatedCallableWithImplicitType.kt");
     }
 
+    @Test
+    @TestMetadata("errorsInFunctionalInterfacesInstances.kt")
+    public void testErrorsInFunctionalInterfacesInstances() throws Exception {
+        runTest("analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/errorsInFunctionalInterfacesInstances.kt");
+    }
+
     @Test
     @TestMetadata("incompleteDelegation.kt")
     public void testIncompleteDelegation() throws Exception {
diff --git a/analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/errorsInFunctionalInterfacesInstances.descriptors.txt b/analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/errorsInFunctionalInterfacesInstances.descriptors.txt
new file mode 100644
index 00000000000..1f5850b5023
--- /dev/null
+++ b/analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/errorsInFunctionalInterfacesInstances.descriptors.txt
@@ -0,0 +1,10 @@
+Diagnostics from elements:
+  for PSI element of type KtObjectDeclaration at (7,14-48)
+    ABSTRACT_MEMBER_NOT_IMPLEMENTED      text ranges: [(110,116)]
+      PSI: KtObjectDeclaration at (7,14-48)
+  for PSI element of type KtConstantExpression at (10,38-39)
+    CONSTANT_EXPECTED_TYPE_MISMATCH      text ranges: [(230,231)]
+      PSI: KtConstantExpression at (10,38-39)
+  for PSI element of type KtConstantExpression at (4,9-10)
+    CONSTANT_EXPECTED_TYPE_MISMATCH      text ranges: [(88,89)]
+      PSI: KtConstantExpression at (4,9-10)
diff --git a/analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/errorsInFunctionalInterfacesInstances.kt b/analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/errorsInFunctionalInterfacesInstances.kt
new file mode 100644
index 00000000000..4d3d5a4878d
--- /dev/null
+++ b/analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/errorsInFunctionalInterfacesInstances.kt
@@ -0,0 +1,16 @@
+@Suppress("UNUSED_VARIABLE")
+fun check() {
+    val o = CustomSupplier<String> {
+        3
+    }
+
+    val o2 = object : CustomSupplier<String> {}
+
+    val o3 = object : CustomSupplier<String> {
+        override fun get(): String = 2
+    }
+}
+
+fun interface CustomSupplier<T> {
+    fun get(): T
+}
diff --git a/analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/errorsInFunctionalInterfacesInstances.txt b/analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/errorsInFunctionalInterfacesInstances.txt
new file mode 100644
index 00000000000..ed860992dfb
--- /dev/null
+++ b/analysis/analysis-api/testData/components/diagnosticsProvider/diagnostics/errorsInFunctionalInterfacesInstances.txt
@@ -0,0 +1,10 @@
+Diagnostics from elements:
+  for PSI element of type KtObjectDeclaration at (7,14-48)
+    ABSTRACT_MEMBER_NOT_IMPLEMENTED      text ranges: [(110,116)]
+      PSI: KtObjectDeclaration at (7,14-48)
+  for PSI element of type KtConstantExpression at (4,9-10)
+    ARGUMENT_TYPE_MISMATCH      text ranges: [(88,89)]
+      PSI: KtConstantExpression at (4,9-10)
+  for PSI element of type KtConstantExpression at (10,38-39)
+    RETURN_TYPE_MISMATCH      text ranges: [(230,231)]
+      PSI: KtConstantExpression at (10,38-39)