diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayAccessConvention.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayAccessConvention.txt
index 4bf2988de44..7f5dfd489e5 100644
--- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayAccessConvention.txt
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayAccessConvention.txt
@@ -3,4 +3,4 @@ FIR element: FirFunctionCallImpl
 FIR source kind: KtRealSourceElementKind
 
 FIR element rendered:
-R|<local>/<<array>>|.R|SubstitutionOverride</MyMap.set: R|kotlin/Unit|>|(R|<local>/<<index_0>>|, R|<local>/<<array>>|.R|SubstitutionOverride</MyMap.get: R|kotlin/Int|>|(R|<local>/<<index_0>>|).R|kotlin/Int.plus|(Int(1)))
+R|<local>/<array>|.R|SubstitutionOverride</MyMap.set: R|kotlin/Unit|>|(R|<local>/<index_0>|, R|<local>/<array>|.R|SubstitutionOverride</MyMap.get: R|kotlin/Int|>|(R|<local>/<index_0>|).R|kotlin/Int.plus|(Int(1)))
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayAccessConvention_lhs.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayAccessConvention_lhs.txt
index 974e4776097..afa55097e1e 100644
--- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayAccessConvention_lhs.txt
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayAccessConvention_lhs.txt
@@ -3,4 +3,4 @@ FIR element: FirFunctionCallImpl
 FIR source kind: DesugaredCompoundAssignment
 
 FIR element rendered:
-R|<local>/<<array>>|.R|SubstitutionOverride</MyMap.get: R|kotlin/Int|>|(R|<local>/<<index_0>>|)
\ No newline at end of file
+R|<local>/<array>|.R|SubstitutionOverride</MyMap.get: R|kotlin/Int|>|(R|<local>/<index_0>|)
\ No newline at end of file
diff --git a/compiler/fir/analysis-tests/testData/resolve/arrays/arraySetWithOperation.fir.txt b/compiler/fir/analysis-tests/testData/resolve/arrays/arraySetWithOperation.fir.txt
index a77bde54efe..0dac396614f 100644
--- a/compiler/fir/analysis-tests/testData/resolve/arrays/arraySetWithOperation.fir.txt
+++ b/compiler/fir/analysis-tests/testData/resolve/arrays/arraySetWithOperation.fir.txt
@@ -49,9 +49,9 @@ FILE: arraySetWithOperation.kt
     }
     public final fun test_2(a: R|A<C>|): R|kotlin/Unit| {
          {
-            lval <<array>>: R|A<C>| = R|<local>/a|
-            lval <<index_0>>: R|kotlin/Int| = Int(0)
-            R|<local>/<<array>>|.R|SubstitutionOverride</A.set: R|kotlin/Unit|>|(R|<local>/<<index_0>>|, R|<local>/<<array>>|.R|SubstitutionOverride</A.get: R|C|>|(R|<local>/<<index_0>>|).R|/C.plus|(R|/C.C|()))
+            lval <array>: R|A<C>| = R|<local>/a|
+            lval <index_0>: R|kotlin/Int| = Int(0)
+            R|<local>/<array>|.R|SubstitutionOverride</A.set: R|kotlin/Unit|>|(R|<local>/<index_0>|, R|<local>/<array>|.R|SubstitutionOverride</A.get: R|C|>|(R|<local>/<index_0>|).R|/C.plus|(R|/C.C|()))
         }
 
     }
