[FIR] implicit type: avoid redundant property and function transformations

This is a contract violation – we can touch only bodies during this phase

^KT-56551

compiler/testData/diagnostics/tests/annotations/MutuallyRecursivelyAnnotatedGlobalFunction.fir.kt

@@ -1,4 +0,0 @@
-// Functions can be recursively annotated
-annotation class ann(val x: Int)
-@ann(<!ANNOTATION_ARGUMENT_MUST_BE_CONST!>bar()<!>) fun foo() = 1
-@ann(<!ANNOTATION_ARGUMENT_MUST_BE_CONST, TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM!>foo()<!>) fun bar() = 2

compiler/testData/diagnostics/tests/annotations/MutuallyRecursivelyAnnotatedGlobalFunction.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 // Functions can be recursively annotated
 annotation class ann(val x: Int)
 @ann(<!ANNOTATION_ARGUMENT_MUST_BE_CONST!>bar()<!>) fun foo() = 1

compiler/testData/diagnostics/tests/annotations/MutuallyRecursivelyAnnotatedGlobalFunction.reversed.kt

@@ -1,4 +0,0 @@
-// Functions can be recursively annotated
-annotation class ann(val x: Int)
-@ann(<!ANNOTATION_ARGUMENT_MUST_BE_CONST, TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM!>bar()<!>) fun foo() = 1
-@ann(<!ANNOTATION_ARGUMENT_MUST_BE_CONST!>foo()<!>) fun bar() = 2

compiler/testData/diagnostics/tests/annotations/RecursivelyAnnotatedGlobalFunction.fir.kt

@@ -1,3 +0,0 @@
-// Functions can be recursively annotated
-annotation class ann(val x: Int)
-@ann(<!ANNOTATION_ARGUMENT_MUST_BE_CONST, TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM!>foo()<!>) fun foo() = 1

compiler/testData/diagnostics/tests/annotations/RecursivelyAnnotatedGlobalFunction.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 // Functions can be recursively annotated
 annotation class ann(val x: Int)
 @ann(<!ANNOTATION_ARGUMENT_MUST_BE_CONST!>foo()<!>) fun foo() = 1

compiler/testData/diagnostics/tests/annotations/cycleAnnotationOnFunction.fir.kt

@@ -1,6 +0,0 @@
-package myPack
-
-annotation class Anno(val number: Int)
-
-@Anno(<!ANNOTATION_ARGUMENT_MUST_BE_CONST, TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM!>function(42)<!>)
-fun function(@Anno(<!ANNOTATION_ARGUMENT_MUST_BE_CONST, TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM!>function(24)<!>) param: Int = <!TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM!>function(0)<!>) = 1

compiler/testData/diagnostics/tests/annotations/cycleAnnotationOnFunction.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 package myPack
 
 annotation class Anno(val number: Int)

compiler/testData/diagnostics/tests/annotations/cycleAnnotationOnFunctionParameterType.kt

@@ -4,4 +4,4 @@ package myPack
 @Target(AnnotationTarget.TYPE)
 annotation class Anno(val number: Int)
 
-fun function(param: @Anno(<!ANNOTATION_ARGUMENT_MUST_BE_CONST, TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM!>function(42)<!>) Int) = 1
+fun function(param: @Anno(<!ANNOTATION_ARGUMENT_MUST_BE_CONST!>function(42)<!>) Int) = 1

compiler/testData/diagnostics/tests/annotations/cycleAnnotationOnProperty.fir.kt

@@ -1,10 +0,0 @@
-package myPack
-
-annotation class Anno(val number: Int)
-
-@Anno(<!ANNOTATION_ARGUMENT_MUST_BE_CONST, TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM!>prop<!>)
-var prop
-    @Anno(<!ANNOTATION_ARGUMENT_MUST_BE_CONST, TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM!>prop<!>)
-    get() = 22
-    @Anno(<!ANNOTATION_ARGUMENT_MUST_BE_CONST!>prop<!>)
-    set(@Anno(<!ANNOTATION_ARGUMENT_MUST_BE_CONST!>prop<!>) value) = Unit

compiler/testData/diagnostics/tests/annotations/cycleAnnotationOnProperty.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 package myPack
 
 annotation class Anno(val number: Int)

compiler/testData/diagnostics/tests/annotations/cycleAnnotationOnReceiverParameterFunction.fir.kt

@@ -1,5 +0,0 @@
-package myPack
-
-annotation class Anno(val number: Int)
-
-fun @receiver:Anno(<!ANNOTATION_ARGUMENT_MUST_BE_CONST, TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM!>42.function()<!>) Int.function() = 1

compiler/testData/diagnostics/tests/annotations/cycleAnnotationOnReceiverParameterFunction.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 package myPack
 
 annotation class Anno(val number: Int)

compiler/testData/diagnostics/tests/annotations/cycleAnnotationOnReceiverParameterProperty.fir.kt

@@ -1,5 +0,0 @@
-package myPack
-
-annotation class Anno(val number: Int)
-
-val @receiver:Anno(<!ANNOTATION_ARGUMENT_MUST_BE_CONST, TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM!>42.prop<!>) Int.prop get() = 22

compiler/testData/diagnostics/tests/annotations/cycleAnnotationOnReceiverParameterProperty.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 package myPack
 
 annotation class Anno(val number: Int)

compiler/testData/diagnostics/tests/annotations/cycleAnnotationOnTypeParameterFunction.kt

@@ -4,4 +4,4 @@ package myPack
 @Target(AnnotationTarget.TYPE_PARAMETER)
 annotation class Anno(val number: Int)
 
-fun <@Anno(<!ANNOTATION_ARGUMENT_MUST_BE_CONST, TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM!>function<String>()<!>) T> function() = 1
+fun <@Anno(<!ANNOTATION_ARGUMENT_MUST_BE_CONST!>function<String>()<!>) T> function() = 1

compiler/testData/diagnostics/tests/annotations/cycleAnnotationOnTypeParameterProperty.kt

@@ -4,4 +4,4 @@ package myPack
 @Target(AnnotationTarget.TYPE_PARAMETER)
 annotation class Anno(val number: Int)
 
-val <@Anno(<!ANNOTATION_ARGUMENT_MUST_BE_CONST, TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM!>42.prop<!>) T> T.prop get() = 22
+val <@Anno(<!ANNOTATION_ARGUMENT_MUST_BE_CONST!>42.prop<!>) T> T.prop get() = 22