Add quick fix for PROPERTY_TYPE_MISMATCH_ON_OVERRIDE on constructor parameter

#KT-29934 Fixed

idea/src/org/jetbrains/kotlin/idea/quickfix/ChangeVariableTypeFix.kt

@@ -39,7 +39,7 @@ import org.jetbrains.kotlin.types.KotlinType
 import org.jetbrains.kotlin.types.checker.KotlinTypeChecker
 import java.util.*
 
-open class ChangeVariableTypeFix(element: KtVariableDeclaration, type: KotlinType) : KotlinQuickFixAction<KtVariableDeclaration>(element) {
+open class ChangeVariableTypeFix(element: KtCallableDeclaration, type: KotlinType) : KotlinQuickFixAction<KtCallableDeclaration>(element) {
     private val typeContainsError = ErrorUtils.containsErrorType(type)
     private val typePresentation = IdeDescriptorRenderers.SOURCE_CODE_TYPES_WITH_SHORT_NAMES.renderType(type)
     private val typeSourceCode = IdeDescriptorRenderers.SOURCE_CODE_TYPES.renderType(type)
@@ -67,7 +67,7 @@ open class ChangeVariableTypeFix(element: KtVariableDeclaration, type: KotlinTyp
         }
     }
 
-    class OnType(element: KtVariableDeclaration, type: KotlinType) : ChangeVariableTypeFix(element, type), HighPriorityAction {
+    class OnType(element: KtCallableDeclaration, type: KotlinType) : ChangeVariableTypeFix(element, type), HighPriorityAction {
         override fun variablePresentation() = null
     }
 
@@ -122,9 +122,9 @@ open class ChangeVariableTypeFix(element: KtVariableDeclaration, type: KotlinTyp
         override fun doCreateActions(diagnostic: Diagnostic): List<IntentionAction> {
             val actions = LinkedList<IntentionAction>()
 
-            if (diagnostic.psiElement is KtProperty) {
+            val element = diagnostic.psiElement as? KtCallableDeclaration
-                val property = diagnostic.psiElement as KtProperty
+            if (element !is KtProperty && element !is KtParameter) return actions
-                val descriptor = property.resolveToDescriptorIfAny(BodyResolveMode.FULL) as? PropertyDescriptor ?: return actions
+            val descriptor = element.resolveToDescriptorIfAny(BodyResolveMode.FULL) as? PropertyDescriptor ?: return actions
 
             var lowerBoundOfOverriddenPropertiesTypes = QuickFixUtil.findLowerBoundOfOverriddenCallablesReturnTypes(descriptor)
 
@@ -153,7 +153,7 @@ open class ChangeVariableTypeFix(element: KtVariableDeclaration, type: KotlinTyp
             }
 
             if (lowerBoundOfOverriddenPropertiesTypes != null) {
-                    actions.add(OnType(property, lowerBoundOfOverriddenPropertiesTypes))
+                actions.add(OnType(element, lowerBoundOfOverriddenPropertiesTypes))
             }
 
             if (overriddenMismatchingProperties.size == 1 && canChangeOverriddenPropertyType) {
@@ -162,7 +162,6 @@ open class ChangeVariableTypeFix(element: KtVariableDeclaration, type: KotlinTyp
                     actions.add(ForOverridden(overriddenProperty, propertyType))
                 }
             }
-            }
 
             return actions
         }

idea/testData/quickfix/override/typeMismatchOnOverride/changeOverriddenPropertyTypeFromCtorParameter.kt

@@ -0,0 +1,6 @@
+// "Change type of base property 'A.x' to 'Any'" "true"
+interface A {
+    val x: CharSequence
+}
+
+class B(override val x: Any<caret>) : A

idea/testData/quickfix/override/typeMismatchOnOverride/changeOverriddenPropertyTypeFromCtorParameter.kt.after

@@ -0,0 +1,6 @@
+// "Change type of base property 'A.x' to 'Any'" "true"
+interface A {
+    val x: Any
+}
+
+class B(override val x: Any) : A

idea/testData/quickfix/override/typeMismatchOnOverride/changeOverridingCtorParameterType.kt

@@ -0,0 +1,6 @@
+// "Change type to 'CharSequence'" "true"
+interface A {
+    val x: CharSequence
+}
+
+class B(override val x: Any<caret>) : A

idea/testData/quickfix/override/typeMismatchOnOverride/changeOverridingCtorParameterType.kt.after

@@ -0,0 +1,6 @@
+// "Change type to 'CharSequence'" "true"
+interface A {
+    val x: CharSequence
+}
+
+class B(override val x: CharSequence) : A

idea/tests/org/jetbrains/kotlin/idea/quickfix/QuickFixTestGenerated.java

@@ -10085,6 +10085,16 @@ public class QuickFixTestGenerated extends AbstractQuickFixTest {
                 runTest("idea/testData/quickfix/override/typeMismatchOnOverride/changeOverriddenPropertyType2.kt");
             }
 
+            @TestMetadata("changeOverriddenPropertyTypeFromCtorParameter.kt")
+            public void testChangeOverriddenPropertyTypeFromCtorParameter() throws Exception {
+                runTest("idea/testData/quickfix/override/typeMismatchOnOverride/changeOverriddenPropertyTypeFromCtorParameter.kt");
+            }
+
+            @TestMetadata("changeOverridingCtorParameterType.kt")
+            public void testChangeOverridingCtorParameterType() throws Exception {
+                runTest("idea/testData/quickfix/override/typeMismatchOnOverride/changeOverridingCtorParameterType.kt");
+            }
+
             @TestMetadata("changeOverridingPropertyTypeToFunctionType.kt")
             public void testChangeOverridingPropertyTypeToFunctionType() throws Exception {
                 runTest("idea/testData/quickfix/override/typeMismatchOnOverride/changeOverridingPropertyTypeToFunctionType.kt");