From d7adc0ce3241f34060169aaeb3fe146728e9596c Mon Sep 17 00:00:00 2001
From: Vladimir Sukharev <vladimir.sukharev@jetbrains.com>
Date: Wed, 20 Sep 2023 14:56:39 +0200
Subject: [PATCH] [FIR] Fix K2: Introduced AMBIGUOUS_ANONYMOUS_TYPE_INFERRED

---
 .../declaration/FirAmbiguousAnonymousTypeChecker.kt         | 6 ------
 .../tests/inline/returnedAnonymousObjects_2.fir.kt          | 4 ++--
 2 files changed, 2 insertions(+), 8 deletions(-)

diff --git a/compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/checkers/declaration/FirAmbiguousAnonymousTypeChecker.kt b/compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/checkers/declaration/FirAmbiguousAnonymousTypeChecker.kt
index a5b9af93f11..83c6662c717 100644
--- a/compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/checkers/declaration/FirAmbiguousAnonymousTypeChecker.kt
+++ b/compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/checkers/declaration/FirAmbiguousAnonymousTypeChecker.kt
@@ -67,12 +67,6 @@ object FirAmbiguousAnonymousTypeChecker : FirBasicDeclarationChecker() {
                 context
             )
         }
-        for (typeArgument in type.typeArguments) {
-            checkTypeAndArguments(
-                typeArgument.type ?: continue,
-                context, reporter, reportOn
-            )
-        }
     }
 
     private val FirBlock.singleExpressionType
diff --git a/compiler/testData/diagnostics/tests/inline/returnedAnonymousObjects_2.fir.kt b/compiler/testData/diagnostics/tests/inline/returnedAnonymousObjects_2.fir.kt
index b3a75c8701f..e27dc11676c 100644
--- a/compiler/testData/diagnostics/tests/inline/returnedAnonymousObjects_2.fir.kt
+++ b/compiler/testData/diagnostics/tests/inline/returnedAnonymousObjects_2.fir.kt
@@ -34,11 +34,11 @@ private inline fun foo22(crossinline f: () -> Int) = Inv(Inv(object : I1 {
     fun bar(): Int = f()
 }
 
-<!AMBIGUOUS_ANONYMOUS_TYPE_INFERRED!>private inline fun foo31(crossinline f: () -> Int)<!> = Inv(object : I1, I2 {
+private inline fun foo31(crossinline f: () -> Int) = Inv(object : I1, I2 {
     fun bar(): Int = f()
 })
 
-<!AMBIGUOUS_ANONYMOUS_TYPE_INFERRED!>private inline fun foo32(crossinline f: () -> Int)<!> = Inv(Inv(object : I1, I2 {
+private inline fun foo32(crossinline f: () -> Int) = Inv(Inv(object : I1, I2 {
     fun bar(): Int = f()
 }))