diff --git a/compiler/fir/analysis-tests/testData/resolve/callResolution/arraySetWithPlusAssign.fir.txt b/compiler/fir/analysis-tests/testData/resolve/callResolution/arraySetWithPlusAssign.fir.txt
index 924d225c2e7..d4783ae2e20 100644
--- a/compiler/fir/analysis-tests/testData/resolve/callResolution/arraySetWithPlusAssign.fir.txt
+++ b/compiler/fir/analysis-tests/testData/resolve/callResolution/arraySetWithPlusAssign.fir.txt
@@ -174,18 +174,18 @@ FILE: arraySetWithPlusAssign.kt
     }
     public final fun test_7(x: R|G|): R|kotlin/Unit| {
          {
-            lval <<array>>: R|G| = R|<local>/x|
-            lval <<index_0>>: R|kotlin/Int| = Int(1)
-            lval <<index_1>>: R|kotlin/Int| = Int(2)
-            lval <<index_2>>: R|kotlin/Int| = Int(3)
-            R|<local>/<<array>>|.R|/G.set|(R|<local>/<<index_0>>|, R|<local>/<<index_1>>|, R|<local>/<<index_2>>|, R|<local>/<<array>>|.R|/G.get|(R|<local>/<<index_0>>|, R|<local>/<<index_1>>|, R|<local>/<<index_2>>|).R|/G.plus|(fun <anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
+            lval <array>: R|G| = R|<local>/x|
+            lval <index_0>: R|kotlin/Int| = Int(1)
+            lval <index_1>: R|kotlin/Int| = Int(2)
+            lval <index_2>: R|kotlin/Int| = Int(3)
+            R|<local>/<array>|.R|/G.set|(R|<local>/<index_0>|, R|<local>/<index_1>|, R|<local>/<index_2>|, R|<local>/<array>|.R|/G.get|(R|<local>/<index_0>|, R|<local>/<index_1>|, R|<local>/<index_2>|).R|/G.plus|(fun <anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
                 R|/someCallInsideLambda|()
                  {
-                    lval <<array>>: R|G| = R|<local>/x|
-                    lval <<index_0>>: R|kotlin/Int| = Int(1)
-                    lval <<index_1>>: R|kotlin/Int| = Int(2)
-                    lval <<index_2>>: R|kotlin/Int| = Int(3)
-                    R|<local>/<<array>>|.R|/G.set|(R|<local>/<<index_0>>|, R|<local>/<<index_1>>|, R|<local>/<<index_2>>|, R|<local>/<<array>>|.R|/G.get|(R|<local>/<<index_0>>|, R|<local>/<<index_1>>|, R|<local>/<<index_2>>|).R|/G.plus|(fun <anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
+                    lval <array>: R|G| = R|<local>/x|
+                    lval <index_0>: R|kotlin/Int| = Int(1)
+                    lval <index_1>: R|kotlin/Int| = Int(2)
+                    lval <index_2>: R|kotlin/Int| = Int(3)
+                    R|<local>/<array>|.R|/G.set|(R|<local>/<index_0>|, R|<local>/<index_1>|, R|<local>/<index_2>|, R|<local>/<array>|.R|/G.get|(R|<local>/<index_0>|, R|<local>/<index_1>|, R|<local>/<index_2>|).R|/G.plus|(fun <anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
                         R|/someCallInsideLambda|()
                         Q|kotlin/Unit|
                     }
diff --git a/compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/checkers/FirHelpers.kt b/compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/checkers/FirHelpers.kt
index 6eed552075f..50f50c637c4 100644
--- a/compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/checkers/FirHelpers.kt
+++ b/compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/checkers/FirHelpers.kt
@@ -255,7 +255,7 @@ fun FirClass.findNonInterfaceSupertype(context: CheckerContext): FirTypeRef? {
 }
 
 val FirFunctionCall.isIterator: Boolean
-    get() = this.calleeReference.name.asString() == "<iterator>"
+    get() = this.calleeReference.name == SpecialNames.ITERATOR
 
 fun ConeKotlinType.isSubtypeOfThrowable(session: FirSession): Boolean =
     session.builtinTypes.throwableType.type.isSupertypeOf(session.typeContext, this.fullyExpandedType(session))
diff --git a/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/expressions/safeCallsWithUnaryOperators.txt b/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/expressions/safeCallsWithUnaryOperators.txt
index da890c8b285..85221854513 100644
--- a/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/expressions/safeCallsWithUnaryOperators.txt
+++ b/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/expressions/safeCallsWithUnaryOperators.txt
@@ -20,45 +20,45 @@ FILE: safeCallsWithUnaryOperators.kt
         R|<local>/<unary>|
         a#?.{  {
             lval <array>: <implicit> = $subj$.b#
-            lval <index0>: <implicit> = IntegerLiteral(0)
-            lval <unary>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index0>|)
-            R|<local>/<array>|.set#(R|<local>/<index0>|, R|<local>/<unary>|.inc#())
+            lval <index_0>: <implicit> = IntegerLiteral(0)
+            lval <unary>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index_0>|)
+            R|<local>/<array>|.set#(R|<local>/<index_0>|, R|<local>/<unary>|.inc#())
             R|<local>/<unary>|
         }
          }
         a#?.{ $subj$.b# }?.{  {
             lval <array>: <implicit> = $subj$.c#
-            lval <index0>: <implicit> = IntegerLiteral(0)
-            lval <unary>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index0>|)
-            R|<local>/<array>|.set#(R|<local>/<index0>|, R|<local>/<unary>|.inc#())
+            lval <index_0>: <implicit> = IntegerLiteral(0)
+            lval <unary>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index_0>|)
+            R|<local>/<array>|.set#(R|<local>/<index_0>|, R|<local>/<unary>|.inc#())
             R|<local>/<unary>|
         }
          }
         lval <array>: <implicit> = a#?.{ $subj$.b# }.c#
-        lval <index0>: <implicit> = IntegerLiteral(0)
-        lval <unary>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index0>|)
-        R|<local>/<array>|.set#(R|<local>/<index0>|, R|<local>/<unary>|.inc#())
+        lval <index_0>: <implicit> = IntegerLiteral(0)
+        lval <unary>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index_0>|)
+        R|<local>/<array>|.set#(R|<local>/<index_0>|, R|<local>/<unary>|.inc#())
         R|<local>/<unary>|
         a#?.{  {
             lval <array>: <implicit> = $subj$.b#.get#(IntegerLiteral(0))
-            lval <index0>: <implicit> = IntegerLiteral(0)
-            lval <unary>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index0>|)
-            R|<local>/<array>|.set#(R|<local>/<index0>|, R|<local>/<unary>|.inc#())
+            lval <index_0>: <implicit> = IntegerLiteral(0)
+            lval <unary>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index_0>|)
+            R|<local>/<array>|.set#(R|<local>/<index_0>|, R|<local>/<unary>|.inc#())
             R|<local>/<unary>|
         }
          }
         a#?.{ $subj$.b# }?.{  {
             lval <array>: <implicit> = $subj$.c#.get#(IntegerLiteral(0))
