[FIR] Add a test for a tn CAN_BE_REPLACED_WITH_OPERATOR_ASSIGNMENT

Author: lunakoly

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFirTestdataTestGenerated.java

@@ -0,0 +1,30 @@
+FILE: trueNegativeOperatorAssignmentOnPropertyFromClass.kt
+    public final class Test : R|kotlin/Any| {
+        public constructor(number: R|kotlin/Int| = Int(10)): R|Test| {
+            super<R|kotlin/Any|>()
+        }
+
+        public final var number: R|kotlin/Int| = R|<local>/number|
+            public get(): R|kotlin/Int|
+            public set(value: R|kotlin/Int|): R|kotlin/Unit| {
+            }
+
+    }
+    public final var index: R|kotlin/Int| = Int(10)
+        public get(): R|kotlin/Int|
+        public set(value: R|kotlin/Int|): R|kotlin/Unit|
+    public final val test: R|Test|
+        public get(): R|Test| {
+            ^ R|/Test.Test|(R|/index|).R|kotlin/also|<R|Test|>(<L> = also@fun <anonymous>(it: R|Test|): R|kotlin/Unit| <inline=Inline, kind=EXACTLY_ONCE>  {
+                 {
+                    lval <unary>: R|kotlin/Int| = R|/index|
+                    R|/index| = R|<local>/<unary>|.R|kotlin/Int.inc|()
+                    R|<local>/<unary>|
+                }
+
+            }
+            )
+        }
+    public final fun main(): R|kotlin/Unit| {
+        R|/test|.R|/Test.number| = R|/test|.R|/Test.number|.R|kotlin/Int.plus|(Int(100))
+    }

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFirTestDataTestGenerated.java

@@ -0,0 +1,19 @@
+// WITH_EXPERIMENTAL_CHECKERS
+// WITH_EXTRA_CHECKERS
+
+class Test(number: Int = 10) {
+    var number: Int = number
+        set(value) { /* println(value) */ }
+}
+
+var index = 10
+
+val test: Test
+    get() = Test(index).also { index++ }
+
+fun main() {
+    // This results in printing 111
+     test.number = test.number + 100
+    // But this should print 110
+    // test.number += 100
+}