Report UNUSED_PARAMETER in setter #KT-21129 Fixed

compiler/frontend/src/org/jetbrains/kotlin/cfg/ControlFlowInformationProvider.kt

@@ -685,6 +685,9 @@ class ControlFlowInformationProvider private constructor(
                     report(UNUSED_PARAMETER.on(element, variableDescriptor), ctxt)
                 }
             }
+            is KtPropertyAccessor -> {
+                report(UNUSED_PARAMETER.on(element, variableDescriptor), ctxt)
+            }
         }
     }
 

compiler/testData/compileKotlinAgainstCustomBinaries/wrongInlineTarget/library/a.kt

@@ -7,15 +7,15 @@ inline fun inlineFun(p: () -> Unit) {
 
 var inlineGetter: Int
     inline get() = 1
-    set(varue) {}
+    set(varue) { varue.hashCode() }
 
 var inlineSetter: Int
     get() = 1
-    inline set(varue) {}
+    inline set(varue) { varue.hashCode() }
 
 var allInline: Int
     inline get() = 1
-    inline set(varue) {}
+    inline set(varue) { varue.hashCode() }
 
 
 
@@ -26,14 +26,14 @@ class A {
 
     var inlineGetter: Int
         inline get() = 1
-        set(varue) {}
+        set(varue) { varue.hashCode() }
 
     var inlineSetter: Int
         get() = 1
-        inline set(varue) {}
+        inline set(varue) { varue.hashCode() }
 
     var allInline: Int
         inline get() = 1
-        inline set(varue) {}
+        inline set(varue) { varue.hashCode() }
 
 }

compiler/testData/diagnostics/tests/Abstract.kt

@@ -40,7 +40,7 @@ package MyPackage
     var l: Int                       <!WRONG_MODIFIER_TARGET!>abstract<!> get  <!WRONG_MODIFIER_TARGET!>abstract<!> set
     var l1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;  <!WRONG_MODIFIER_TARGET!>abstract<!> get  <!WRONG_MODIFIER_TARGET!>abstract<!> set
 
-    var n: Int                       <!WRONG_MODIFIER_TARGET!>abstract<!> get <!WRONG_MODIFIER_TARGET!>abstract<!> set(v: Int) {}
+    var n: Int                       <!WRONG_MODIFIER_TARGET!>abstract<!> get <!WRONG_MODIFIER_TARGET!>abstract<!> set(<!UNUSED_PARAMETER!>v<!>: Int) {}
 
 // FILE: c.kt
 //creating an instance

compiler/testData/diagnostics/tests/AbstractInAbstractClass.kt

@@ -41,5 +41,5 @@ abstract class MyAbstractClass() {
     var l: Int                       <!WRONG_MODIFIER_TARGET!>abstract<!> get  <!WRONG_MODIFIER_TARGET!>abstract<!> set
     var l1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;  <!WRONG_MODIFIER_TARGET!>abstract<!> get  <!WRONG_MODIFIER_TARGET!>abstract<!> set
 
-    var n: Int                       <!WRONG_MODIFIER_TARGET!>abstract<!> get <!WRONG_MODIFIER_TARGET!>abstract<!> set(v: Int) {}
+    var n: Int                       <!WRONG_MODIFIER_TARGET!>abstract<!> get <!WRONG_MODIFIER_TARGET!>abstract<!> set(<!UNUSED_PARAMETER!>v<!>: Int) {}
 }

compiler/testData/diagnostics/tests/AbstractInClass.kt

@@ -41,5 +41,5 @@ class MyClass() {
     var l: Int                       <!WRONG_MODIFIER_TARGET!>abstract<!> get  <!WRONG_MODIFIER_TARGET!>abstract<!> set
     var l1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;  <!WRONG_MODIFIER_TARGET!>abstract<!> get  <!WRONG_MODIFIER_TARGET!>abstract<!> set
 
-    var n: Int                       <!WRONG_MODIFIER_TARGET!>abstract<!> get <!WRONG_MODIFIER_TARGET!>abstract<!> set(v: Int) {}
+    var n: Int                       <!WRONG_MODIFIER_TARGET!>abstract<!> get <!WRONG_MODIFIER_TARGET!>abstract<!> set(<!UNUSED_PARAMETER!>v<!>: Int) {}
 }

compiler/testData/diagnostics/tests/AbstractInTrait.kt

@@ -41,5 +41,5 @@ interface MyTrait {
     var l: Int                       <!WRONG_MODIFIER_TARGET!>abstract<!> get  <!WRONG_MODIFIER_TARGET!>abstract<!> set
     var l1: Int = <!PROPERTY_INITIALIZER_IN_INTERFACE!>0<!>;  <!WRONG_MODIFIER_TARGET!>abstract<!> get  <!WRONG_MODIFIER_TARGET!>abstract<!> set
 
-    var n: Int                       <!WRONG_MODIFIER_TARGET!>abstract<!> get <!WRONG_MODIFIER_TARGET!>abstract<!> set(v: Int) {}
+    var n: Int                       <!WRONG_MODIFIER_TARGET!>abstract<!> get <!WRONG_MODIFIER_TARGET!>abstract<!> set(<!UNUSED_PARAMETER!>v<!>: Int) {}
 }

compiler/testData/diagnostics/tests/Constructors.kt

@@ -31,5 +31,5 @@ class NoCPI {
   val a = 1
   var ab = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>1<!>
     get() = 1
-    set(v) {}
+    set(<!UNUSED_PARAMETER!>v<!>) {}
 }

compiler/testData/diagnostics/tests/DiamondProperty.kt

@@ -1,7 +1,7 @@
 interface Base {
     var v : Int
         get() = 1
-        set(v) {}
+        set(<!UNUSED_PARAMETER!>v<!>) {}
 }
     
 open class Left() : Base

compiler/testData/diagnostics/tests/OverridenSetterVisibility.kt

@@ -1,23 +1,23 @@
 public interface ITest {
     public var prop : Int
         get() = 12
-        set(value) {}
+        set(<!UNUSED_PARAMETER!>value<!>) {}
 }
 
 abstract class ATest {
     protected open var prop2 : Int
         get() = 13
-        set(value) {}
+        set(<!UNUSED_PARAMETER!>value<!>) {}
 }
 
 class Test: ATest(), ITest {
     override var prop : Int
         get() = 12
-        <!CANNOT_WEAKEN_ACCESS_PRIVILEGE!>private<!> set(value) {}
+        <!CANNOT_WEAKEN_ACCESS_PRIVILEGE!>private<!> set(<!UNUSED_PARAMETER!>value<!>) {}
 
     override var prop2 : Int
         get() = 14
-        <!CANNOT_CHANGE_ACCESS_PRIVILEGE, SETTER_VISIBILITY_INCONSISTENT_WITH_PROPERTY_VISIBILITY!>internal<!> set(value) {}
+        <!CANNOT_CHANGE_ACCESS_PRIVILEGE, SETTER_VISIBILITY_INCONSISTENT_WITH_PROPERTY_VISIBILITY!>internal<!> set(<!UNUSED_PARAMETER!>value<!>) {}
 }
 
 fun main(args: Array<String>) {

compiler/testData/diagnostics/tests/PrivateSetterForOverridden.kt

@@ -62,9 +62,9 @@ interface E : A {
     override var a: Int
         get() = 0
         // Errors here and below
-        <!PRIVATE_SETTER_FOR_OPEN_PROPERTY!>private<!> set(arg) {}
+        <!PRIVATE_SETTER_FOR_OPEN_PROPERTY!>private<!> set(<!UNUSED_PARAMETER!>arg<!>) {}
 
     override var b: Int
         get() = 0
-        <!CANNOT_WEAKEN_ACCESS_PRIVILEGE, PRIVATE_SETTER_FOR_OPEN_PROPERTY!>private<!> set(arg) {}
+        <!CANNOT_WEAKEN_ACCESS_PRIVILEGE, PRIVATE_SETTER_FOR_OPEN_PROPERTY!>private<!> set(<!UNUSED_PARAMETER!>arg<!>) {}
 }

compiler/testData/diagnostics/tests/Properties.kt

@@ -7,7 +7,7 @@ var x : Int = 1 + <!UNINITIALIZED_VARIABLE!>x<!>
 
  val xx : Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>1 + x<!>
    get() : Int = 1
-   <!VAL_WITH_SETTER!>set(value : <!WRONG_SETTER_PARAMETER_TYPE!>Long<!>) {}<!>
+   <!VAL_WITH_SETTER!>set(<!UNUSED_PARAMETER!>value<!> : <!WRONG_SETTER_PARAMETER_TYPE!>Long<!>) {}<!>
 
   val p : Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>1<!>
     get() = 1

compiler/testData/diagnostics/tests/annotations/kt1860-negative.kt

@@ -2,7 +2,7 @@
 fun foo(@<!UNRESOLVED_REFERENCE!>varargs<!> <!UNUSED_PARAMETER!>f<!> : Int) {}
 
 var bar : Int = 1
-  set(@<!UNRESOLVED_REFERENCE!>varargs<!> v) {}
+  set(@<!UNRESOLVED_REFERENCE!>varargs<!> <!OI;UNUSED_PARAMETER!>v<!>) {}
 
 val x : (Int) -> Int = {@<!UNRESOLVED_REFERENCE!>varargs<!> <!NI;TYPE_MISMATCH, TYPE_MISMATCH, UNINITIALIZED_VARIABLE!>x<!> <!SYNTAX!>: Int -> x<!>}
 

compiler/testData/diagnostics/tests/annotations/kt1860-positive.kt

@@ -5,7 +5,7 @@ annotation class test
 fun foo(@test <!UNUSED_PARAMETER!>f<!> : Int) {}
 
 var bar : Int = 1
-    set(@test v) {}
+    set(@test <!OI;UNUSED_PARAMETER!>v<!>) {}
 
 val x : (Int) -> Int = {@test <!NI;TYPE_MISMATCH, TYPE_MISMATCH, UNINITIALIZED_VARIABLE!>x<!> <!SYNTAX!>: Int -> x<!>} // todo fix parser annotation on lambda parameter
 

compiler/testData/diagnostics/tests/annotations/options/setterParam.kt

@@ -5,4 +5,4 @@ annotation class Ann
 
 var x: Int
     get() = 1
-    set(<!WRONG_ANNOTATION_TARGET!>@Ann<!> <!WRONG_MODIFIER_TARGET!>private<!> x) { }
+    set(<!WRONG_ANNOTATION_TARGET!>@Ann<!> <!WRONG_MODIFIER_TARGET!>private<!> <!UNUSED_PARAMETER!>x<!>) { }

compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/PropertyAnnotations.kt

@@ -28,7 +28,7 @@ class SomeClass {
     @property:Ann
     var propertyWithCustomSetter: Int
         get() = 5
-        set(v) {}
+        set(<!UNUSED_PARAMETER!>v<!>) {}
 
     <!WRONG_ANNOTATION_TARGET_WITH_USE_SITE_TARGET!>@property:Ann<!>
     fun anotherFun() {

compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/SetterAnnotations.kt

@@ -25,7 +25,7 @@ class SomeClass {
     @set:Ann
     var propertyWithCustomSetter: Int
         get() = 5
-        set(v) {}
+        set(<!UNUSED_PARAMETER!>v<!>) {}
 
     <!INAPPLICABLE_TARGET_ON_PROPERTY, WRONG_ANNOTATION_TARGET_WITH_USE_SITE_TARGET!>@set:Ann<!>
     fun annotationOnFunction(a: Int) = a + 5

compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/SparamAnnotations.kt

@@ -28,7 +28,7 @@ class SomeClass {
     @setparam:Ann
     var propertyWithCustomSetter: Int
         get() = 5
-        set(v) {}
+        set(<!UNUSED_PARAMETER!>v<!>) {}
 
     <!INAPPLICABLE_TARGET_ON_PROPERTY!>@setparam:Ann<!>
     fun anotherFun() {

compiler/testData/diagnostics/tests/annotations/withUseSiteTarget/repeatable.kt

@@ -55,5 +55,5 @@ public class B(<!WRONG_ANNOTATION_TARGET_WITH_USE_SITE_TARGET!>@param:fieldOrPro
     var w: Int
         @getSetAndParamAnn <!REPEATED_ANNOTATION!>@get:getSetAndParamAnn<!> get() = 0
         // See KT-15470: fake INAPPLICABLE_TARGET_ON_PROPERTY
-        @getSetAndParamAnn <!INAPPLICABLE_TARGET_ON_PROPERTY, REPEATED_ANNOTATION!>@set:getSetAndParamAnn<!> set(arg) {}
+        @getSetAndParamAnn <!INAPPLICABLE_TARGET_ON_PROPERTY, REPEATED_ANNOTATION!>@set:getSetAndParamAnn<!> set(<!UNUSED_PARAMETER!>arg<!>) {}
 }

compiler/testData/diagnostics/tests/backingField/FieldAsParam.kt

@@ -3,6 +3,6 @@ var y: Int = 1
 // No backing field!
 <!MUST_BE_INITIALIZED!>var x: Int<!>
     get() = y
-    set(<!ACCESSOR_PARAMETER_NAME_SHADOWING!>field<!>) {
+    set(<!ACCESSOR_PARAMETER_NAME_SHADOWING, UNUSED_PARAMETER!>field<!>) {
         y = field
     }

compiler/testData/diagnostics/tests/callableReference/property/extensionFromTopLevel.kt

@@ -7,7 +7,7 @@ val String.countCharacters: Int
 
 var Int.meaning: Long
     get() = 42L
-    set(value) {}
+    set(<!UNUSED_PARAMETER!>value<!>) {}
 
 fun test() {
     val f = String::countCharacters

compiler/testData/diagnostics/tests/declarationChecks/propertyInPackageHasNoInheritVisibility.kt

@@ -7,4 +7,4 @@ fun test() {
 }
 
 var g: Int = 1
-    <!WRONG_MODIFIER_CONTAINING_DECLARATION!>protected<!> set(i: Int) {}
+    <!WRONG_MODIFIER_CONTAINING_DECLARATION!>protected<!> set(<!UNUSED_PARAMETER!>i<!>: Int) {}

compiler/testData/diagnostics/tests/delegation/memberHidesSupertypeOverride/delegationToSubTypeWithOverrideProperty.kt

@@ -1,14 +1,14 @@
 public interface Base {
     var test: String
         get() = "OK"
-        set(s: String) {
+        set(<!UNUSED_PARAMETER!>s<!>: String) {
         }
 }
 
 public interface Base2 : Base {
     override var test: String
             get() = "OK2"
-            set(value) {}
+            set(<!UNUSED_PARAMETER!>value<!>) {}
 }
 
 class Delegate : Base2 {

compiler/testData/diagnostics/tests/deprecated/deprecatedPropertyInheritance.kt

@@ -33,48 +33,48 @@ open class SetterDeprecated {
 class WD: WarningDeprecated() {
     override var p: Int
         get() = 3
-        set(value) {}
+        set(<!UNUSED_PARAMETER!>value<!>) {}
 }
 
 class ED: ErrorDeprecated() {
     override var p: Int
         get() = 3
-        set(value) {
+        set(<!UNUSED_PARAMETER!>value<!>) {
         }
 }
 
 class GD: GetterDeprecated() {
     override var p: Int
         get() = 3
-        set(value) {
+        set(<!UNUSED_PARAMETER!>value<!>) {
         }
 }
 
 class SD: SetterDeprecated() {
     override var p: Int
         get() = 3
-        set(value) {
+        set(<!UNUSED_PARAMETER!>value<!>) {
         }
 }
 
 class SDH: SetterDeprecated(), HiddenDeprecated {
     override var p: Int
         get() = 3
-        set(value) {
+        set(<!UNUSED_PARAMETER!>value<!>) {
         }
 }
 
 class EDH: ErrorDeprecated(), HiddenDeprecated {
     override var p: Int
         get() = 3
-        set(value) {
+        set(<!UNUSED_PARAMETER!>value<!>) {
         }
 }
 
 class NED: ErrorDeprecated(), NoDeprecation {
     override var p: Int
         get() = 3
-        set(value) {
+        set(<!UNUSED_PARAMETER!>value<!>) {
         }
 }
 
@@ -82,7 +82,7 @@ class Diff {
     @Deprecated("", level = DeprecationLevel.WARNING)
     var p: Int
         @Deprecated("", level = DeprecationLevel.ERROR) get() = 3
-        @Deprecated("", level = DeprecationLevel.HIDDEN) set(value) {
+        @Deprecated("", level = DeprecationLevel.HIDDEN) set(<!UNUSED_PARAMETER!>value<!>) {
 
         }
 }

compiler/testData/diagnostics/tests/deprecated/hiddenPropertyAccessors.kt

@@ -8,23 +8,23 @@ val v2 = ""
 var v3: String
     @Deprecated("", level = DeprecationLevel.HIDDEN)
     get() = ""
-    set(value) {}
+    set(<!UNUSED_PARAMETER!>value<!>) {}
 
 var v4: String
     get() = ""
     @Deprecated("", level = DeprecationLevel.HIDDEN)
-    set(value) {}
+    set(<!UNUSED_PARAMETER!>value<!>) {}
 
 var v5: String
     @Deprecated("", level = DeprecationLevel.HIDDEN)
     get() = ""
     @Deprecated("", level = DeprecationLevel.HIDDEN)
-    set(value) {}
+    set(<!UNUSED_PARAMETER!>value<!>) {}
 
 @Deprecated("", level = DeprecationLevel.HIDDEN)
 var v6: String
     get() = ""
-    set(value) {}
+    set(<!UNUSED_PARAMETER!>value<!>) {}
 
 fun test() {
     <!DEPRECATION_ERROR!>v1<!>

compiler/testData/diagnostics/tests/deprecated/typeUsage.kt

@@ -24,7 +24,7 @@ class Properties {
 
     var n : <!DEPRECATION!>Obsolete<!>
         get() = <!DEPRECATION!>Obsolete<!>()
-        set(value) {}
+        set(<!UNUSED_PARAMETER!>value<!>) {}
 }
 
 fun param(param: <!DEPRECATION!>Obsolete<!>) { param.use() }

compiler/testData/diagnostics/tests/enum/AbstractInEnum.kt

@@ -43,5 +43,5 @@ enum class MyEnum() {
     var l: Int                       <!WRONG_MODIFIER_TARGET!>abstract<!> get  <!WRONG_MODIFIER_TARGET!>abstract<!> set
     var l1: Int = <!PROPERTY_INITIALIZER_NO_BACKING_FIELD!>0<!>;   <!WRONG_MODIFIER_TARGET!>abstract<!> get  <!WRONG_MODIFIER_TARGET!>abstract<!> set
 
-    var n: Int                       <!WRONG_MODIFIER_TARGET!>abstract<!> get <!WRONG_MODIFIER_TARGET!>abstract<!> set(v: Int) {}
+    var n: Int                       <!WRONG_MODIFIER_TARGET!>abstract<!> get <!WRONG_MODIFIER_TARGET!>abstract<!> set(<!UNUSED_PARAMETER!>v<!>: Int) {}
 }

compiler/testData/diagnostics/tests/imports/ImportFromCompanionObject.kt

@@ -22,7 +22,7 @@ class C2 {
         fun Int.ext() = Unit
         var String.ext: Int
             get() = 3
-            set(i) {
+            set(<!UNUSED_PARAMETER!>i<!>) {
             }
 
         fun A(<!UNUSED_PARAMETER!>c<!>: Int) = A()

compiler/testData/diagnostics/tests/imports/ImportFromObject.kt

@@ -19,7 +19,7 @@ object S {
     fun Int.ext() = Unit
     var String.ext: Int
         get() = 3
-        set(i) {
+        set(<!UNUSED_PARAMETER!>i<!>) {
         }
 
     fun A(<!UNUSED_PARAMETER!>c<!>: Int) = A()

compiler/testData/diagnostics/tests/infos/PropertiesWithBackingFields.kt

@@ -23,17 +23,17 @@ abstract class Test() {
     abstract var y2 : Int set
     abstract var y3 : Int set get
     abstract var y4 : Int set <!ABSTRACT_PROPERTY_WITH_GETTER!>get() = 1<!>
-    abstract var y5 : Int <!ABSTRACT_PROPERTY_WITH_SETTER!>set(x) {}<!> <!ABSTRACT_PROPERTY_WITH_GETTER!>get() = 1<!>
-    abstract var y6 : Int <!ABSTRACT_PROPERTY_WITH_SETTER!>set(x) {}<!>
+    abstract var y5 : Int <!ABSTRACT_PROPERTY_WITH_SETTER!>set(<!UNUSED_PARAMETER!>x<!>) {}<!> <!ABSTRACT_PROPERTY_WITH_GETTER!>get() = 1<!>
+    abstract var y6 : Int <!ABSTRACT_PROPERTY_WITH_SETTER!>set(<!UNUSED_PARAMETER!>x<!>) {}<!>
 
     <!MUST_BE_INITIALIZED_OR_BE_ABSTRACT!>var v : Int<!>
     <!MUST_BE_INITIALIZED_OR_BE_ABSTRACT!>var v1 : Int<!> get
     <!MUST_BE_INITIALIZED_OR_BE_ABSTRACT!>var v2 : Int<!> get set
     <!MUST_BE_INITIALIZED!>var v3 : Int<!> get() = 1; set
-    var v4 : Int get() = 1; set(x){}
+    var v4 : Int get() = 1; set(<!UNUSED_PARAMETER!>x<!>){}
 
     <!MUST_BE_INITIALIZED!>var v5 : Int<!> get() = 1; set(x){field = x}
-    <!MUST_BE_INITIALIZED!>var v6 : Int<!> get() = field + 1; set(x){}
+    <!MUST_BE_INITIALIZED!>var v6 : Int<!> get() = field + 1; set(<!UNUSED_PARAMETER!>x<!>){}
 
   abstract val v7 : Int get
   abstract var v8 : Int get set

compiler/testData/diagnostics/tests/inline/property/propertyWithBackingField.kt

@@ -15,7 +15,7 @@ open class A {
     <!INLINE_PROPERTY_WITH_BACKING_FIELD!>inline var z2<!> = 1
 
     <!INLINE_PROPERTY_WITH_BACKING_FIELD!>var z2_1<!> = 1
-        inline set(p: Int) {}
+        inline set(<!UNUSED_PARAMETER!>p<!>: Int) {}
 
     <!INLINE_PROPERTY_WITH_BACKING_FIELD!>inline val z<!> by Delegate()
 }

compiler/testData/diagnostics/tests/inline/property/virtualProperty.kt

@@ -7,11 +7,11 @@ final class FinalProperty {
 
     inline var varProp: Int
         get() = 1
-        set(p: Int) {}
+        set(<!UNUSED_PARAMETER!>p<!>: Int) {}
 
     var varProp_2: Int
         get() = 1
-        inline set(p: Int) {}
+        inline set(<!UNUSED_PARAMETER!>p<!>: Int) {}
 }
 
 
@@ -24,11 +24,11 @@ open class OpenProperty {
 
     <!DECLARATION_CANT_BE_INLINED!>inline open var varProp: Int<!>
         get() = 1
-        set(p: Int) {}
+        set(<!UNUSED_PARAMETER!>p<!>: Int) {}
 
     <!DECLARATION_CANT_BE_INLINED!>open var varProp_2: Int<!>
         get() = 1
-        inline set(p: Int) {}
+        inline set(<!UNUSED_PARAMETER!>p<!>: Int) {}
 }
 
 

compiler/testData/diagnostics/tests/inline/protectedDepecation.kt

@@ -14,7 +14,7 @@ open class A {
     protected val z: String = "1"
 
     public var zVar: String = "1"
-        protected set(value) {}
+        protected set(<!UNUSED_PARAMETER!>value<!>) {}
 
     inline fun call() {
         <!PROTECTED_CALL_FROM_PUBLIC_INLINE!>test<!>()
@@ -77,7 +77,7 @@ internal class AInternal {
     protected val z: String = "1"
 
     public var zVar: String = "1"
-        protected set(value) {}
+        protected set(<!UNUSED_PARAMETER!>value<!>) {}
 
 
     inline fun call() {

compiler/testData/diagnostics/tests/inline/publishedApi.kt

@@ -23,7 +23,7 @@ inline var inlineVar: Int
         publishedVarTopLevel = 1
         return 1
     }
-    set(value) {
+    set(<!UNUSED_PARAMETER!>value<!>) {
         val a = A()
         a.test()
         publishedTopLevel()
@@ -88,7 +88,7 @@ internal class A {
             return 1
         }
 
-        set(value) {
+        set(<!UNUSED_PARAMETER!>value<!>) {
             publicFun()
             <!NON_PUBLIC_CALL_FROM_PUBLIC_INLINE!>internalFun<!>()
             <!NON_PUBLIC_CALL_FROM_PUBLIC_INLINE!>privateFun<!>()
@@ -147,7 +147,7 @@ inline internal var publishedVarTopLevel: Int
         return 1
     }
 
-    set(value) {
+    set(<!UNUSED_PARAMETER!>value<!>) {
         publicFun()
         <!NON_PUBLIC_CALL_FROM_PUBLIC_INLINE!>internalFun<!>()
         <!NON_PUBLIC_CALL_FROM_PUBLIC_INLINE!>privateFun<!>()

compiler/testData/diagnostics/tests/modifiers/IllegalModifiers.kt

@@ -18,7 +18,7 @@ class FinalClass() {
     val i: Int = 1
         <!WRONG_MODIFIER_TARGET!>open<!> get(): Int = field
     var j: Int = 1
-        <!WRONG_MODIFIER_TARGET!>open<!> set(v: Int) {}
+        <!WRONG_MODIFIER_TARGET!>open<!> set(<!UNUSED_PARAMETER!>v<!>: Int) {}
 }
 
 <!INCOMPATIBLE_MODIFIERS!>private<!> <!INCOMPATIBLE_MODIFIERS!>public<!> class C

compiler/testData/diagnostics/tests/multiplatform/headerClass/headerClassWithFunctionBody.kt

@@ -19,7 +19,7 @@ expect class Foo(
 
     var getSet: String
         <!EXPECTED_DECLARATION_WITH_BODY!>get()<!> = "no"
-        <!EXPECTED_DECLARATION_WITH_BODY!>set(value)<!> {}
+        <!EXPECTED_DECLARATION_WITH_BODY!>set(<!UNUSED_PARAMETER!>value<!>)<!> {}
 
     <!EXPECTED_DECLARATION_WITH_BODY!>fun functionWithBody(x: Int): Int<!> {
         return x + 1

compiler/testData/diagnostics/tests/multiplatform/headerClass/memberPropertyKinds.kt

@@ -21,7 +21,7 @@ expect class Foo {
     <!EXPECTED_DECLARATION_WITH_BODY!>get()<!> = "no"
     var customAccessorVar: String
     <!EXPECTED_DECLARATION_WITH_BODY!>get()<!> = "no"
-    <!EXPECTED_DECLARATION_WITH_BODY!>set(value)<!> {}
+    <!EXPECTED_DECLARATION_WITH_BODY!>set(<!UNUSED_PARAMETER!>value<!>)<!> {}
 
     <!EXPECTED_LATEINIT_PROPERTY!>lateinit<!> var lateinitVar: String
 

compiler/testData/diagnostics/tests/multiplatform/topLevelProperty/differentKindsOfProperties.kt

@@ -24,7 +24,7 @@ expect val customAccessorVal: String
     <!EXPECTED_DECLARATION_WITH_BODY!>get()<!> = "no"
 expect var customAccessorVar: String
     <!EXPECTED_DECLARATION_WITH_BODY!>get()<!> = "no"
-    <!EXPECTED_DECLARATION_WITH_BODY!>set(value)<!> {}
+    <!EXPECTED_DECLARATION_WITH_BODY!>set(<!UNUSED_PARAMETER!>value<!>)<!> {}
 
 expect <!CONST_VAL_WITHOUT_INITIALIZER!>const<!> val constVal: Int
 

compiler/testData/diagnostics/tests/privateInFile/visibility.kt

@@ -10,7 +10,7 @@ private open class A {
 private var x: Int = 10
 
 var xx: Int = 20
-  private set(value: Int) {}
+  private set(<!UNUSED_PARAMETER!>value<!>: Int) {}
 
 private fun foo() {}
 

compiler/testData/diagnostics/tests/properties/inferenceFromGetters/unsupportedInferenceFromGetters.kt

@@ -39,7 +39,7 @@ fun <E> l(<!UNUSED_PARAMETER!>x<!>: E): List<E> = null!!
 // vars
 <!UNSUPPORTED_FEATURE!>var x3
     get() = 1
-    set(q) {
+    set(<!OI;UNUSED_PARAMETER!>q<!>) {
     }<!>
 
 // recursive

compiler/testData/diagnostics/tests/resolve/priority/kt10219.kt

@@ -9,7 +9,7 @@ class A
 
 var A.timeInMillis: String
     get() = ""
-    set(v) {}
+    set(<!UNUSED_PARAMETER!>v<!>) {}
 
 fun a(c: Calendar) {
     A().apply {

compiler/testData/diagnostics/tests/scopes/kt323.kt

@@ -10,9 +10,9 @@ class B : A() {
 
     var b : Int
         <!REDUNDANT_MODIFIER_IN_GETTER!>public<!> get() = 23
-        set(i: Int) {}
+        set(<!UNUSED_PARAMETER!>i<!>: Int) {}
 
     protected var c : Int
         get() = 23
-        private set(i: Int) {}
+        private set(<!UNUSED_PARAMETER!>i<!>: Int) {}
 }

compiler/testData/diagnostics/tests/script/topLevelPropertiesWithGetSet.kts

@@ -6,9 +6,9 @@ val String.testExtVal: Int get() = 42
 
 val String.testExtValNoType get() = 42
 
-var testVar: Int get() = 42; set(value) {}
+var testVar: Int get() = 42; set(<!UNUSED_PARAMETER!>value<!>) {}
 
-var String.testExtVar: Int get() = 42; set(value) {}
+var String.testExtVar: Int get() = 42; set(<!UNUSED_PARAMETER!>value<!>) {}
 
 val testValLineBreak: Int
 get() = 42
@@ -24,11 +24,11 @@ get() = 42
 
 var testVarLineBreak: Int
 get() = 42
-set(value) {}
+set(<!UNUSED_PARAMETER!>value<!>) {}
 
 var String.testExtVarLineBreak: Int
 get() = 42
-set(value) {}
+set(<!UNUSED_PARAMETER!>value<!>) {}
 
 <!MUST_BE_INITIALIZED_OR_BE_ABSTRACT!>var testVarLineBreakSemi: Int<!>;
 <!UNRESOLVED_REFERENCE!>get<!>() = 42

compiler/testData/diagnostics/tests/sourceCompatibility/apiVersion/propertyAccessors.kt

@@ -10,23 +10,23 @@ val v2 = ""
 var v3: String
     @SinceKotlin("1.1")
     get() = ""
-    set(value) {}
+    set(<!UNUSED_PARAMETER!>value<!>) {}
 
 var v4: String
     get() = ""
     @SinceKotlin("1.1")
-    set(value) {}
+    set(<!UNUSED_PARAMETER!>value<!>) {}
 
 var v5: String
     @SinceKotlin("1.1")
     get() = ""
     @SinceKotlin("1.1")
-    set(value) {}
+    set(<!UNUSED_PARAMETER!>value<!>) {}
 
 @SinceKotlin("1.1")
 var v6: String
     get() = ""
-    set(value) {}
+    set(<!UNUSED_PARAMETER!>value<!>) {}
 
 @SinceKotlin("1.0")
 val v7: String

compiler/testData/diagnostics/tests/variance/VarProperty.kt

@@ -36,15 +36,15 @@ abstract class Test<in I, out O, P> {
     abstract var In<<!TYPE_VARIANCE_CONFLICT(I; in; out; In<I>)!>I<!>>.receiver4: Int
     abstract var In<O>.receiver5: Int
 
-    var <X : I> X.typeParameter1: Int get() = 0; set(i) {}
-    var <X : <!TYPE_VARIANCE_CONFLICT(O; out; in; O)!>O<!>> X.typeParameter2: Int get() = 0; set(i) {}
-    var <X : P> X.typeParameter3: Int get() = 0; set(i) {}
-    var <X : In<<!TYPE_VARIANCE_CONFLICT(I; in; out; In<I>)!>I<!>>> X.typeParameter4: Int get() = 0; set(i) {}
-    var <X : In<O>> X.typeParameter5: Int get() = 0; set(i) {}
+    var <X : I> X.typeParameter1: Int get() = 0; set(<!UNUSED_PARAMETER!>i<!>) {}
+    var <X : <!TYPE_VARIANCE_CONFLICT(O; out; in; O)!>O<!>> X.typeParameter2: Int get() = 0; set(<!UNUSED_PARAMETER!>i<!>) {}
+    var <X : P> X.typeParameter3: Int get() = 0; set(<!UNUSED_PARAMETER!>i<!>) {}
+    var <X : In<<!TYPE_VARIANCE_CONFLICT(I; in; out; In<I>)!>I<!>>> X.typeParameter4: Int get() = 0; set(<!UNUSED_PARAMETER!>i<!>) {}
+    var <X : In<O>> X.typeParameter5: Int get() = 0; set(<!UNUSED_PARAMETER!>i<!>) {}
 
-    var <X> X.typeParameter6: Int where X : I get() = 0; set(i) {}
-    var <X> X.typeParameter7: Int where X : <!TYPE_VARIANCE_CONFLICT(O; out; in; O)!>O<!> get() = 0; set(i) {}
-    var <X> X.typeParameter8: Int where X : P get() = 0; set(i) {}
-    var <X> X.typeParameter9: Int where X : In<<!TYPE_VARIANCE_CONFLICT(I; in; out; In<I>)!>I<!>> get() = 0; set(i) {}
-    var <X> X.typeParameter0: Int where X : In<O> get() = 0; set(i) {}
+    var <X> X.typeParameter6: Int where X : I get() = 0; set(<!UNUSED_PARAMETER!>i<!>) {}
+    var <X> X.typeParameter7: Int where X : <!TYPE_VARIANCE_CONFLICT(O; out; in; O)!>O<!> get() = 0; set(<!UNUSED_PARAMETER!>i<!>) {}
+    var <X> X.typeParameter8: Int where X : P get() = 0; set(<!UNUSED_PARAMETER!>i<!>) {}
+    var <X> X.typeParameter9: Int where X : In<<!TYPE_VARIANCE_CONFLICT(I; in; out; In<I>)!>I<!>> get() = 0; set(<!UNUSED_PARAMETER!>i<!>) {}
+    var <X> X.typeParameter0: Int where X : In<O> get() = 0; set(<!UNUSED_PARAMETER!>i<!>) {}
 }

compiler/testData/diagnostics/testsWithJsStdLib/dynamicTypes/dynamicExtension.kt

@@ -8,7 +8,7 @@ fun dynamic.onDynamicFun() = 1
 @kotlin.internal.DynamicExtension
 var dynamic.onDynamicProperty
     get() = ""
-    set(value) {}
+    set(<!UNUSED_PARAMETER!>value<!>) {}
 
 
 fun test(d: dynamic, a: Any?) {

compiler/testData/diagnostics/testsWithJsStdLib/dynamicTypes/extensionVars.kt

@@ -37,19 +37,19 @@ fun test(d: dynamic) {
 
 var Any.onAnyVar: Int
     get() = 1
-    set(v) {}
+    set(<!UNUSED_PARAMETER!>v<!>) {}
 
 var Any?.onNullableAnyVar: Int
     get() = 1
-    set(v) {}
+    set(<!UNUSED_PARAMETER!>v<!>) {}
 
 var String.onStringVar: Int
     get() = 1
-    set(v) {}
+    set(<!UNUSED_PARAMETER!>v<!>) {}
 
 var <!DYNAMIC_RECEIVER_NOT_ALLOWED!>dynamic<!>.onDynamicVar: Int
     get() = 1
-    set(v) {}
+    set(<!UNUSED_PARAMETER!>v<!>) {}
 
 class C {
     fun test(d: dynamic) {
@@ -63,5 +63,5 @@ class C {
     var memberVar = 1
     var Any.memberExtensionVar: Int
         get() = 1
-        set(v) {}
+        set(<!UNUSED_PARAMETER!>v<!>) {}
 }

compiler/testData/diagnostics/testsWithJsStdLib/dynamicTypes/extensionsToDynamic.kt

@@ -39,7 +39,7 @@ val <!DYNAMIC_RECEIVER_NOT_ALLOWED!>dynamic<!>.valOnDynamic: Int get() = 1
 
 var <!DYNAMIC_RECEIVER_NOT_ALLOWED!>dynamic<!>.varOnDynamic: Int
     get() = 1
-    set(v) {}
+    set(<!UNUSED_PARAMETER!>v<!>) {}
 
 
 class ForMemberExtensions {
@@ -54,5 +54,5 @@ class ForMemberExtensions {
     val <!DYNAMIC_RECEIVER_NOT_ALLOWED!>dynamic<!>.memberExtensionVal: Int get() = 1
     var <!DYNAMIC_RECEIVER_NOT_ALLOWED!>dynamic<!>.memberExtensionVar: Int
         get() = 1
-        set(v) {}
+        set(<!UNUSED_PARAMETER!>v<!>) {}
 }

compiler/testData/diagnostics/testsWithJsStdLib/name/jsNameMissingOnAccessors.kt

@@ -3,21 +3,21 @@ package foo
 class A {
     <!JS_NAME_IS_NOT_ON_ALL_ACCESSORS!>var x: Int<!>
         @JsName("get_x") get() = 23
-        set(value) {}
+        set(<!UNUSED_PARAMETER!>value<!>) {}
 
     <!JS_NAME_IS_NOT_ON_ALL_ACCESSORS!>var y: Int<!>
         get() = 23
-        @JsName("set_y") set(value) {}
+        @JsName("set_y") set(<!UNUSED_PARAMETER!>value<!>) {}
 
     var z: Int
         @JsName("get_z") get() = 23
-        @JsName("set_z") set(value) {}
+        @JsName("set_z") set(<!UNUSED_PARAMETER!>value<!>) {}
 }
 
 <!JS_NAME_IS_NOT_ON_ALL_ACCESSORS!>var xx: Int<!>
     @JsName("get_xx") get() = 23
-    set(value) {}
+    set(<!UNUSED_PARAMETER!>value<!>) {}
 
 <!JS_NAME_IS_NOT_ON_ALL_ACCESSORS!>var A.ext: Int<!>
     @JsName("get_ext") get() = 23
-    set(value) {}
+    set(<!UNUSED_PARAMETER!>value<!>) {}

compiler/testData/diagnostics/testsWithJsStdLib/name/jsNameOnAccessors.kt

@@ -3,5 +3,5 @@ package foo
 class A {
     var x: Int
         <!JS_NAME_CLASH!>@JsName("xx") get()<!> = 0
-        <!JS_NAME_CLASH!>@JsName("xx") set(value)<!> {}
+        <!JS_NAME_CLASH!>@JsName("xx") set(<!UNUSED_PARAMETER!>value<!>)<!> {}
 }

compiler/testData/diagnostics/testsWithJsStdLib/name/jsNameOnPropertyAndAccessor.kt

@@ -8,7 +8,7 @@ class A {
 
     @JsName("m_") var m: Int
         <!JS_NAME_ON_ACCESSOR_AND_PROPERTY!>@JsName("get_m")<!> get() = 23
-        <!JS_NAME_ON_ACCESSOR_AND_PROPERTY!>@JsName("set_m")<!> set(value) {}
+        <!JS_NAME_ON_ACCESSOR_AND_PROPERTY!>@JsName("set_m")<!> set(<!UNUSED_PARAMETER!>value<!>) {}
 }
 
 @JsName("xx_") val xx: Int
@@ -18,4 +18,4 @@ class A {
 
 @JsName("mm_") var mm: Int
     <!JS_NAME_ON_ACCESSOR_AND_PROPERTY!>@JsName("get_mm")<!> get() = 23
-    <!JS_NAME_ON_ACCESSOR_AND_PROPERTY!>@JsName("set_mm")<!> set(value) {}
+    <!JS_NAME_ON_ACCESSOR_AND_PROPERTY!>@JsName("set_mm")<!> set(<!UNUSED_PARAMETER!>value<!>) {}

compiler/testData/diagnostics/testsWithStdLib/annotations/annotationParameters/nonConstValAsArgument.kt

@@ -27,7 +27,7 @@ var mutable = ""
 
 var mutableWithGetter
     get() = ""
-    set(x) = TODO()
+    set(<!UNUSED_PARAMETER!>x<!>) = TODO()
 
 object WithLateinit {
     lateinit var kClass: KClass<*>

compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/noJvmDefaultFlag.kt

@@ -25,5 +25,5 @@ interface B {
     <!JVM_DEFAULT_IN_DECLARATION!>@JvmDefault
     var prop4: String<!>
         get() = ""
-        set(value) {}
+        set(<!UNUSED_PARAMETER!>value<!>) {}
 }

compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/propertyAccessor.kt

@@ -10,5 +10,5 @@ interface B {
 
     var prop2: String
         <!WRONG_ANNOTATION_TARGET!>@JvmDefault<!> get() = ""
-        <!WRONG_ANNOTATION_TARGET!>@JvmDefault<!> set(value) {}
+        <!WRONG_ANNOTATION_TARGET!>@JvmDefault<!> set(<!UNUSED_PARAMETER!>value<!>) {}
 }

compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/target6.kt

@@ -25,5 +25,5 @@ interface B {
     <!JVM_DEFAULT_IN_JVM6_TARGET!>@JvmDefault<!>
     var prop4: String
         get() = ""
-        set(value) {}
+        set(<!UNUSED_PARAMETER!>value<!>) {}
 }

compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/target8.kt

@@ -26,5 +26,5 @@ interface B {
     @JvmDefault
     var prop4: String
         get() = ""
-        set(value) {}
+        set(<!UNUSED_PARAMETER!>value<!>) {}
 }

compiler/testData/diagnostics/testsWithStdLib/annotations/jvmStatic/property.kt

@@ -7,7 +7,7 @@ open class B {
 class A {
     companion object : B() {
         var p1:Int = 1
-            @JvmStatic set(p: Int) {
+            @JvmStatic set(<!UNUSED_PARAMETER!>p<!>: Int) {
                 p1 = 1
             }
 
@@ -21,7 +21,7 @@ class A {
 
     object A : B() {
         var p:Int = 1
-            @JvmStatic set(p1: Int) {
+            @JvmStatic set(<!UNUSED_PARAMETER!>p1<!>: Int) {
                 p = 1
             }
 
@@ -36,7 +36,7 @@ class A {
     }
 
     var p:Int = 1
-        <!JVM_STATIC_NOT_IN_OBJECT_OR_CLASS_COMPANION!>@JvmStatic set(p1: Int)<!> {
+        <!JVM_STATIC_NOT_IN_OBJECT_OR_CLASS_COMPANION!>@JvmStatic set(<!UNUSED_PARAMETER!>p1<!>: Int)<!> {
             p = 1
         }
 

idea/testData/checker/Constructors.kt

@@ -35,5 +35,5 @@ class NoCPI {
   val a = 1
   var ab = <error>1</error>
     get() = 1
-    set(v) {}
+    set(<warning>v</warning>) {}
 }

idea/testData/checker/infos/PropertiesWithBackingFields.kt

@@ -30,10 +30,10 @@
     <error>var v1 : Int</error> <info>get</info>
     <error>var v2 : Int</error> <info>get</info> <info>set</info>
     <error>var v3 : Int</error> <info>get</info>() = 1; <info>set</info>
-    var v4 : Int <info>get</info>() = 1; <info>set</info>(x){}
+    var v4 : Int <info>get</info>() = 1; <info>set</info>(<warning>x</warning>){}
 
     <error>var v5 : Int</error> <info>get</info>() = 1; <info>set</info>(x){field = x}
-    <error>var v6 : Int</error> <info>get</info>() = field + 1; <info>set</info>(x){}
+    <error>var v6 : Int</error> <info>get</info>() = field + 1; <info>set</info>(<warning>x</warning>){}
 
   <error>var v9 : Int</error> <info>set</info>
   <error>var v10 : Int</error> <info>get</info>