-            lval <index0>: <implicit> = IntegerLiteral(0)
-            lval <unary>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index0>|)
-            R|<local>/<array>|.set#(R|<local>/<index0>|, R|<local>/<unary>|.inc#())
+            lval <index_0>: <implicit> = IntegerLiteral(0)
+            lval <unary>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index_0>|)
+            R|<local>/<array>|.set#(R|<local>/<index_0>|, R|<local>/<unary>|.inc#())
             R|<local>/<unary>|
         }
          }
         lval <array>: <implicit> = a#?.{ $subj$.b# }.c#.get#(IntegerLiteral(0))
-        lval <index0>: <implicit> = IntegerLiteral(0)
-        lval <unary>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index0>|)
-        R|<local>/<array>|.set#(R|<local>/<index0>|, R|<local>/<unary>|.inc#())
+        lval <index_0>: <implicit> = IntegerLiteral(0)
+        lval <unary>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index_0>|)
+        R|<local>/<array>|.set#(R|<local>/<index_0>|, R|<local>/<unary>|.inc#())
         R|<local>/<unary>|
         lval <receiver>: <implicit> = a#?.{ $subj$.b# }
         lval <unary>: <implicit> = R|<local>/<receiver>|.d#()
@@ -86,45 +86,45 @@ FILE: safeCallsWithUnaryOperators.kt
         R|<local>/<unary-result>|
         a#?.{  {
             lval <array>: <implicit> = $subj$.b#
-            lval <index0>: <implicit> = IntegerLiteral(0)
-            lval <unary-result>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index0>|).inc#()
-            R|<local>/<array>|.set#(R|<local>/<index0>|, R|<local>/<unary-result>|)
+            lval <index_0>: <implicit> = IntegerLiteral(0)
+            lval <unary-result>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index_0>|).inc#()
+            R|<local>/<array>|.set#(R|<local>/<index_0>|, R|<local>/<unary-result>|)
             R|<local>/<unary-result>|
         }
          }
         a#?.{ $subj$.b# }?.{  {
             lval <array>: <implicit> = $subj$.c#
-            lval <index0>: <implicit> = IntegerLiteral(0)
-            lval <unary-result>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index0>|).inc#()
-            R|<local>/<array>|.set#(R|<local>/<index0>|, R|<local>/<unary-result>|)
+            lval <index_0>: <implicit> = IntegerLiteral(0)
+            lval <unary-result>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index_0>|).inc#()
+            R|<local>/<array>|.set#(R|<local>/<index_0>|, R|<local>/<unary-result>|)
             R|<local>/<unary-result>|
         }
          }
         lval <array>: <implicit> = a#?.{ $subj$.b# }.c#
-        lval <index0>: <implicit> = IntegerLiteral(0)
-        lval <unary-result>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index0>|).inc#()
-        R|<local>/<array>|.set#(R|<local>/<index0>|, R|<local>/<unary-result>|)
+        lval <index_0>: <implicit> = IntegerLiteral(0)
+        lval <unary-result>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index_0>|).inc#()
+        R|<local>/<array>|.set#(R|<local>/<index_0>|, R|<local>/<unary-result>|)
         R|<local>/<unary-result>|
         a#?.{  {
             lval <array>: <implicit> = $subj$.b#.get#(IntegerLiteral(0))
-            lval <index0>: <implicit> = IntegerLiteral(0)
-            lval <unary-result>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index0>|).inc#()
-            R|<local>/<array>|.set#(R|<local>/<index0>|, R|<local>/<unary-result>|)
+            lval <index_0>: <implicit> = IntegerLiteral(0)
+            lval <unary-result>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index_0>|).inc#()
+            R|<local>/<array>|.set#(R|<local>/<index_0>|, R|<local>/<unary-result>|)
             R|<local>/<unary-result>|
         }
          }
         a#?.{ $subj$.b# }?.{  {
             lval <array>: <implicit> = $subj$.c#.get#(IntegerLiteral(0))
-            lval <index0>: <implicit> = IntegerLiteral(0)
-            lval <unary-result>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index0>|).inc#()
-            R|<local>/<array>|.set#(R|<local>/<index0>|, R|<local>/<unary-result>|)
+            lval <index_0>: <implicit> = IntegerLiteral(0)
+            lval <unary-result>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index_0>|).inc#()
+            R|<local>/<array>|.set#(R|<local>/<index_0>|, R|<local>/<unary-result>|)
             R|<local>/<unary-result>|
         }
          }
         lval <array>: <implicit> = a#?.{ $subj$.b# }.c#.get#(IntegerLiteral(0))
-        lval <index0>: <implicit> = IntegerLiteral(0)
-        lval <unary-result>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index0>|).inc#()
-        R|<local>/<array>|.set#(R|<local>/<index0>|, R|<local>/<unary-result>|)
+        lval <index_0>: <implicit> = IntegerLiteral(0)
+        lval <unary-result>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index_0>|).inc#()
+        R|<local>/<array>|.set#(R|<local>/<index_0>|, R|<local>/<unary-result>|)
         R|<local>/<unary-result>|
         lval <receiver>: <implicit> = a#?.{ $subj$.b# }
         lval <unary-result>: <implicit> = R|<local>/<receiver>|.d#().inc#()
