[FIR JS] Don't raise diagnostic PROPERTY_AS_OPERATOR for dynamic types.

^KT-60043 Fixed


Merge-request: KT-MR-12161
Merged-by: Vladimir Sukharev <Vladimir.Sukharev@jetbrains.com>

compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/checkers/expression/FirConventionFunctionCallChecker.kt

@@ -18,6 +18,7 @@ import org.jetbrains.kotlin.fir.references.FirErrorNamedReference
 import org.jetbrains.kotlin.fir.expressions.unwrapSmartcastExpression
 import org.jetbrains.kotlin.fir.resolve.diagnostics.ConePropertyAsOperator
 import org.jetbrains.kotlin.fir.resolve.diagnostics.ConeUnresolvedNameError
+import org.jetbrains.kotlin.fir.types.ConeDynamicType
 import org.jetbrains.kotlin.util.OperatorNameConventions
 import org.jetbrains.kotlin.utils.addToStdlib.firstIsInstanceOrNull
 
@@ -43,6 +44,8 @@ object FirConventionFunctionCallChecker : FirFunctionCallChecker() {
         context: CheckerContext,
         reporter: DiagnosticReporter
     ) {
+        if (callExpression.dispatchReceiver?.coneTypeOrNull is ConeDynamicType) return
+        // KT-61905: TODO: Return also in case of error type.
         val sourceKind = callExpression.source?.kind
         if (sourceKind !is KtRealSourceElementKind &&
             sourceKind !is KtFakeSourceElementKind.GeneratedComparisonExpression &&

compiler/testData/diagnostics/testsWithJsStdLib/dynamicTypes/conventions.fir.kt

@@ -37,7 +37,7 @@ fun test(d: dynamic) {
         val plus: dynamic = null
     }
 
-    C() <!PROPERTY_AS_OPERATOR!>+<!> 5 // todo should be marked as DEBUG_INFO_DYNAMIC
+    C() + 5 // todo should be marked as DEBUG_INFO_DYNAMIC
     C().<!DEBUG_INFO_DYNAMIC!>plus(5)<!>
 
     d == d