From 0f45e3d238cf78e0077ab381ca28abd65efd93ba Mon Sep 17 00:00:00 2001
From: Toshiaki Kameyama <kmymtsak@gmail.com>
Date: Tue, 5 Mar 2019 10:19:10 +0900
Subject: [PATCH] Fix false positive for HasPlatformType with member extension
 on 'dynamic'

#KT-29812 Fixed
---
 .../kotlin/idea/intentions/SpecifyTypeExplicitlyIntention.kt   | 1 +
 .../testData/inspections/hasPlatformType/extensionOnDynamic.kt | 3 +++
 2 files changed, 4 insertions(+)
 create mode 100644 idea/testData/inspections/hasPlatformType/extensionOnDynamic.kt

diff --git a/idea/src/org/jetbrains/kotlin/idea/intentions/SpecifyTypeExplicitlyIntention.kt b/idea/src/org/jetbrains/kotlin/idea/intentions/SpecifyTypeExplicitlyIntention.kt
index cf829faab71..948a25b9fec 100644
--- a/idea/src/org/jetbrains/kotlin/idea/intentions/SpecifyTypeExplicitlyIntention.kt
+++ b/idea/src/org/jetbrains/kotlin/idea/intentions/SpecifyTypeExplicitlyIntention.kt
@@ -99,6 +99,7 @@ class SpecifyTypeExplicitlyIntention : SelfTargetingRangeIntention<KtCallableDec
             val callable = declaration.resolveToDescriptorIfAny() as? CallableDescriptor ?: return null
             if (publicAPIOnly && !callable.visibility.isPublicAPI) return null
             val type = callable.returnType ?: return null
+            if (type.isDynamic()) return null
             if (reportPlatformArguments) {
                 if (!type.isFlexibleRecursive()) return null
             } else {
diff --git a/idea/testData/inspections/hasPlatformType/extensionOnDynamic.kt b/idea/testData/inspections/hasPlatformType/extensionOnDynamic.kt
new file mode 100644
index 00000000000..bfbdbfb150a
--- /dev/null
+++ b/idea/testData/inspections/hasPlatformType/extensionOnDynamic.kt
@@ -0,0 +1,3 @@
+class C {
+    operator fun dynamic.plus(x: Any?) = this
+}
\ No newline at end of file