From f1c7f929d2a0db2d0177cf19358e02156a70b880 Mon Sep 17 00:00:00 2001
From: Nikolay Lunyak <nikolay.lunyak@jetbrains.com>
Date: Fri, 23 Feb 2024 17:49:42 +0200
Subject: [PATCH] [FIR] Don't miss diagnostics on resovled reified type
 parameters

^KT-66005 Fixed
---
 .../fir/resolve/src/org/jetbrains/kotlin/fir/FirCallResolver.kt | 2 +-
 compiler/testData/diagnostics/tests/compareWithReified.fir.kt   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/FirCallResolver.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/FirCallResolver.kt
index 7bc914fce04..28da2bdefd9 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/FirCallResolver.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/FirCallResolver.kt
@@ -375,7 +375,7 @@ class FirCallResolver(
                     annotations = qualifiedAccess.annotations
                 )
             }
-            referencedSymbol is FirTypeParameterSymbol && referencedSymbol.fir.isReified -> {
+            referencedSymbol is FirTypeParameterSymbol && referencedSymbol.fir.isReified && diagnostic == null -> {
                 return buildResolvedReifiedParameterReference {
                     source = nameReference.source
                     symbol = referencedSymbol
diff --git a/compiler/testData/diagnostics/tests/compareWithReified.fir.kt b/compiler/testData/diagnostics/tests/compareWithReified.fir.kt
index e3428020016..d617a8dacb3 100644
--- a/compiler/testData/diagnostics/tests/compareWithReified.fir.kt
+++ b/compiler/testData/diagnostics/tests/compareWithReified.fir.kt
@@ -1,7 +1,7 @@
 // ISSUE: KT-66005
 
 inline fun <reified T> foo(v: T) {
-    T == Int
+    <!TYPE_PARAMETER_IS_NOT_AN_EXPRESSION!>T<!> == Int
     // This is a comparison of companion objects
     Int == Int
 }