diff --git a/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/expressions/unary.txt b/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/expressions/unary.txt
index c0ff77be96b..7ce37d68542 100644
--- a/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/expressions/unary.txt
+++ b/compiler/fir/raw-fir/psi2fir/testData/rawBuilder/expressions/unary.txt
@@ -58,17 +58,17 @@ FILE: unary.kt
     public? final? fun test3(arr: Array<Int>): R|kotlin/Unit| {
         lval x1: <implicit> =  {
             lval <array>: <implicit> = arr#
-            lval <index0>: <implicit> = IntegerLiteral(0)
-            lval <unary>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index0>|)
-            R|<local>/<array>|.set#(R|<local>/<index0>|, R|<local>/<unary>|.inc#())
+            lval <index_0>: <implicit> = IntegerLiteral(0)
+            lval <unary>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index_0>|)
+            R|<local>/<array>|.set#(R|<local>/<index_0>|, R|<local>/<unary>|.inc#())
             R|<local>/<unary>|
         }
 
         lval x2: <implicit> =  {
             lval <array>: <implicit> = arr#
-            lval <index0>: <implicit> = IntegerLiteral(1)
-            lval <unary-result>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index0>|).inc#()
-            R|<local>/<array>|.set#(R|<local>/<index0>|, R|<local>/<unary-result>|)
+            lval <index_0>: <implicit> = IntegerLiteral(1)
+            lval <unary-result>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index_0>|).inc#()
+            R|<local>/<array>|.set#(R|<local>/<index_0>|, R|<local>/<unary-result>|)
             R|<local>/<unary-result>|
         }
 
@@ -85,17 +85,17 @@ FILE: unary.kt
     public? final? fun test4(y: Y): R|kotlin/Unit| {
         lval x1: <implicit> =  {
             lval <array>: <implicit> = y#.arr#
-            lval <index0>: <implicit> = IntegerLiteral(0)
-            lval <unary>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index0>|)
-            R|<local>/<array>|.set#(R|<local>/<index0>|, R|<local>/<unary>|.inc#())
+            lval <index_0>: <implicit> = IntegerLiteral(0)
+            lval <unary>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index_0>|)
+            R|<local>/<array>|.set#(R|<local>/<index_0>|, R|<local>/<unary>|.inc#())
             R|<local>/<unary>|
         }
 
         lval x2: <implicit> =  {
             lval <array>: <implicit> = y#.arr#
-            lval <index0>: <implicit> = IntegerLiteral(1)
-            lval <unary-result>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index0>|).inc#()
-            R|<local>/<array>|.set#(R|<local>/<index0>|, R|<local>/<unary-result>|)
+            lval <index_0>: <implicit> = IntegerLiteral(1)
+            lval <unary-result>: <implicit> = R|<local>/<array>|.get#(R|<local>/<index_0>|).inc#()
+            R|<local>/<array>|.set#(R|<local>/<index_0>|, R|<local>/<unary-result>|)
             R|<local>/<unary-result>|
         }
 
diff --git a/compiler/fir/raw-fir/raw-fir.common/src/org/jetbrains/kotlin/fir/builder/BaseFirBuilder.kt b/compiler/fir/raw-fir/raw-fir.common/src/org/jetbrains/kotlin/fir/builder/BaseFirBuilder.kt
index d339dc8609c..4518c1e3f38 100644
--- a/compiler/fir/raw-fir/raw-fir.common/src/org/jetbrains/kotlin/fir/builder/BaseFirBuilder.kt
+++ b/compiler/fir/raw-fir/raw-fir.common/src/org/jetbrains/kotlin/fir/builder/BaseFirBuilder.kt
@@ -715,7 +715,7 @@ abstract class BaseFirBuilder<T>(val baseSession: FirSession, val context: Conte
             val argumentReceiverVariable = generateTemporaryVariable(
                 baseModuleData,
                 argumentReceiver?.toFirSourceElement(),
-                Name.special("<receiver>"),
+                SpecialNames.RECEIVER,
                 initializer = receiverFir,
             ).also { statements += it }
 
@@ -795,7 +795,7 @@ abstract class BaseFirBuilder<T>(val baseSession: FirSession, val context: Conte
             val arrayVariable = generateTemporaryVariable(
                 baseModuleData,
                 array?.toFirSourceElement(),
-                Name.special("<array>"),
+                name = SpecialNames.ARRAY,
                 initializer = arrayReceiver,
             ).also { statements += it }
 
@@ -803,7 +803,7 @@ abstract class BaseFirBuilder<T>(val baseSession: FirSession, val context: Conte
                 generateTemporaryVariable(
                     baseModuleData,
                     index.toFirSourceElement(),
-                    Name.special("<index$i>"),
+                    name = SpecialNames.subscribeOperatorIndex(i),
                     index.convert()
                 ).also { statements += it }
             }
diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirExpressionsResolveTransformer.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirExpressionsResolveTransformer.kt
index c51751faf2a..e379e8027d0 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirExpressionsResolveTransformer.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirExpressionsResolveTransformer.kt
@@ -44,6 +44,7 @@ import org.jetbrains.kotlin.fir.visitors.FirTransformer
 import org.jetbrains.kotlin.fir.visitors.TransformData
 import org.jetbrains.kotlin.fir.visitors.transformSingle
 import org.jetbrains.kotlin.name.Name
+import org.jetbrains.kotlin.name.SpecialNames
 import org.jetbrains.kotlin.name.StandardClassIds
 import org.jetbrains.kotlin.resolve.calls.inference.buildAbstractResultingSubstitutor
 import org.jetbrains.kotlin.types.AbstractTypeChecker
@@ -1304,7 +1305,7 @@ open class FirExpressionsResolveTransformer(transformer: FirBodyResolveTransform
         val arrayVariable = generateTemporaryVariable(
             session.moduleData,
             source = lhsGetCall.explicitReceiver?.source?.fakeElement(KtFakeSourceElementKind.DesugaredCompoundAssignment),
-            specialName = "<array>",
+            name = SpecialNames.ARRAY,
             initializer = lhsGetCall.explicitReceiver ?: buildErrorExpression {
                 source = augmentedArraySetCall.source
                     ?.fakeElement(KtFakeSourceElementKind.DesugaredCompoundAssignment)
@@ -1321,7 +1322,7 @@ open class FirExpressionsResolveTransformer(transformer: FirBodyResolveTransform
             generateTemporaryVariable(
                 session.moduleData,
                 source = index.source?.fakeElement(KtFakeSourceElementKind.DesugaredCompoundAssignment),
-                specialName = "<index_$i>",
+                name = SpecialNames.subscribeOperatorIndex(i),
                 initializer = index
             )
         }
diff --git a/compiler/testData/ir/irText/expressions/arrayAugmentedAssignment1.fir.kt.txt b/compiler/testData/ir/irText/expressions/arrayAugmentedAssignment1.fir.kt.txt
index 7b081b2502e..540bb16f892 100644
--- a/compiler/testData/ir/irText/expressions/arrayAugmentedAssignment1.fir.kt.txt
+++ b/compiler/testData/ir/irText/expressions/arrayAugmentedAssignment1.fir.kt.txt
@@ -22,24 +22,24 @@ class C {
 fun testVariable() {
   var x: IntArray = foo()
   { // BLOCK
-    val <<array>>: IntArray = x
-    val <<index_0>>: Int = 0
-    <<array>>.set(index = <<index_0>>, value = <<array>>.get(index = <<index_0>>).plus(other = 1))
+    val <array>: IntArray = x
+    val <index_0>: Int = 0
+    <array>.set(index = <index_0>, value = <array>.get(index = <index_0>).plus(other = 1))
   }
 }
 
 fun testCall() {
   { // BLOCK
-    val <<array>>: IntArray = foo()
-    val <<index_0>>: Int = bar()
-    <<array>>.set(index = <<index_0>>, value = <<array>>.get(index = <<index_0>>).times(other = 2))
+    val <array>: IntArray = foo()
+    val <index_0>: Int = bar()
+    <array>.set(index = <index_0>, value = <array>.get(index = <index_0>).times(other = 2))
   }
 }
 
 fun testMember(c: C) {
   val <array>: IntArray = c.<get-x>()
-  val <index0>: Int = 0
-  val <unary>: Int = <array>.get(index = <index0>)
-  <array>.set(index = <index0>, value = <unary>.inc())
+  val <index_0>: Int = 0
+  val <unary>: Int = <array>.get(index = <index_0>)
+  <array>.set(index = <index_0>, value = <unary>.inc())
   <unary> /*~> Unit */
 }
diff --git a/compiler/testData/ir/irText/expressions/arrayAugmentedAssignment2.fir.kt.txt b/compiler/testData/ir/irText/expressions/arrayAugmentedAssignment2.fir.kt.txt
index 4c7242bb03b..8592f9cdd32 100644
--- a/compiler/testData/ir/irText/expressions/arrayAugmentedAssignment2.fir.kt.txt
+++ b/compiler/testData/ir/irText/expressions/arrayAugmentedAssignment2.fir.kt.txt
@@ -10,8 +10,8 @@ interface IB {
 
 fun IB.test(a: IA) {
   { // BLOCK
-    val <<array>>: IA = a
-    val <<index_0>>: String = ""
-    (<this>, <<array>>).set(index = <<index_0>>, value = <<array>>.get(index = <<index_0>>).plus(other = 42))
+    val <array>: IA = a
+    val <index_0>: String = ""
+    (<this>, <array>).set(index = <index_0>, value = <array>.get(index = <index_0>).plus(other = 42))
   }
 }
diff --git a/compiler/testData/ir/irText/expressions/callableReferences/caoWithAdaptationForSam.fir.kt.txt b/compiler/testData/ir/irText/expressions/callableReferences/caoWithAdaptationForSam.fir.kt.txt
index d5463ad08ef..5a02607a8f2 100644
--- a/compiler/testData/ir/irText/expressions/callableReferences/caoWithAdaptationForSam.fir.kt.txt
+++ b/compiler/testData/ir/irText/expressions/callableReferences/caoWithAdaptationForSam.fir.kt.txt
@@ -45,40 +45,40 @@ fun withVararg(vararg xs: Int): Int {
 
 fun test1() {
   { // BLOCK
-    val <<array>>: A = A
-    val <<index_0>>: KFunction1<Int, Unit> = local fun withVararg(p0: Int) {
+    val <array>: A = A
+    val <index_0>: KFunction1<Int, Unit> = local fun withVararg(p0: Int) {
       withVararg(xs = [p0])
     }
 
-    <<array>>.set(i = <<index_0>> /*-> IFoo */, newValue = <<array>>.get(i = <<index_0>> /*-> IFoo */).plus(other = 1))
+    <array>.set(i = <index_0> /*-> IFoo */, newValue = <array>.get(i = <index_0> /*-> IFoo */).plus(other = 1))
   }
 }
 
 fun test2() {
   { // BLOCK
-    val <<array>>: B = B
-    val <<index_0>>: KFunction1<Int, Unit> = local fun withVararg(p0: Int) {
+    val <array>: B = B
+    val <index_0>: KFunction1<Int, Unit> = local fun withVararg(p0: Int) {
       withVararg(xs = [p0])
     }
 
-    <<array>>.set(i = <<index_0>> /*-> IFoo2 */, newValue = <<array>>.get(i = <<index_0>> /*-> IFoo */).plus(other = 1))
+    <array>.set(i = <index_0> /*-> IFoo2 */, newValue = <array>.get(i = <index_0> /*-> IFoo */).plus(other = 1))
   }
 }
 
 fun test3(fn: Function1<Int, Unit>) {
   { // BLOCK
-    val <<array>>: A = A
-    val <<index_0>>: Function1<Int, Unit> = fn
-    <<array>>.set(i = <<index_0>> /*-> IFoo */, newValue = <<array>>.get(i = <<index_0>> /*-> IFoo */).plus(other = 1))
+    val <array>: A = A
+    val <index_0>: Function1<Int, Unit> = fn
+    <array>.set(i = <index_0> /*-> IFoo */, newValue = <array>.get(i = <index_0> /*-> IFoo */).plus(other = 1))
   }
 }
 
 fun test4(fn: Function1<Int, Unit>) {
   when {
     fn is IFoo -> { // BLOCK
-      val <<array>>: A = A
-      val <<index_0>>: IFoo = fn /*as IFoo */
-      <<array>>.set(i = <<index_0>>, newValue = <<array>>.get(i = <<index_0>>).plus(other = 1))
+      val <array>: A = A
+      val <index_0>: IFoo = fn /*as IFoo */
+      <array>.set(i = <index_0>, newValue = <array>.get(i = <index_0>).plus(other = 1))
     }
   }
 }
@@ -86,9 +86,9 @@ fun test4(fn: Function1<Int, Unit>) {
 fun test5(a: Any) {
   a as Function1<Int, Unit> /*~> Unit */
   { // BLOCK
-    val <<array>>: A = A
-    val <<index_0>>: Function1<Int, Unit> = a /*as Function1<Int, Unit> */
-    <<array>>.set(i = <<index_0>> /*-> IFoo */, newValue = <<array>>.get(i = <<index_0>> /*-> IFoo */).plus(other = 1))
+    val <array>: A = A
+    val <index_0>: Function1<Int, Unit> = a /*as Function1<Int, Unit> */
+    <array>.set(i = <index_0> /*-> IFoo */, newValue = <array>.get(i = <index_0> /*-> IFoo */).plus(other = 1))
   }
 }
 
@@ -96,8 +96,8 @@ fun test6(a: Any) {
   a as Function1<Int, Unit> /*~> Unit */
   a /*as Function1<Int, Unit> */ as IFoo /*~> Unit */
   { // BLOCK
-    val <<array>>: A = A
-    val <<index_0>>: Function1<Int, Unit> = a /*as Function1<Int, Unit> */
-    <<array>>.set(i = <<index_0>>, newValue = <<array>>.get(i = <<index_0>>).plus(other = 1))
+    val <array>: A = A
+    val <index_0>: Function1<Int, Unit> = a /*as Function1<Int, Unit> */
+    <array>.set(i = <index_0>, newValue = <array>.get(i = <index_0>).plus(other = 1))
   }
 }
diff --git a/compiler/testData/ir/irText/expressions/complexAugmentedAssignment.fir.kt.txt b/compiler/testData/ir/irText/expressions/complexAugmentedAssignment.fir.kt.txt
index e0c7037a1d5..2f6d97119cd 100644
--- a/compiler/testData/ir/irText/expressions/complexAugmentedAssignment.fir.kt.txt
+++ b/compiler/testData/ir/irText/expressions/complexAugmentedAssignment.fir.kt.txt
@@ -43,13 +43,13 @@ object X1 {
 fun test1(a: IntArray) {
   var i: Int = 0
   val <array>: IntArray = a
-  val <index0>: Int = { // BLOCK
+  val <index_0>: Int = { // BLOCK
     val <unary>: Int = i
     i = <unary>.inc()
     <unary>
   }
-  val <unary>: Int = <array>.get(index = <index0>)
-  <array>.set(index = <index0>, value = <unary>.inc())
+  val <unary>: Int = <array>.get(index = <index_0>)
+  <array>.set(index = <index_0>, value = <unary>.inc())
   <unary> /*~> Unit */
 }
 
diff --git a/compiler/testData/ir/irText/expressions/incrementDecrement.fir.kt.txt b/compiler/testData/ir/irText/expressions/incrementDecrement.fir.kt.txt
index ae5e74d0547..547e97490d8 100644
--- a/compiler/testData/ir/irText/expressions/incrementDecrement.fir.kt.txt
+++ b/compiler/testData/ir/irText/expressions/incrementDecrement.fir.kt.txt
@@ -59,16 +59,16 @@ fun testPropPostfix() {
 fun testArrayPrefix() {
   val a1: Int = { // BLOCK
     val <array>: IntArray = <get-arr>()
-    val <index0>: Int = 0
-    val <unary-result>: Int = <array>.get(index = <index0>).inc()
-    <array>.set(index = <index0>, value = <unary-result>)
+    val <index_0>: Int = 0
+    val <unary-result>: Int = <array>.get(index = <index_0>).inc()
+    <array>.set(index = <index_0>, value = <unary-result>)
     <unary-result>
   }
   val a2: Int = { // BLOCK
     val <array>: IntArray = <get-arr>()
-    val <index0>: Int = 0
-    val <unary-result>: Int = <array>.get(index = <index0>).dec()
-    <array>.set(index = <index0>, value = <unary-result>)
+    val <index_0>: Int = 0
+    val <unary-result>: Int = <array>.get(index = <index_0>).dec()
+    <array>.set(index = <index_0>, value = <unary-result>)
     <unary-result>
   }
 }
@@ -76,16 +76,16 @@ fun testArrayPrefix() {
 fun testArrayPostfix() {
   val a1: Int = { // BLOCK
     val <array>: IntArray = <get-arr>()
-    val <index0>: Int = 0
-    val <unary>: Int = <array>.get(index = <index0>)
-    <array>.set(index = <index0>, value = <unary>.inc())
+    val <index_0>: Int = 0
+    val <unary>: Int = <array>.get(index = <index_0>)
+    <array>.set(index = <index_0>, value = <unary>.inc())
     <unary>
   }
   val a2: Int = { // BLOCK
     val <array>: IntArray = <get-arr>()
-    val <index0>: Int = 0
-    val <unary>: Int = <array>.get(index = <index0>)
-    <array>.set(index = <index0>, value = <unary>.dec())
+    val <index_0>: Int = 0
+    val <unary>: Int = <array>.get(index = <index_0>)
+    <array>.set(index = <index_0>, value = <unary>.dec())
     <unary>
   }
 }
diff --git a/compiler/testData/ir/irText/expressions/kt28456.fir.kt.txt b/compiler/testData/ir/irText/expressions/kt28456.fir.kt.txt
index bea687736e0..e8bb7ed87bb 100644
--- a/compiler/testData/ir/irText/expressions/kt28456.fir.kt.txt
+++ b/compiler/testData/ir/irText/expressions/kt28456.fir.kt.txt
@@ -21,19 +21,19 @@ fun testSimpleAssignment(a: A) {
 fun testPostfixIncrement(a: A): Int {
   return { // BLOCK
     val <array>: A = a
-    val <index0>: Int = 1
-    val <index1>: Int = 2
-    val <unary>: Int = <array>.get(xs = [<index0>, <index1>])
-    <array>.set(i = <index0>, j = <index1>, v = <unary>.inc())
+    val <index_0>: Int = 1
+    val <index_1>: Int = 2
+    val <unary>: Int = <array>.get(xs = [<index_0>, <index_1>])
+    <array>.set(i = <index_0>, j = <index_1>, v = <unary>.inc())
     <unary>
   }
 }
 
 fun testCompoundAssignment(a: A) {
   { // BLOCK
-    val <<array>>: A = a
-    val <<index_0>>: Int = 1
-    val <<index_1>>: Int = 2
-    <<array>>.set(i = <<index_0>>, j = <<index_1>>, v = <<array>>.get(xs = [<<index_0>>, <<index_1>>]).plus(other = 10))
+    val <array>: A = a
+    val <index_0>: Int = 1
+    val <index_1>: Int = 2
+    <array>.set(i = <index_0>, j = <index_1>, v = <array>.get(xs = [<index_0>, <index_1>]).plus(other = 10))
   }
 }
diff --git a/compiler/testData/ir/irText/expressions/kt28456b.fir.kt.txt b/compiler/testData/ir/irText/expressions/kt28456b.fir.kt.txt
index 4261eb2d798..dfa31d44932 100644
--- a/compiler/testData/ir/irText/expressions/kt28456b.fir.kt.txt
+++ b/compiler/testData/ir/irText/expressions/kt28456b.fir.kt.txt
@@ -21,17 +21,17 @@ fun testSimpleAssignment(a: A) {
 fun testPostfixIncrement(a: A): Int {
   return { // BLOCK
     val <array>: A = a
-    val <index0>: Int = 1
-    val <unary>: Int = <array>.get(i = <index0>)
-    <array>.set(i = <index0>, v = <unary>.inc())
+    val <index_0>: Int = 1
+    val <unary>: Int = <array>.get(i = <index_0>)
+    <array>.set(i = <index_0>, v = <unary>.inc())
     <unary>
   }
 }
 
 fun testCompoundAssignment(a: A) {
   { // BLOCK
-    val <<array>>: A = a
-    val <<index_0>>: Int = 1
-    <<array>>.set(i = <<index_0>>, v = <<array>>.get(i = <<index_0>>).plus(other = 10))
+    val <array>: A = a
+    val <index_0>: Int = 1
+    <array>.set(i = <index_0>, v = <array>.get(i = <index_0>).plus(other = 10))
   }
 }
diff --git a/compiler/testData/ir/irText/expressions/kt36956.fir.kt.txt b/compiler/testData/ir/irText/expressions/kt36956.fir.kt.txt
index d5b48c07d6c..4c84df502e4 100644
--- a/compiler/testData/ir/irText/expressions/kt36956.fir.kt.txt
+++ b/compiler/testData/ir/irText/expressions/kt36956.fir.kt.txt
@@ -25,9 +25,9 @@ val aFloat: A<Float>
 val aInt: Float
   field = { // BLOCK
     val <array>: A<Float> = <get-aFloat>()
-    val <index0>: Int = 1
-    val <unary>: Float = <array>.get(i = <index0>)
-    <array>.set(i = <index0>, v = <unary>.dec())
+    val <index_0>: Int = 1
+    val <unary>: Float = <array>.get(i = <index_0>)
+    <array>.set(i = <index_0>, v = <unary>.dec())
     <unary>
   }
   get
diff --git a/compiler/testData/ir/irText/expressions/lambdaInCAO.fir.kt.txt b/compiler/testData/ir/irText/expressions/lambdaInCAO.fir.kt.txt
index 95d3257a0eb..007411d4ab7 100644
--- a/compiler/testData/ir/irText/expressions/lambdaInCAO.fir.kt.txt
+++ b/compiler/testData/ir/irText/expressions/lambdaInCAO.fir.kt.txt
@@ -17,22 +17,22 @@ fun test1(a: Any) {
 
 fun test2(a: Any) {
   { // BLOCK
-    val <<array>>: Any = a
-    val <<index_0>>: Function0<Unit> = local fun <anonymous>() {
+    val <array>: Any = a
+    val <index_0>: Function0<Unit> = local fun <anonymous>() {
       return Unit
     }
 
-    <<array>>.set(index = <<index_0>>, value = <<array>>.get(index = <<index_0>>).plus(other = 42))
+    <array>.set(index = <index_0>, value = <array>.get(index = <index_0>).plus(other = 42))
   }
 }
 
 fun test3(a: Any) {
   val <array>: Any = a
-  val <index0>: Function0<Unit> = local fun <anonymous>() {
+  val <index_0>: Function0<Unit> = local fun <anonymous>() {
     return Unit
   }
 
-  val <unary>: Int = <array>.get(index = <index0>)
-  <array>.set(index = <index0>, value = <unary>.inc())
+  val <unary>: Int = <array>.get(index = <index_0>)
+  <array>.set(index = <index_0>, value = <unary>.inc())
   <unary> /*~> Unit */
 }
diff --git a/compiler/testData/ir/irText/expressions/safeCallWithIncrementDecrement.fir.kt.txt b/compiler/testData/ir/irText/expressions/safeCallWithIncrementDecrement.fir.kt.txt
index 645c0a39bf5..e1d287f4ef8 100644
--- a/compiler/testData/ir/irText/expressions/safeCallWithIncrementDecrement.fir.kt.txt
+++ b/compiler/testData/ir/irText/expressions/safeCallWithIncrementDecrement.fir.kt.txt
@@ -55,9 +55,9 @@ fun testArrayAccess(nc: C?) {
       EQEQ(arg0 = tmp2_safe_receiver, arg1 = null) -> null
       else -> { // BLOCK
         val <array>: Int = tmp2_safe_receiver.<get-p>()
-        val <index0>: Int = 0
-        val <unary>: Int = <array>.get(index = <index0>)
-        <array>.set(index = <index0>, value = <unary>.inc())
+        val <index_0>: Int = 0
+        val <unary>: Int = <array>.get(index = <index_0>)
+        <array>.set(index = <index_0>, value = <unary>.inc())
         <unary>
       }
     }
diff --git a/core/compiler.common/src/org/jetbrains/kotlin/name/SpecialNames.kt b/core/compiler.common/src/org/jetbrains/kotlin/name/SpecialNames.kt
index 056e7a98dce..2de9e0de059 100644
--- a/core/compiler.common/src/org/jetbrains/kotlin/name/SpecialNames.kt
+++ b/core/compiler.common/src/org/jetbrains/kotlin/name/SpecialNames.kt
@@ -61,6 +61,24 @@ object SpecialNames {
     @JvmField
     val IMPLICIT_SET_PARAMETER = Name.special("<set-?>")
 
+    @JvmField
+    val ARRAY = Name.special("<array>")
+
+    @JvmField
+    val RECEIVER = Name.special("<receiver>")
+
+    /**
+     * Special name to store expressions used as indexes in subscription operators (`get` and `set`).
+     *
+     * For example, `bar1()` and `bar2()` are indexes in `foo[bar1(), bar2()]` call.
+     */
+    @JvmStatic
+    fun subscribeOperatorIndex(idx: Int): Name {
+        require(idx >= 0) { "Index should be non-negative, but was $idx" }
+
+        return Name.special("<index_$idx>")
+    }
+
     @JvmStatic
     fun safeIdentifier(name: Name?): Name {
         return if (name != null && !name.isSpecial) name else SAFE_IDENTIFIER_FOR_NO_NAME