FIR2IR: add extension receiver parameters to functions

compiler/fir/fir2ir/src/org/jetbrains/kotlin/fir/backend/Fir2IrDeclarationStorage.kt

@@ -231,18 +231,42 @@ class Fir2IrDeclarationStorage(
         for ((index, valueParameter) in function.valueParameters.withIndex()) {
             valueParameters += createAndSaveIrParameter(valueParameter, index).apply { this.parent = parent }
         }
-        if (function !is FirConstructor && containingClass != null && (function as? FirNamedFunction)?.isStatic != true) {
+        if (function !is FirConstructor) {
             val thisOrigin = IrDeclarationOrigin.DEFINED
-            val thisType = containingClass.thisReceiver!!.type
-            dispatchReceiverParameter = irSymbolTable.declareValueParameter(
-                startOffset, endOffset, thisOrigin, WrappedReceiverParameterDescriptor(),
-                thisType
-            ) { symbol ->
-                IrValueParameterImpl(
-                    startOffset, endOffset, thisOrigin, symbol,
-                    Name.special("<this>"), -1, thisType,
-                    varargElementType = null, isCrossinline = false, isNoinline = false
-                ).apply { this.parent = parent }
+            if (function is FirNamedFunction) {
+                val receiverTypeRef = function.receiverTypeRef
+                if (receiverTypeRef != null) {
+                    extensionReceiverParameter = receiverTypeRef.convertWithOffsets { startOffset, endOffset ->
+                        val type = receiverTypeRef.toIrType(session, this@Fir2IrDeclarationStorage)
+                        val receiverDescriptor = WrappedReceiverParameterDescriptor()
+                        irSymbolTable.declareValueParameter(
+                            startOffset, endOffset, thisOrigin,
+                            receiverDescriptor, type
+                        ) { symbol ->
+                            IrValueParameterImpl(
+                                startOffset, endOffset, thisOrigin, symbol,
+                                Name.special("<this>"), -1, type,
+                                varargElementType = null, isCrossinline = false, isNoinline = false
+                            ).apply {
+                                this.parent = parent
+                                receiverDescriptor.bind(this)
+                            }
+                        }
+                    }
+                }
+            }
+            if (containingClass != null && (function as? FirNamedFunction)?.isStatic != true) {
+                val thisType = containingClass.thisReceiver!!.type
+                dispatchReceiverParameter = irSymbolTable.declareValueParameter(
+                    startOffset, endOffset, thisOrigin, WrappedReceiverParameterDescriptor(),
+                    thisType
+                ) { symbol ->
+                    IrValueParameterImpl(
+                        startOffset, endOffset, thisOrigin, symbol,
+                        Name.special("<this>"), -1, thisType,
+                        varargElementType = null, isCrossinline = false, isNoinline = false
+                    ).apply { this.parent = parent }
+                }
             }
         }
     }

compiler/testData/ir/irText/classes/classMembers.fir.txt

@@ -82,8 +82,9 @@ FILE fqName:<root> fileName:/classMembers.kt
       BLOCK_BODY
         CALL 'public final fun println (message: kotlin.Any?): kotlin.Unit [inline] declared in kotlin.io' type=kotlin.Unit origin=null
           message: CONST String type=kotlin.String value="1"
-    FUN name:memberExtensionFunction visibility:public modality:FINAL <> ($this:<root>.C) returnType:kotlin.Unit 
+    FUN name:memberExtensionFunction visibility:public modality:FINAL <> ($this:<root>.C, $receiver:kotlin.Int) returnType:kotlin.Unit
       $this: VALUE_PARAMETER name:<this> type:<root>.C 
+      $receiver: VALUE_PARAMETER name:<this> type:kotlin.Int
       BLOCK_BODY
         CALL 'public final fun println (message: kotlin.Any?): kotlin.Unit [inline] declared in kotlin.io' type=kotlin.Unit origin=null
           message: CONST String type=kotlin.String value="2"
@@ -98,8 +99,9 @@ FILE fqName:<root> fileName:/classMembers.kt
         BLOCK_BODY
           CALL 'public final fun println (message: kotlin.Any?): kotlin.Unit [inline] declared in kotlin.io' type=kotlin.Unit origin=null
             message: CONST String type=kotlin.String value="3"
-      FUN name:memberExtensionFunction visibility:public modality:FINAL <> ($this:<root>.C.NestedClass) returnType:kotlin.Unit 
+      FUN name:memberExtensionFunction visibility:public modality:FINAL <> ($this:<root>.C.NestedClass, $receiver:kotlin.Int) returnType:kotlin.Unit
         $this: VALUE_PARAMETER name:<this> type:<root>.C.NestedClass 
+        $receiver: VALUE_PARAMETER name:<this> type:kotlin.Int
         BLOCK_BODY
           CALL 'public final fun println (message: kotlin.Any?): kotlin.Unit [inline] declared in kotlin.io' type=kotlin.Unit origin=null
             message: CONST String type=kotlin.String value="4"

compiler/testData/ir/irText/classes/delegatedImplementation.fir.txt

@@ -7,9 +7,10 @@ FILE fqName:<root> fileName:/delegatedImplementation.kt
       VALUE_PARAMETER name:s index:1 type:kotlin.String 
     FUN name:bar visibility:public modality:ABSTRACT <> ($this:<root>.IBase) returnType:kotlin.Int 
       $this: VALUE_PARAMETER name:<this> type:<root>.IBase 
-    FUN name:qux visibility:public modality:ABSTRACT <> ($this:<root>.IBase) returnType:kotlin.Unit 
+    FUN name:qux visibility:public modality:ABSTRACT <> ($this:<root>.IBase, $receiver:kotlin.String) returnType:kotlin.Unit
       $this: VALUE_PARAMETER name:<this> type:<root>.IBase 
-    FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean 
+      $receiver: VALUE_PARAMETER name:<this> type:kotlin.String
+    FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean
       overridden:
         public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
@@ -38,8 +39,9 @@ FILE fqName:<root> fileName:/delegatedImplementation.kt
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public final fun bar (): kotlin.Int declared in <root>.BaseImpl'
           CONST Int type=kotlin.Int value=42
-    FUN name:qux visibility:public modality:FINAL <> ($this:<root>.BaseImpl) returnType:kotlin.Unit 
+    FUN name:qux visibility:public modality:FINAL <> ($this:<root>.BaseImpl, $receiver:kotlin.String) returnType:kotlin.Unit
       $this: VALUE_PARAMETER name:<this> type:<root>.BaseImpl 
+      $receiver: VALUE_PARAMETER name:<this> type:kotlin.String
       BLOCK_BODY
     FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean 
       overridden:

compiler/testData/ir/irText/classes/objectLiteralExpressions.fir.txt

@@ -112,7 +112,8 @@ FILE fqName:<root> fileName:/objectLiteralExpressions.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
-  FUN name:test4 visibility:public modality:FINAL <> () returnType:<root>.Outer.Inner 
+  FUN name:test4 visibility:public modality:FINAL <> ($receiver:<root>.Outer) returnType:<root>.Outer.Inner
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.Outer
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun test4 (): <root>.Outer.Inner declared in <root>'
         BLOCK type=<root>.test4.<no name provided> origin=OBJECT_LITERAL

compiler/testData/ir/irText/classes/outerClassAccess.fir.txt

@@ -29,8 +29,9 @@ FILE fqName:<root> fileName:/outerClassAccess.kt
           BLOCK_BODY
             CALL 'public final fun test (): kotlin.Unit declared in <root>.Outer.Inner' type=kotlin.Unit origin=null
             CALL 'public final fun foo (): kotlin.Unit declared in <root>.Outer' type=kotlin.Unit origin=null
-        FUN name:test3 visibility:public modality:FINAL <> ($this:<root>.Outer.Inner.Inner2) returnType:kotlin.Unit 
+        FUN name:test3 visibility:public modality:FINAL <> ($this:<root>.Outer.Inner.Inner2, $receiver:<root>.Outer) returnType:kotlin.Unit
           $this: VALUE_PARAMETER name:<this> type:<root>.Outer.Inner.Inner2 
+          $receiver: VALUE_PARAMETER name:<this> type:<root>.Outer
           BLOCK_BODY
             CALL 'public final fun foo (): kotlin.Unit declared in <root>.Outer' type=kotlin.Unit origin=null
         FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean 

compiler/testData/ir/irText/declarations/annotations/receiverParameterWithAnnotations.fir.txt

@@ -21,8 +21,9 @@ FILE fqName:<root> fileName:/receiverParameterWithAnnotations.kt
       BLOCK_BODY
         DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
         INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:A modality:FINAL visibility:public superTypes:[kotlin.Any]'
-    FUN name:f visibility:public modality:FINAL <> ($this:<root>.A) returnType:kotlin.String 
+    FUN name:f visibility:public modality:FINAL <> ($this:<root>.A, $receiver:kotlin.String) returnType:kotlin.String
       $this: VALUE_PARAMETER name:<this> type:<root>.A 
+      $receiver: VALUE_PARAMETER name:<this> type:kotlin.String
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public final fun f (): kotlin.String declared in <root>.A'
           CONST String type=kotlin.String value=""
@@ -46,7 +47,8 @@ FILE fqName:<root> fileName:/receiverParameterWithAnnotations.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
-  FUN name:topLevelF visibility:public modality:FINAL <> () returnType:kotlin.String 
+  FUN name:topLevelF visibility:public modality:FINAL <> ($receiver:kotlin.String?) returnType:kotlin.String
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.String?
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun topLevelF (): kotlin.String declared in <root>'
         CONST String type=kotlin.String value=""

compiler/testData/ir/irText/declarations/parameters/fun.fir.txt

@@ -15,7 +15,8 @@ FILE fqName:<root> fileName:/fun.kt
   FUN name:test3 visibility:public modality:FINAL <> (args:kotlin.Array<kotlin.String>) returnType:kotlin.Unit 
     VALUE_PARAMETER name:args index:0 type:kotlin.Array<kotlin.String> 
     BLOCK_BODY
-  FUN name:textExt1 visibility:public modality:FINAL <> (i:kotlin.Int, j:kotlin.String) returnType:kotlin.Unit 
+  FUN name:textExt1 visibility:public modality:FINAL <> ($receiver:kotlin.String, i:kotlin.Int, j:kotlin.String) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.String
     VALUE_PARAMETER name:i index:0 type:kotlin.Int 
     VALUE_PARAMETER name:j index:1 type:kotlin.String 
     BLOCK_BODY
@@ -25,15 +26,17 @@ FILE fqName:<root> fileName:/fun.kt
       BLOCK_BODY
         DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
         INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:Host modality:FINAL visibility:public superTypes:[kotlin.Any]'
-    FUN name:testMembetExt1 visibility:public modality:FINAL <> ($this:<root>.Host, i:kotlin.Int, j:kotlin.String) returnType:kotlin.Unit 
+    FUN name:testMembetExt1 visibility:public modality:FINAL <> ($this:<root>.Host, $receiver:kotlin.String, i:kotlin.Int, j:kotlin.String) returnType:kotlin.Unit
       $this: VALUE_PARAMETER name:<this> type:<root>.Host 
-      VALUE_PARAMETER name:i index:0 type:kotlin.Int 
+      $receiver: VALUE_PARAMETER name:<this> type:kotlin.String
+      VALUE_PARAMETER name:i index:0 type:kotlin.Int
       VALUE_PARAMETER name:j index:1 type:kotlin.String 
       BLOCK_BODY
-    FUN name:testMembetExt2 visibility:public modality:FINAL <T> ($this:<root>.Host, i:kotlin.Int, j:T of <root>.Host.testMembetExt2) returnType:kotlin.Unit 
+    FUN name:testMembetExt2 visibility:public modality:FINAL <T> ($this:<root>.Host, $receiver:kotlin.String, i:kotlin.Int, j:T of <root>.Host.testMembetExt2) returnType:kotlin.Unit
       TYPE_PARAMETER name:T index:0 variance: superTypes:[]
       $this: VALUE_PARAMETER name:<this> type:<root>.Host 
-      VALUE_PARAMETER name:i index:0 type:kotlin.Int 
+      $receiver: VALUE_PARAMETER name:<this> type:kotlin.String
+      VALUE_PARAMETER name:i index:0 type:kotlin.Int
       VALUE_PARAMETER name:j index:1 type:T of <root>.Host.testMembetExt2 
       BLOCK_BODY
     FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean 

compiler/testData/ir/irText/declarations/parameters/localFun.fir.txt

@@ -18,7 +18,8 @@ FILE fqName:<root> fileName:/localFun.kt
       FUN name:test3 visibility:local modality:FINAL <> (args:kotlin.Array<kotlin.String>) returnType:kotlin.Unit 
         VALUE_PARAMETER name:args index:0 type:kotlin.Array<kotlin.String> 
         BLOCK_BODY
-      FUN name:textExt1 visibility:local modality:FINAL <> (i:kotlin.Int, j:TT of <root>.outer) returnType:kotlin.Unit 
+      FUN name:textExt1 visibility:local modality:FINAL <> ($receiver:kotlin.String, i:kotlin.Int, j:TT of <root>.outer) returnType:kotlin.Unit
+        $receiver: VALUE_PARAMETER name:<this> type:kotlin.String
         VALUE_PARAMETER name:i index:0 type:kotlin.Int 
         VALUE_PARAMETER name:j index:1 type:TT of <root>.outer 
         BLOCK_BODY

compiler/testData/ir/irText/declarations/provideDelegate/differentReceivers.fir.txt

@@ -30,14 +30,16 @@ FILE fqName:<root> fileName:/differentReceivers.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
-  FUN name:provideDelegate visibility:public modality:FINAL <> (host:kotlin.Any?, p:kotlin.Any) returnType:kotlin.String 
+  FUN name:provideDelegate visibility:public modality:FINAL <> ($receiver:<root>.MyClass, host:kotlin.Any?, p:kotlin.Any) returnType:kotlin.String
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.MyClass
     VALUE_PARAMETER name:host index:0 type:kotlin.Any? 
     VALUE_PARAMETER name:p index:1 type:kotlin.Any 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun provideDelegate (host: kotlin.Any?, p: kotlin.Any): kotlin.String declared in <root>'
         CALL 'public final fun <get-value> (): kotlin.String declared in <root>.MyClass' type=kotlin.String origin=null
           $this: ERROR_CALL 'Unresolved reference: this#' type=<root>.MyClass
-  FUN name:getValue visibility:public modality:FINAL <> (receiver:kotlin.Any?, p:kotlin.Any) returnType:kotlin.String
+  FUN name:getValue visibility:public modality:FINAL <> ($receiver:kotlin.String, receiver:kotlin.Any?, p:kotlin.Any) returnType:kotlin.String
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.String
     VALUE_PARAMETER name:receiver index:0 type:kotlin.Any? 
     VALUE_PARAMETER name:p index:1 type:kotlin.Any 
     BLOCK_BODY

compiler/testData/ir/irText/declarations/provideDelegate/localDifferentReceivers.fir.txt

@@ -30,14 +30,16 @@ FILE fqName:<root> fileName:/localDifferentReceivers.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
-  FUN name:provideDelegate visibility:public modality:FINAL <> (host:kotlin.Any?, p:kotlin.Any) returnType:kotlin.String 
+  FUN name:provideDelegate visibility:public modality:FINAL <> ($receiver:<root>.MyClass, host:kotlin.Any?, p:kotlin.Any) returnType:kotlin.String
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.MyClass
     VALUE_PARAMETER name:host index:0 type:kotlin.Any? 
     VALUE_PARAMETER name:p index:1 type:kotlin.Any 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun provideDelegate (host: kotlin.Any?, p: kotlin.Any): kotlin.String declared in <root>'
         CALL 'public final fun <get-value> (): kotlin.String declared in <root>.MyClass' type=kotlin.String origin=null
           $this: ERROR_CALL 'Unresolved reference: this#' type=<root>.MyClass
-  FUN name:getValue visibility:public modality:FINAL <> (receiver:kotlin.Any?, p:kotlin.Any) returnType:kotlin.String
+  FUN name:getValue visibility:public modality:FINAL <> ($receiver:kotlin.String, receiver:kotlin.Any?, p:kotlin.Any) returnType:kotlin.String
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.String
     VALUE_PARAMETER name:receiver index:0 type:kotlin.Any? 
     VALUE_PARAMETER name:p index:1 type:kotlin.Any 
     BLOCK_BODY

compiler/testData/ir/irText/declarations/provideDelegate/memberExtension.fir.txt

@@ -45,9 +45,10 @@ FILE fqName:<root> fileName:/memberExtension.kt
         overridden:
           public open fun toString (): kotlin.String declared in kotlin.Any
         $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
-    FUN name:provideDelegate visibility:public modality:FINAL <> ($this:<root>.Host, host:kotlin.Any?, p:kotlin.Any) returnType:<root>.Host.StringDelegate 
+    FUN name:provideDelegate visibility:public modality:FINAL <> ($this:<root>.Host, $receiver:kotlin.String, host:kotlin.Any?, p:kotlin.Any) returnType:<root>.Host.StringDelegate
       $this: VALUE_PARAMETER name:<this> type:<root>.Host 
-      VALUE_PARAMETER name:host index:0 type:kotlin.Any? 
+      $receiver: VALUE_PARAMETER name:<this> type:kotlin.String
+      VALUE_PARAMETER name:host index:0 type:kotlin.Any?
       VALUE_PARAMETER name:p index:1 type:kotlin.Any 
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public final fun provideDelegate (host: kotlin.Any?, p: kotlin.Any): <root>.Host.StringDelegate declared in <root>.Host'

compiler/testData/ir/irText/errors/suppressedNonPublicCall.fir.txt

@@ -21,7 +21,8 @@ FILE fqName:<root> fileName:/suppressedNonPublicCall.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
-  FUN name:foo visibility:public modality:FINAL <> () returnType:kotlin.Unit [inline] 
+  FUN name:foo visibility:public modality:FINAL <> ($receiver:<root>.C) returnType:kotlin.Unit [inline]
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.C
     BLOCK_BODY
       CALL 'internal final fun bar (): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
 

compiler/testData/ir/irText/expressions/argumentMappedWithError.fir.txt

@@ -1,6 +1,7 @@
 FILE fqName:<root> fileName:/argumentMappedWithError.kt
-  FUN name:convert visibility:public modality:FINAL <R> () returnType:R of <root>.convert 
+  FUN name:convert visibility:public modality:FINAL <R> ($receiver:kotlin.Number) returnType:R of <root>.convert
     TYPE_PARAMETER name:R index:0 variance: superTypes:[]
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Number
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun convert <R> (): R of <root>.convert declared in <root>'
         CALL 'public final fun TODO (): kotlin.Nothing [inline] declared in kotlin' type=kotlin.Nothing origin=null
@@ -15,4 +16,4 @@ FILE fqName:<root> fileName:/argumentMappedWithError.kt
       CALL 'public final fun foo (arg: kotlin.Number): kotlin.Unit declared in <root>' type=kotlin.Unit origin=null
         arg: CALL 'public final fun convert <R> (): R of <root>.convert declared in <root>' type=kotlin.Number origin=null
           <R>: <none>
-
+          $receiver: GET_VAR 'val x: kotlin.Int [val] declared in <root>.main' type=kotlin.Int origin=null

compiler/testData/ir/irText/expressions/arrayAugmentedAssignment2.fir.txt

@@ -19,9 +19,10 @@ FILE fqName:<root> fileName:/arrayAugmentedAssignment2.kt
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
   CLASS INTERFACE name:IB modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
     $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.IB 
-    FUN name:set visibility:public modality:ABSTRACT <> ($this:<root>.IB, index:kotlin.String, value:kotlin.Int) returnType:kotlin.Unit 
+    FUN name:set visibility:public modality:ABSTRACT <> ($this:<root>.IB, $receiver:<root>.IA, index:kotlin.String, value:kotlin.Int) returnType:kotlin.Unit
       $this: VALUE_PARAMETER name:<this> type:<root>.IB 
-      VALUE_PARAMETER name:index index:0 type:kotlin.String 
+      $receiver: VALUE_PARAMETER name:<this> type:<root>.IA
+      VALUE_PARAMETER name:index index:0 type:kotlin.String
       VALUE_PARAMETER name:value index:1 type:kotlin.Int 
     FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean 
       overridden:
@@ -36,7 +37,8 @@ FILE fqName:<root> fileName:/arrayAugmentedAssignment2.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
-  FUN name:test visibility:public modality:FINAL <> (a:<root>.IA) returnType:kotlin.Unit 
+  FUN name:test visibility:public modality:FINAL <> ($receiver:<root>.IB, a:<root>.IA) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.IB
     VALUE_PARAMETER name:a index:0 type:<root>.IA 
     BLOCK_BODY
       ERROR_CALL 'FirArraySetCall (resolve isn't supported yet)' type=kotlin.Unit

compiler/testData/ir/irText/expressions/augmentedAssignment2.fir.txt

@@ -18,19 +18,24 @@ FILE fqName:<root> fileName:/augmentedAssignment2.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
-  FUN name:plusAssign visibility:public modality:FINAL <> (s:kotlin.String) returnType:kotlin.Unit 
+  FUN name:plusAssign visibility:public modality:FINAL <> ($receiver:<root>.A, s:kotlin.String) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.A
     VALUE_PARAMETER name:s index:0 type:kotlin.String 
     BLOCK_BODY
-  FUN name:minusAssign visibility:public modality:FINAL <> (s:kotlin.String) returnType:kotlin.Unit 
+  FUN name:minusAssign visibility:public modality:FINAL <> ($receiver:<root>.A, s:kotlin.String) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.A
     VALUE_PARAMETER name:s index:0 type:kotlin.String 
     BLOCK_BODY
-  FUN name:timesAssign visibility:public modality:FINAL <> (s:kotlin.String) returnType:kotlin.Unit 
+  FUN name:timesAssign visibility:public modality:FINAL <> ($receiver:<root>.A, s:kotlin.String) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.A
     VALUE_PARAMETER name:s index:0 type:kotlin.String 
     BLOCK_BODY
-  FUN name:divAssign visibility:public modality:FINAL <> (s:kotlin.String) returnType:kotlin.Unit 
+  FUN name:divAssign visibility:public modality:FINAL <> ($receiver:<root>.A, s:kotlin.String) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.A
     VALUE_PARAMETER name:s index:0 type:kotlin.String 
     BLOCK_BODY
-  FUN name:remAssign visibility:public modality:FINAL <> (s:kotlin.String) returnType:kotlin.Unit 
+  FUN name:remAssign visibility:public modality:FINAL <> ($receiver:<root>.A, s:kotlin.String) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.A
     VALUE_PARAMETER name:s index:0 type:kotlin.String 
     BLOCK_BODY
   PROPERTY name:p visibility:public modality:FINAL [val] 

compiler/testData/ir/irText/expressions/augmentedAssignmentWithExpression.fir.txt

@@ -30,7 +30,8 @@ FILE fqName:<root> fileName:/augmentedAssignmentWithExpression.kt
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun foo (): <root>.Host declared in <root>'
         CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in <root>.Host' type=<root>.Host origin=null
-  FUN name:test2 visibility:public modality:FINAL <> () returnType:kotlin.Unit 
+  FUN name:test2 visibility:public modality:FINAL <> ($receiver:<root>.Host) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.Host
     BLOCK_BODY
       ERROR_CALL 'Unresolved reference: this#' type=IrErrorType
   FUN name:test3 visibility:public modality:FINAL <> () returnType:kotlin.Unit 

compiler/testData/ir/irText/expressions/boundCallableReferences.fir.txt

@@ -32,7 +32,8 @@ FILE fqName:<root> fileName:/boundCallableReferences.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
-  FUN name:qux visibility:public modality:FINAL <> () returnType:kotlin.Unit 
+  FUN name:qux visibility:public modality:FINAL <> ($receiver:<root>.A) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.A
     BLOCK_BODY
   PROPERTY name:test1 visibility:public modality:FINAL [val] 
     FIELD PROPERTY_BACKING_FIELD name:test1 type:IrErrorType visibility:public [final,static] 

compiler/testData/ir/irText/expressions/calls.fir.txt

@@ -21,18 +21,21 @@ FILE fqName:<root> fileName:/calls.kt
             x: GET_VAR 'x: kotlin.Int declared in <root>.qux' type=kotlin.Int origin=null
             y: GET_VAR 'x: kotlin.Int declared in <root>.qux' type=kotlin.Int origin=null
           y: GET_VAR 'x: kotlin.Int declared in <root>.qux' type=kotlin.Int origin=null
-  FUN name:ext1 visibility:public modality:FINAL <> () returnType:kotlin.Int 
+  FUN name:ext1 visibility:public modality:FINAL <> ($receiver:kotlin.Int) returnType:kotlin.Int
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Int
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun ext1 (): kotlin.Int declared in <root>'
         ERROR_CALL 'Unresolved reference: this#' type=kotlin.Int
-  FUN name:ext2 visibility:public modality:FINAL <> (x:kotlin.Int) returnType:kotlin.Int 
+  FUN name:ext2 visibility:public modality:FINAL <> ($receiver:kotlin.Int, x:kotlin.Int) returnType:kotlin.Int
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Int
     VALUE_PARAMETER name:x index:0 type:kotlin.Int 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun ext2 (x: kotlin.Int): kotlin.Int declared in <root>'
         CALL 'public final fun foo (x: kotlin.Int, y: kotlin.Int): kotlin.Int declared in <root>' type=kotlin.Int origin=null
           x: ERROR_CALL 'Unresolved reference: this#' type=kotlin.Int
           y: GET_VAR 'x: kotlin.Int declared in <root>.ext2' type=kotlin.Int origin=null
-  FUN name:ext3 visibility:public modality:FINAL <> (x:kotlin.Int) returnType:kotlin.Int 
+  FUN name:ext3 visibility:public modality:FINAL <> ($receiver:kotlin.Int, x:kotlin.Int) returnType:kotlin.Int
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Int
     VALUE_PARAMETER name:x index:0 type:kotlin.Int 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun ext3 (x: kotlin.Int): kotlin.Int declared in <root>'

compiler/testData/ir/irText/expressions/castToTypeParameter.fir.txt

@@ -6,8 +6,9 @@ FILE fqName:<root> fileName:/castToTypeParameter.kt
       RETURN type=kotlin.Nothing from='public final fun castFun <T> (x: kotlin.Any): T of <root>.castFun declared in <root>'
         TYPE_OP type=T of <root>.castFun origin=CAST typeOperand=T of <root>.castFun
           GET_VAR 'x: kotlin.Any declared in <root>.castFun' type=kotlin.Any origin=null
-  FUN name:castExtFun visibility:public modality:FINAL <T> () returnType:T of <root>.castExtFun 
+  FUN name:castExtFun visibility:public modality:FINAL <T> ($receiver:kotlin.Any) returnType:T of <root>.castExtFun
     TYPE_PARAMETER name:T index:0 variance: superTypes:[]
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Any
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun castExtFun <T> (): T of <root>.castExtFun declared in <root>'
         TYPE_OP type=T of <root>.castExtFun origin=CAST typeOperand=T of <root>.castExtFun
@@ -41,15 +42,17 @@ FILE fqName:<root> fileName:/castToTypeParameter.kt
         RETURN type=kotlin.Nothing from='public final fun castGenericMemberFun <TF> (x: kotlin.Any): TF of <root>.Host.castGenericMemberFun declared in <root>.Host'
           TYPE_OP type=TF of <root>.Host.castGenericMemberFun origin=CAST typeOperand=TF of <root>.Host.castGenericMemberFun
             GET_VAR 'x: kotlin.Any declared in <root>.Host.castGenericMemberFun' type=kotlin.Any origin=null
-    FUN name:castMemberExtFun visibility:public modality:FINAL <> ($this:<root>.Host) returnType:T of <root>.Host 
+    FUN name:castMemberExtFun visibility:public modality:FINAL <> ($this:<root>.Host, $receiver:kotlin.Any) returnType:T of <root>.Host
       $this: VALUE_PARAMETER name:<this> type:<root>.Host 
+      $receiver: VALUE_PARAMETER name:<this> type:kotlin.Any
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public final fun castMemberExtFun (): T of <root>.Host declared in <root>.Host'
           TYPE_OP type=T of <root>.Host origin=CAST typeOperand=T of <root>.Host
             ERROR_CALL 'Unresolved reference: this#' type=kotlin.Any
-    FUN name:castGenericMemberExtFun visibility:public modality:FINAL <TF> ($this:<root>.Host) returnType:TF of <root>.Host.castGenericMemberExtFun 
+    FUN name:castGenericMemberExtFun visibility:public modality:FINAL <TF> ($this:<root>.Host, $receiver:kotlin.Any) returnType:TF of <root>.Host.castGenericMemberExtFun
       TYPE_PARAMETER name:TF index:0 variance: superTypes:[]
       $this: VALUE_PARAMETER name:<this> type:<root>.Host 
+      $receiver: VALUE_PARAMETER name:<this> type:kotlin.Any
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public final fun castGenericMemberExtFun <TF> (): TF of <root>.Host.castGenericMemberExtFun declared in <root>.Host'
           TYPE_OP type=TF of <root>.Host.castGenericMemberExtFun origin=CAST typeOperand=TF of <root>.Host.castGenericMemberExtFun

compiler/testData/ir/irText/expressions/complexAugmentedAssignment.fir.txt

@@ -210,9 +210,10 @@ FILE fqName:<root> fileName:/complexAugmentedAssignment.kt
       BLOCK_BODY
         DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
         INSTANCE_INITIALIZER_CALL classDescriptor='CLASS OBJECT name:Host modality:FINAL visibility:public superTypes:[kotlin.Any]'
-    FUN name:plusAssign visibility:public modality:FINAL <> ($this:<root>.Host, b:<root>.B) returnType:kotlin.Unit 
+    FUN name:plusAssign visibility:public modality:FINAL <> ($this:<root>.Host, $receiver:<root>.B, b:<root>.B) returnType:kotlin.Unit
       $this: VALUE_PARAMETER name:<this> type:<root>.Host 
-      VALUE_PARAMETER name:b index:0 type:<root>.B 
+      $receiver: VALUE_PARAMETER name:<this> type:<root>.B
+      VALUE_PARAMETER name:b index:0 type:<root>.B
       BLOCK_BODY
         SET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:s type:kotlin.Int visibility:public ' type=kotlin.Int origin=null
           value: CALL 'public final fun <get-s> (): kotlin.Int declared in <root>.B' type=kotlin.Int origin=null
@@ -230,7 +231,8 @@ FILE fqName:<root> fileName:/complexAugmentedAssignment.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
-  FUN name:test3 visibility:public modality:FINAL <> (v:<root>.B) returnType:kotlin.Unit 
+  FUN name:test3 visibility:public modality:FINAL <> ($receiver:<root>.Host, v:<root>.B) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.Host
     VALUE_PARAMETER name:v index:0 type:<root>.B 
     BLOCK_BODY
       ERROR_CALL 'Unresolved reference: R|<local>/v|' type=IrErrorType

compiler/testData/ir/irText/expressions/conventionComparisons.fir.txt

@@ -16,9 +16,10 @@ FILE fqName:<root> fileName:/conventionComparisons.kt
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
   CLASS INTERFACE name:IB modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
     $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.IB 
-    FUN name:compareTo visibility:public modality:ABSTRACT <> ($this:<root>.IB, other:<root>.IA) returnType:kotlin.Int 
+    FUN name:compareTo visibility:public modality:ABSTRACT <> ($this:<root>.IB, $receiver:<root>.IA, other:<root>.IA) returnType:kotlin.Int
       $this: VALUE_PARAMETER name:<this> type:<root>.IB 
-      VALUE_PARAMETER name:other index:0 type:<root>.IA 
+      $receiver: VALUE_PARAMETER name:<this> type:<root>.IA
+      VALUE_PARAMETER name:other index:0 type:<root>.IA
     FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean 
       overridden:
         public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in kotlin.Any
@@ -32,25 +33,29 @@ FILE fqName:<root> fileName:/conventionComparisons.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
-  FUN name:test1 visibility:public modality:FINAL <> (a1:<root>.IA, a2:<root>.IA) returnType:kotlin.Boolean 
+  FUN name:test1 visibility:public modality:FINAL <> ($receiver:<root>.IB, a1:<root>.IA, a2:<root>.IA) returnType:kotlin.Boolean
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.IB
     VALUE_PARAMETER name:a1 index:0 type:<root>.IA 
     VALUE_PARAMETER name:a2 index:1 type:<root>.IA 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun test1 (a1: <root>.IA, a2: <root>.IA): kotlin.Boolean declared in <root>'
         ERROR_CALL 'Comparison of arguments with unsupported type: /IA' type=kotlin.Boolean
-  FUN name:test2 visibility:public modality:FINAL <> (a1:<root>.IA, a2:<root>.IA) returnType:kotlin.Boolean 
+  FUN name:test2 visibility:public modality:FINAL <> ($receiver:<root>.IB, a1:<root>.IA, a2:<root>.IA) returnType:kotlin.Boolean
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.IB
     VALUE_PARAMETER name:a1 index:0 type:<root>.IA 
     VALUE_PARAMETER name:a2 index:1 type:<root>.IA 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun test2 (a1: <root>.IA, a2: <root>.IA): kotlin.Boolean declared in <root>'
         ERROR_CALL 'Comparison of arguments with unsupported type: /IA' type=kotlin.Boolean
-  FUN name:test3 visibility:public modality:FINAL <> (a1:<root>.IA, a2:<root>.IA) returnType:kotlin.Boolean 
+  FUN name:test3 visibility:public modality:FINAL <> ($receiver:<root>.IB, a1:<root>.IA, a2:<root>.IA) returnType:kotlin.Boolean
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.IB
     VALUE_PARAMETER name:a1 index:0 type:<root>.IA 
     VALUE_PARAMETER name:a2 index:1 type:<root>.IA 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun test3 (a1: <root>.IA, a2: <root>.IA): kotlin.Boolean declared in <root>'
         ERROR_CALL 'Comparison of arguments with unsupported type: /IA' type=kotlin.Boolean
-  FUN name:test4 visibility:public modality:FINAL <> (a1:<root>.IA, a2:<root>.IA) returnType:kotlin.Boolean 
+  FUN name:test4 visibility:public modality:FINAL <> ($receiver:<root>.IB, a1:<root>.IA, a2:<root>.IA) returnType:kotlin.Boolean
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.IB
     VALUE_PARAMETER name:a1 index:0 type:<root>.IA 
     VALUE_PARAMETER name:a2 index:1 type:<root>.IA 
     BLOCK_BODY

compiler/testData/ir/irText/expressions/destructuring1.fir.txt

@@ -24,13 +24,15 @@ FILE fqName:<root> fileName:/destructuring1.kt
       BLOCK_BODY
         DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
         INSTANCE_INITIALIZER_CALL classDescriptor='CLASS OBJECT name:B modality:FINAL visibility:public superTypes:[kotlin.Any]'
-    FUN name:component1 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Int 
+    FUN name:component1 visibility:public modality:FINAL <> ($this:<root>.B, $receiver:<root>.A) returnType:kotlin.Int
       $this: VALUE_PARAMETER name:<this> type:<root>.B 
+      $receiver: VALUE_PARAMETER name:<this> type:<root>.A
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public final fun component1 (): kotlin.Int declared in <root>.B'
           CONST Int type=kotlin.Int value=1
-    FUN name:component2 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Int 
+    FUN name:component2 visibility:public modality:FINAL <> ($this:<root>.B, $receiver:<root>.A) returnType:kotlin.Int
       $this: VALUE_PARAMETER name:<this> type:<root>.B 
+      $receiver: VALUE_PARAMETER name:<this> type:<root>.A
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public final fun component2 (): kotlin.Int declared in <root>.B'
           CONST Int type=kotlin.Int value=2
@@ -47,7 +49,8 @@ FILE fqName:<root> fileName:/destructuring1.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
-  FUN name:test visibility:public modality:FINAL <> () returnType:kotlin.Unit 
+  FUN name:test visibility:public modality:FINAL <> ($receiver:<root>.B) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.B
     BLOCK_BODY
       VAR name:<destruct> type:<root>.A [val] 
         GET_OBJECT 'CLASS OBJECT name:A modality:FINAL visibility:public superTypes:[kotlin.Any]' type=<root>.A

compiler/testData/ir/irText/expressions/destructuringWithUnderscore.fir.txt

@@ -24,18 +24,21 @@ FILE fqName:<root> fileName:/destructuringWithUnderscore.kt
       BLOCK_BODY
         DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
         INSTANCE_INITIALIZER_CALL classDescriptor='CLASS OBJECT name:B modality:FINAL visibility:public superTypes:[kotlin.Any]'
-    FUN name:component1 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Int 
+    FUN name:component1 visibility:public modality:FINAL <> ($this:<root>.B, $receiver:<root>.A) returnType:kotlin.Int
       $this: VALUE_PARAMETER name:<this> type:<root>.B 
+      $receiver: VALUE_PARAMETER name:<this> type:<root>.A
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public final fun component1 (): kotlin.Int declared in <root>.B'
           CONST Int type=kotlin.Int value=1
-    FUN name:component2 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Int 
+    FUN name:component2 visibility:public modality:FINAL <> ($this:<root>.B, $receiver:<root>.A) returnType:kotlin.Int
       $this: VALUE_PARAMETER name:<this> type:<root>.B 
+      $receiver: VALUE_PARAMETER name:<this> type:<root>.A
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public final fun component2 (): kotlin.Int declared in <root>.B'
           CONST Int type=kotlin.Int value=2
-    FUN name:component3 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Int 
+    FUN name:component3 visibility:public modality:FINAL <> ($this:<root>.B, $receiver:<root>.A) returnType:kotlin.Int
       $this: VALUE_PARAMETER name:<this> type:<root>.B 
+      $receiver: VALUE_PARAMETER name:<this> type:<root>.A
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public final fun component3 (): kotlin.Int declared in <root>.B'
           CONST Int type=kotlin.Int value=3
@@ -52,7 +55,8 @@ FILE fqName:<root> fileName:/destructuringWithUnderscore.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
-  FUN name:test visibility:public modality:FINAL <> () returnType:kotlin.Unit 
+  FUN name:test visibility:public modality:FINAL <> ($receiver:<root>.B) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.B
     BLOCK_BODY
       VAR name:<destruct> type:<root>.A [val] 
         GET_OBJECT 'CLASS OBJECT name:A modality:FINAL visibility:public superTypes:[kotlin.Any]' type=<root>.A

compiler/testData/ir/irText/expressions/extensionPropertyGetterCall.fir.txt

@@ -5,7 +5,8 @@ FILE fqName:<root> fileName:/extensionPropertyGetterCall.kt
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public final fun <get-okext> (): kotlin.String declared in <root>'
           CONST String type=kotlin.String value="OK"
-  FUN name:test5 visibility:public modality:FINAL <> () returnType:kotlin.String
+  FUN name:test5 visibility:public modality:FINAL <> ($receiver:kotlin.String) returnType:kotlin.String
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.String
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun test5 (): kotlin.String declared in <root>'
         CALL 'public final fun <get-okext> (): kotlin.String declared in <root>' type=kotlin.String origin=null

compiler/testData/ir/irText/expressions/floatingPointComparisons/floatingPointCompareTo.fir.txt

@@ -139,13 +139,15 @@ FILE fqName:<root> fileName:/floatingPointCompareTo.kt
           BRANCH
             if: CONST Boolean type=kotlin.Boolean value=true
             then: CONST Boolean type=kotlin.Boolean value=false
-  FUN name:test1fr visibility:public modality:FINAL <> (x:kotlin.Float) returnType:kotlin.Int 
+  FUN name:test1fr visibility:public modality:FINAL <> ($receiver:kotlin.Float, x:kotlin.Float) returnType:kotlin.Int
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Float
     VALUE_PARAMETER name:x index:0 type:kotlin.Float 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun test1fr (x: kotlin.Float): kotlin.Int declared in <root>'
         CALL 'public open fun compareTo (other: kotlin.Float): kotlin.Int declared in kotlin.Float' type=kotlin.Int origin=null
           other: GET_VAR 'x: kotlin.Float declared in <root>.test1fr' type=kotlin.Float origin=null
-  FUN name:test2fr visibility:public modality:FINAL <> (x:kotlin.Any) returnType:kotlin.Boolean 
+  FUN name:test2fr visibility:public modality:FINAL <> ($receiver:kotlin.Float, x:kotlin.Any) returnType:kotlin.Boolean
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Float
     VALUE_PARAMETER name:x index:0 type:kotlin.Any 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun test2fr (x: kotlin.Any): kotlin.Boolean declared in <root>'
@@ -160,7 +162,8 @@ FILE fqName:<root> fileName:/floatingPointCompareTo.kt
           BRANCH
             if: CONST Boolean type=kotlin.Boolean value=true
             then: CONST Boolean type=kotlin.Boolean value=false
-  FUN name:test3fr visibility:public modality:FINAL <> (x:kotlin.Any) returnType:kotlin.Boolean 
+  FUN name:test3fr visibility:public modality:FINAL <> ($receiver:kotlin.Float, x:kotlin.Any) returnType:kotlin.Boolean
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Float
     VALUE_PARAMETER name:x index:0 type:kotlin.Any 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun test3fr (x: kotlin.Any): kotlin.Boolean declared in <root>'

compiler/testData/ir/irText/expressions/floatingPointComparisons/floatingPointEquals.fir.txt

@@ -181,31 +181,36 @@ FILE fqName:<root> fileName:/floatingPointEquals.kt
           BRANCH
             if: CONST Boolean type=kotlin.Boolean value=true
             then: CONST Boolean type=kotlin.Boolean value=false
-  FUN name:test1fr visibility:public modality:FINAL <> (x:kotlin.Float) returnType:kotlin.Boolean 
+  FUN name:test1fr visibility:public modality:FINAL <> ($receiver:kotlin.Float, x:kotlin.Float) returnType:kotlin.Boolean
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Float
     VALUE_PARAMETER name:x index:0 type:kotlin.Float 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun test1fr (x: kotlin.Float): kotlin.Boolean declared in <root>'
         CALL 'public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in kotlin.Any' type=kotlin.Boolean origin=null
           other: GET_VAR 'x: kotlin.Float declared in <root>.test1fr' type=kotlin.Float origin=null
-  FUN name:test2fr visibility:public modality:FINAL <> (x:kotlin.Float?) returnType:kotlin.Boolean 
+  FUN name:test2fr visibility:public modality:FINAL <> ($receiver:kotlin.Float, x:kotlin.Float?) returnType:kotlin.Boolean
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Float
     VALUE_PARAMETER name:x index:0 type:kotlin.Float? 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun test2fr (x: kotlin.Float?): kotlin.Boolean declared in <root>'
         CALL 'public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in kotlin.Any' type=kotlin.Boolean origin=null
           other: GET_VAR 'x: kotlin.Float? declared in <root>.test2fr' type=kotlin.Float? origin=null
-  FUN name:test3fr visibility:public modality:FINAL <> (x:kotlin.Any) returnType:kotlin.Boolean 
+  FUN name:test3fr visibility:public modality:FINAL <> ($receiver:kotlin.Float, x:kotlin.Any) returnType:kotlin.Boolean
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Float
     VALUE_PARAMETER name:x index:0 type:kotlin.Any 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun test3fr (x: kotlin.Any): kotlin.Boolean declared in <root>'
         CALL 'public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in kotlin.Any' type=kotlin.Boolean origin=null
           other: GET_VAR 'x: kotlin.Any declared in <root>.test3fr' type=kotlin.Any origin=null
-  FUN name:test4fr visibility:public modality:FINAL <> (x:kotlin.Number) returnType:kotlin.Boolean 
+  FUN name:test4fr visibility:public modality:FINAL <> ($receiver:kotlin.Float, x:kotlin.Number) returnType:kotlin.Boolean
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Float
     VALUE_PARAMETER name:x index:0 type:kotlin.Number 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun test4fr (x: kotlin.Number): kotlin.Boolean declared in <root>'
         CALL 'public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in kotlin.Any' type=kotlin.Boolean origin=null
           other: GET_VAR 'x: kotlin.Number declared in <root>.test4fr' type=kotlin.Number origin=null
-  FUN name:test5fr visibility:public modality:FINAL <> (x:kotlin.Any) returnType:kotlin.Boolean 
+  FUN name:test5fr visibility:public modality:FINAL <> ($receiver:kotlin.Float, x:kotlin.Any) returnType:kotlin.Boolean
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Float
     VALUE_PARAMETER name:x index:0 type:kotlin.Any 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun test5fr (x: kotlin.Any): kotlin.Boolean declared in <root>'
@@ -218,7 +223,8 @@ FILE fqName:<root> fileName:/floatingPointEquals.kt
           BRANCH
             if: CONST Boolean type=kotlin.Boolean value=true
             then: CONST Boolean type=kotlin.Boolean value=false
-  FUN name:test6fr visibility:public modality:FINAL <> (x:kotlin.Any) returnType:kotlin.Boolean 
+  FUN name:test6fr visibility:public modality:FINAL <> ($receiver:kotlin.Float, x:kotlin.Any) returnType:kotlin.Boolean
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Float
     VALUE_PARAMETER name:x index:0 type:kotlin.Any 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun test6fr (x: kotlin.Any): kotlin.Boolean declared in <root>'

compiler/testData/ir/irText/expressions/forWithImplicitReceivers.fir.txt

@@ -59,19 +59,22 @@ FILE fqName:<root> fileName:/forWithImplicitReceivers.kt
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
   CLASS INTERFACE name:IReceiver modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
     $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.IReceiver 
-    FUN name:iterator visibility:public modality:OPEN <> ($this:<root>.IReceiver) returnType:<root>.IntCell 
+    FUN name:iterator visibility:public modality:OPEN <> ($this:<root>.IReceiver, $receiver:<root>.FiveTimes) returnType:<root>.IntCell
       $this: VALUE_PARAMETER name:<this> type:<root>.IReceiver 
+      $receiver: VALUE_PARAMETER name:<this> type:<root>.FiveTimes
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public open fun iterator (): <root>.IntCell declared in <root>.IReceiver'
           CONSTRUCTOR_CALL 'public constructor <init> (value: kotlin.Int) [primary] declared in <root>.IntCell' type=<root>.IntCell origin=null
             value: CONST Int type=kotlin.Int value=5
-    FUN name:hasNext visibility:public modality:OPEN <> ($this:<root>.IReceiver) returnType:kotlin.Boolean
+    FUN name:hasNext visibility:public modality:OPEN <> ($this:<root>.IReceiver, $receiver:<root>.IntCell) returnType:kotlin.Boolean
       $this: VALUE_PARAMETER name:<this> type:<root>.IReceiver 
+      $receiver: VALUE_PARAMETER name:<this> type:<root>.IntCell
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public open fun hasNext (): kotlin.Boolean declared in <root>.IReceiver'
           ERROR_CALL 'Comparison of arguments with different types: kotlin/Int, kotlin/Boolean' type=kotlin.Boolean
-    FUN name:next visibility:public modality:OPEN <> ($this:<root>.IReceiver) returnType:kotlin.Int 
+    FUN name:next visibility:public modality:OPEN <> ($this:<root>.IReceiver, $receiver:<root>.IntCell) returnType:kotlin.Int
       $this: VALUE_PARAMETER name:<this> type:<root>.IReceiver 
+      $receiver: VALUE_PARAMETER name:<this> type:<root>.IntCell
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public open fun next (): kotlin.Int declared in <root>.IReceiver'
           BLOCK type=kotlin.Int origin=null
@@ -94,7 +97,8 @@ FILE fqName:<root> fileName:/forWithImplicitReceivers.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
-  FUN name:test visibility:public modality:FINAL <> () returnType:kotlin.Unit 
+  FUN name:test visibility:public modality:FINAL <> ($receiver:<root>.IReceiver) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.IReceiver
     BLOCK_BODY
       VAR name:<range> type:<root>.FiveTimes [val] 
         GET_OBJECT 'CLASS OBJECT name:FiveTimes modality:FINAL visibility:public superTypes:[kotlin.Any]' type=<root>.FiveTimes

compiler/testData/ir/irText/expressions/implicitCastToTypeParameter.fir.txt

@@ -1,6 +1,7 @@
 FILE fqName:<root> fileName:/implicitCastToTypeParameter.kt
-  FUN name:test1 visibility:public modality:FINAL <T> () returnType:T of <root>.test1? [inline] 
+  FUN name:test1 visibility:public modality:FINAL <T> ($receiver:kotlin.Any) returnType:T of <root>.test1? [inline]
     TYPE_PARAMETER name:T index:0 variance: superTypes:[]
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Any
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun test1 <T> (): T of <root>.test1? [inline] declared in <root>'
         WHEN type=T of <root>.test1? origin=IF

compiler/testData/ir/irText/expressions/kt23030.fir.txt

@@ -1,5 +1,6 @@
 FILE fqName:<root> fileName:/kt23030.kt
-  FUN name:compareTo visibility:public modality:FINAL <> (c:kotlin.Char) returnType:kotlin.Int 
+  FUN name:compareTo visibility:public modality:FINAL <> ($receiver:kotlin.Int, c:kotlin.Char) returnType:kotlin.Int
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Int
     VALUE_PARAMETER name:c index:0 type:kotlin.Char 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun compareTo (c: kotlin.Char): kotlin.Int declared in <root>'
@@ -58,9 +59,10 @@ FILE fqName:<root> fileName:/kt23030.kt
       BLOCK_BODY
         DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
         INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:C modality:FINAL visibility:public superTypes:[kotlin.Any]'
-    FUN name:compareTo visibility:public modality:FINAL <> ($this:<root>.C, c:kotlin.Char) returnType:kotlin.Int 
+    FUN name:compareTo visibility:public modality:FINAL <> ($this:<root>.C, $receiver:kotlin.Int, c:kotlin.Char) returnType:kotlin.Int
       $this: VALUE_PARAMETER name:<this> type:<root>.C 
-      VALUE_PARAMETER name:c index:0 type:kotlin.Char 
+      $receiver: VALUE_PARAMETER name:<this> type:kotlin.Int
+      VALUE_PARAMETER name:c index:0 type:kotlin.Char
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public final fun compareTo (c: kotlin.Char): kotlin.Int declared in <root>.C'
           CONST Int type=kotlin.Int value=0

compiler/testData/ir/irText/expressions/kt28456.fir.txt

@@ -18,12 +18,14 @@ FILE fqName:<root> fileName:/kt28456.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
-  FUN name:get visibility:public modality:FINAL <> (xs:kotlin.IntArray) returnType:kotlin.Int 
+  FUN name:get visibility:public modality:FINAL <> ($receiver:<root>.A, xs:kotlin.IntArray) returnType:kotlin.Int
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.A
     VALUE_PARAMETER name:xs index:0 type:kotlin.IntArray 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun get (xs: kotlin.IntArray): kotlin.Int declared in <root>'
         CONST Int type=kotlin.Int value=0
-  FUN name:set visibility:public modality:FINAL <> (i:kotlin.Int, j:kotlin.Int, v:kotlin.Int) returnType:kotlin.Unit 
+  FUN name:set visibility:public modality:FINAL <> ($receiver:<root>.A, i:kotlin.Int, j:kotlin.Int, v:kotlin.Int) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.A
     VALUE_PARAMETER name:i index:0 type:kotlin.Int 
     VALUE_PARAMETER name:j index:1 type:kotlin.Int 
     VALUE_PARAMETER name:v index:2 type:kotlin.Int 
@@ -32,6 +34,7 @@ FILE fqName:<root> fileName:/kt28456.kt
     VALUE_PARAMETER name:a index:0 type:<root>.A 
     BLOCK_BODY
       CALL 'public final fun set (i: kotlin.Int, j: kotlin.Int, v: kotlin.Int): kotlin.Unit declared in <root>' type=kotlin.Unit origin=null
+        $receiver: GET_VAR 'a: <root>.A declared in <root>.testSimpleAssignment' type=<root>.A origin=null
         i: CONST Int type=kotlin.Int value=1
         j: CONST Int type=kotlin.Int value=2
         v: CONST Int type=kotlin.Int value=0
@@ -45,6 +48,7 @@ FILE fqName:<root> fileName:/kt28456.kt
               CONST Int type=kotlin.Int value=1
               CONST Int type=kotlin.Int value=2
           CALL 'public final fun set (i: kotlin.Int, j: kotlin.Int, v: kotlin.Int): kotlin.Unit declared in <root>' type=kotlin.Unit origin=null
+            $receiver: GET_VAR 'a: <root>.A declared in <root>.testPostfixIncrement' type=<root>.A origin=null
             i: CONST Int type=kotlin.Int value=1
             j: CONST Int type=kotlin.Int value=2
             v: CALL 'public final fun inc (): kotlin.Int declared in kotlin.Int' type=kotlin.Int origin=null

compiler/testData/ir/irText/expressions/kt28456a.fir.txt

@@ -18,7 +18,8 @@ FILE fqName:<root> fileName:/kt28456a.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
-  FUN name:set visibility:public modality:FINAL <> (i:kotlin.IntArray, v:kotlin.Int) returnType:kotlin.Unit 
+  FUN name:set visibility:public modality:FINAL <> ($receiver:<root>.A, i:kotlin.IntArray, v:kotlin.Int) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.A
     VALUE_PARAMETER name:i index:0 type:kotlin.IntArray 
     VALUE_PARAMETER name:v index:1 type:kotlin.Int 
     BLOCK_BODY

compiler/testData/ir/irText/expressions/kt28456b.fir.txt

@@ -18,7 +18,8 @@ FILE fqName:<root> fileName:/kt28456b.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
-  FUN name:get visibility:public modality:FINAL <> (i:kotlin.Int, a:kotlin.Int, b:kotlin.Int, c:kotlin.Int, d:kotlin.Int) returnType:kotlin.Int 
+  FUN name:get visibility:public modality:FINAL <> ($receiver:<root>.A, i:kotlin.Int, a:kotlin.Int, b:kotlin.Int, c:kotlin.Int, d:kotlin.Int) returnType:kotlin.Int
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.A
     VALUE_PARAMETER name:i index:0 type:kotlin.Int 
     VALUE_PARAMETER name:a index:1 type:kotlin.Int 
       EXPRESSION_BODY
@@ -35,7 +36,8 @@ FILE fqName:<root> fileName:/kt28456b.kt
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun get (i: kotlin.Int, a: kotlin.Int, b: kotlin.Int, c: kotlin.Int, d: kotlin.Int): kotlin.Int declared in <root>'
         CONST Int type=kotlin.Int value=0
-  FUN name:set visibility:public modality:FINAL <> (i:kotlin.Int, j:kotlin.Int, v:kotlin.Int) returnType:kotlin.Unit 
+  FUN name:set visibility:public modality:FINAL <> ($receiver:<root>.A, i:kotlin.Int, j:kotlin.Int, v:kotlin.Int) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.A
     VALUE_PARAMETER name:i index:0 type:kotlin.Int 
     VALUE_PARAMETER name:j index:1 type:kotlin.Int 
       EXPRESSION_BODY
@@ -55,6 +57,7 @@ FILE fqName:<root> fileName:/kt28456b.kt
         BLOCK type=kotlin.Int origin=null
           VAR name:<unary> type:kotlin.Int [val] 
             CALL 'public final fun get (i: kotlin.Int, a: kotlin.Int, b: kotlin.Int, c: kotlin.Int, d: kotlin.Int): kotlin.Int declared in <root>' type=kotlin.Int origin=null
+              $receiver: GET_VAR 'a: <root>.A declared in <root>.testPostfixIncrement' type=<root>.A origin=null
               i: CONST Int type=kotlin.Int value=1
           ERROR_CALL 'Unresolved reference: <Inapplicable(PARAMETER_MAPPING_ERROR): [/set]>#' type=IrErrorType
             CONST Int type=kotlin.Int value=1

compiler/testData/ir/irText/expressions/kt30020.fir.txt

@@ -76,7 +76,8 @@ FILE fqName:<root> fileName:/kt30020.kt
               then: GET_VAR 'val <bangbang>: kotlin.collections.MutableList<kotlin.Any> [val] declared in <root>.test' type=kotlin.collections.MutableList<kotlin.Any> origin=null
       SET_VAR 'val <complex-set>: kotlin.collections.MutableList<kotlin.Any> [val] declared in <root>.test' type=kotlin.collections.MutableList<kotlin.Any> origin=null
         CONST Int type=kotlin.collections.MutableList<kotlin.Any> value=6
-  FUN name:testExtensionReceiver visibility:public modality:FINAL <> () returnType:kotlin.Unit 
+  FUN name:testExtensionReceiver visibility:public modality:FINAL <> ($receiver:kotlin.collections.MutableList<kotlin.Any>) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.collections.MutableList<kotlin.Any>
     BLOCK_BODY
       ERROR_CALL 'Unresolved reference: this#' type=IrErrorType
   CLASS CLASS name:AML modality:ABSTRACT visibility:public superTypes:[kotlin.collections.MutableList<kotlin.Int>]

compiler/testData/ir/irText/expressions/lambdaInCAO.fir.txt

@@ -1,13 +1,16 @@
 FILE fqName:<root> fileName:/lambdaInCAO.kt
-  FUN name:plusAssign visibility:public modality:FINAL <> (lambda:kotlin.Function0<kotlin.Unit>) returnType:kotlin.Unit 
+  FUN name:plusAssign visibility:public modality:FINAL <> ($receiver:kotlin.Any, lambda:kotlin.Function0<kotlin.Unit>) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Any
     VALUE_PARAMETER name:lambda index:0 type:kotlin.Function0<kotlin.Unit> 
     BLOCK_BODY
-  FUN name:get visibility:public modality:FINAL <> (index:kotlin.Function0<kotlin.Unit>) returnType:kotlin.Int 
+  FUN name:get visibility:public modality:FINAL <> ($receiver:kotlin.Any, index:kotlin.Function0<kotlin.Unit>) returnType:kotlin.Int
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Any
     VALUE_PARAMETER name:index index:0 type:kotlin.Function0<kotlin.Unit> 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun get (index: kotlin.Function0<kotlin.Unit>): kotlin.Int declared in <root>'
         CONST Int type=kotlin.Int value=42
-  FUN name:set visibility:public modality:FINAL <> (index:kotlin.Function0<kotlin.Unit>, value:kotlin.Int) returnType:kotlin.Unit 
+  FUN name:set visibility:public modality:FINAL <> ($receiver:kotlin.Any, index:kotlin.Function0<kotlin.Unit>, value:kotlin.Int) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Any
     VALUE_PARAMETER name:index index:0 type:kotlin.Function0<kotlin.Unit> 
     VALUE_PARAMETER name:value index:1 type:kotlin.Int 
     BLOCK_BODY
@@ -24,11 +27,13 @@ FILE fqName:<root> fileName:/lambdaInCAO.kt
     BLOCK_BODY
       VAR name:<unary> type:kotlin.Int [val] 
         CALL 'public final fun get (index: kotlin.Function0<kotlin.Unit>): kotlin.Int declared in <root>' type=kotlin.Int origin=null
+          $receiver: GET_VAR 'a: kotlin.Any declared in <root>.test3' type=kotlin.Any origin=null
           index: FUN_EXPR type=kotlin.Function0<kotlin.Unit> origin=LAMBDA
             FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> () returnType:kotlin.Unit 
               BLOCK_BODY
                 GET_OBJECT 'CLASS IR_EXTERNAL_DECLARATION_STUB OBJECT name:Unit modality:FINAL visibility:public superTypes:[kotlin.Any]' type=kotlin.Unit
       CALL 'public final fun set (index: kotlin.Function0<kotlin.Unit>, value: kotlin.Int): kotlin.Unit declared in <root>' type=kotlin.Unit origin=null
+        $receiver: GET_VAR 'a: kotlin.Any declared in <root>.test3' type=kotlin.Any origin=null
         index: FUN_EXPR type=kotlin.Function0<kotlin.Unit> origin=LAMBDA
           FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> () returnType:kotlin.Unit 
             BLOCK_BODY

compiler/testData/ir/irText/expressions/membersImportedFromObject.fir.txt

@@ -10,8 +10,9 @@ FILE fqName:<root> fileName:/membersImportedFromObject.kt
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public final fun foo (): kotlin.Int declared in <root>.A'
           CONST Int type=kotlin.Int value=1
-    FUN name:fooExt visibility:public modality:FINAL <> ($this:<root>.A) returnType:kotlin.Int 
+    FUN name:fooExt visibility:public modality:FINAL <> ($this:<root>.A, $receiver:kotlin.Int) returnType:kotlin.Int
       $this: VALUE_PARAMETER name:<this> type:<root>.A 
+      $receiver: VALUE_PARAMETER name:<this> type:kotlin.Int
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public final fun fooExt (): kotlin.Int declared in <root>.A'
           CONST Int type=kotlin.Int value=2

compiler/testData/ir/irText/expressions/multipleThisReferences.fir.txt

@@ -67,8 +67,9 @@ FILE fqName:<root> fileName:/multipleThisReferences.kt
           RETURN type=kotlin.Nothing from='public final fun <get-y> (): kotlin.Int declared in <root>.Host'
             GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:y type:kotlin.Int visibility:public [final] ' type=kotlin.Int origin=null
               receiver: GET_VAR '<this>: <root>.Host declared in <root>.Host.<get-y>' type=<root>.Host origin=null
-    FUN name:test visibility:public modality:FINAL <> ($this:<root>.Host) returnType:<root>.Outer.Inner 
+    FUN name:test visibility:public modality:FINAL <> ($this:<root>.Host, $receiver:<root>.Outer) returnType:<root>.Outer.Inner
       $this: VALUE_PARAMETER name:<this> type:<root>.Host 
+      $receiver: VALUE_PARAMETER name:<this> type:<root>.Outer
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public final fun test (): <root>.Outer.Inner declared in <root>.Host'
           BLOCK type=<root>.Host.test.<no name provided> origin=OBJECT_LITERAL
@@ -83,6 +84,7 @@ FILE fqName:<root> fileName:/multipleThisReferences.kt
                 FIELD PROPERTY_BACKING_FIELD name:xx type:kotlin.String visibility:public [final] 
                   EXPRESSION_BODY
                     CALL 'public final fun plus (other: kotlin.Any?): kotlin.String declared in kotlin' type=kotlin.String origin=null
+                      $receiver: ERROR_CALL 'Unresolved reference: <Unresolved name: x>#' type=IrErrorType
                       other: GET_VAR 'y: kotlin.Int declared in <root>.Host.<init>' type=kotlin.Int origin=null
                 FUN DEFAULT_PROPERTY_ACCESSOR name:<get-xx> visibility:public modality:FINAL <> ($this:<root>.Host.test.<no name provided>) returnType:kotlin.String 
                   correspondingProperty: PROPERTY name:xx visibility:public modality:FINAL [val] 

compiler/testData/ir/irText/expressions/objectAsCallable.fir.txt

@@ -66,12 +66,14 @@ FILE fqName:<root> fileName:/objectAsCallable.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Enum
       $this: VALUE_PARAMETER name:<this> type:kotlin.Enum 
-  FUN name:invoke visibility:public modality:FINAL <> (i:kotlin.Int) returnType:kotlin.Int 
+  FUN name:invoke visibility:public modality:FINAL <> ($receiver:<root>.A, i:kotlin.Int) returnType:kotlin.Int
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.A
     VALUE_PARAMETER name:i index:0 type:kotlin.Int 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun invoke (i: kotlin.Int): kotlin.Int declared in <root>'
         GET_VAR 'i: kotlin.Int declared in <root>.invoke' type=kotlin.Int origin=null
-  FUN name:invoke visibility:public modality:FINAL <> (i:kotlin.Int) returnType:kotlin.Int 
+  FUN name:invoke visibility:public modality:FINAL <> ($receiver:<root>.En, i:kotlin.Int) returnType:kotlin.Int
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.En
     VALUE_PARAMETER name:i index:0 type:kotlin.Int 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun invoke (i: kotlin.Int): kotlin.Int declared in <root>'

compiler/testData/ir/irText/expressions/objectReference.fir.txt

@@ -146,7 +146,8 @@ FILE fqName:<root> fileName:/objectReference.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
-  FUN name:test visibility:public modality:FINAL <> () returnType:kotlin.Unit 
+  FUN name:test visibility:public modality:FINAL <> ($receiver:<root>.Z) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.Z
     BLOCK_BODY
       SET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:counter type:kotlin.Int visibility:public ' type=kotlin.Int origin=null
         value: CONST Int type=kotlin.Int value=1

compiler/testData/ir/irText/expressions/references.fir.txt

@@ -48,7 +48,8 @@ FILE fqName:<root> fileName:/references.kt
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public final fun <get-okext> (): kotlin.String declared in <root>'
           CONST String type=kotlin.String value="OK"
-  FUN name:test5 visibility:public modality:FINAL <> () returnType:kotlin.String
+  FUN name:test5 visibility:public modality:FINAL <> ($receiver:kotlin.String) returnType:kotlin.String
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.String
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun test5 (): kotlin.String declared in <root>'
         CALL 'public final fun <get-okext> (): kotlin.String declared in <root>' type=kotlin.String origin=null

compiler/testData/ir/irText/expressions/safeCallWithIncrementDecrement.fir.txt

@@ -28,17 +28,20 @@ FILE fqName:test fileName:/safeCallWithIncrementDecrement.kt
       correspondingProperty: PROPERTY name:p visibility:public modality:FINAL [var] 
       VALUE_PARAMETER name:value index:0 type:kotlin.Int 
       BLOCK_BODY
-  FUN name:inc visibility:public modality:FINAL <> () returnType:kotlin.Int? 
+  FUN name:inc visibility:public modality:FINAL <> ($receiver:kotlin.Int?) returnType:kotlin.Int?
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Int?
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun inc (): kotlin.Int? declared in test'
         CALL 'public final fun inc (): kotlin.Int declared in kotlin.Int' type=kotlin.Int origin=null
           $this: ERROR_CALL 'Unresolved reference: this#' type=kotlin.Int?
-  FUN name:get visibility:public modality:FINAL <> (index:kotlin.Int) returnType:kotlin.Int 
+  FUN name:get visibility:public modality:FINAL <> ($receiver:kotlin.Int?, index:kotlin.Int) returnType:kotlin.Int
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Int?
     VALUE_PARAMETER name:index index:0 type:kotlin.Int 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun get (index: kotlin.Int): kotlin.Int declared in test'
         CONST Int type=kotlin.Int value=42
-  FUN name:set visibility:public modality:FINAL <> (index:kotlin.Int, value:kotlin.Int) returnType:kotlin.Unit 
+  FUN name:set visibility:public modality:FINAL <> ($receiver:kotlin.Int?, index:kotlin.Int, value:kotlin.Int) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Int?
     VALUE_PARAMETER name:index index:0 type:kotlin.Int 
     VALUE_PARAMETER name:value index:1 type:kotlin.Int 
     BLOCK_BODY
@@ -54,8 +57,10 @@ FILE fqName:test fileName:/safeCallWithIncrementDecrement.kt
     BLOCK_BODY
       VAR name:<unary> type:kotlin.Int [val] 
         CALL 'public final fun get (index: kotlin.Int): kotlin.Int declared in test' type=kotlin.Int origin=null
+          $receiver: CALL 'public final fun <get-p> (): kotlin.Int declared in test' type=kotlin.Int? origin=null
           index: CONST Int type=kotlin.Int value=0
       CALL 'public final fun set (index: kotlin.Int, value: kotlin.Int): kotlin.Unit declared in test' type=kotlin.Unit origin=null
+        $receiver: CALL 'public final fun <get-p> (): kotlin.Int declared in test' type=kotlin.Int? origin=null
         index: CONST Int type=kotlin.Int value=0
         value: CALL 'public final fun inc (): kotlin.Int declared in kotlin.Int' type=kotlin.Int origin=null
           $this: GET_VAR 'val <unary>: kotlin.Int [val] declared in test.testArrayAccess' type=kotlin.Int origin=null

compiler/testData/ir/irText/expressions/safeCalls.fir.txt

@@ -40,8 +40,9 @@ FILE fqName:<root> fileName:/safeCalls.kt
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
   CLASS INTERFACE name:IHost modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
     $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.IHost 
-    FUN name:extLength visibility:public modality:OPEN <> ($this:<root>.IHost) returnType:kotlin.Int 
+    FUN name:extLength visibility:public modality:OPEN <> ($this:<root>.IHost, $receiver:kotlin.String) returnType:kotlin.Int
       $this: VALUE_PARAMETER name:<this> type:<root>.IHost 
+      $receiver: VALUE_PARAMETER name:<this> type:kotlin.String
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public open fun extLength (): kotlin.Int declared in <root>.IHost'
           ERROR_CALL 'No getter found for R|kotlin/String.length|' type=kotlin.Int
@@ -82,17 +83,19 @@ FILE fqName:<root> fileName:/safeCalls.kt
     BLOCK_BODY
       SET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:value type:kotlin.Int visibility:public ' type=kotlin.Int origin=null
         value: CONST Int type=kotlin.Int? value=0
-  FUN name:test5 visibility:public modality:FINAL <> (s:kotlin.String?) returnType:kotlin.Int
+  FUN name:test5 visibility:public modality:FINAL <> ($receiver:<root>.IHost, s:kotlin.String?) returnType:kotlin.Int
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.IHost
     VALUE_PARAMETER name:s index:0 type:kotlin.String? 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun test5 (s: kotlin.String?): kotlin.Int declared in <root>'
         CALL 'public open fun extLength (): kotlin.Int declared in <root>.IHost' type=kotlin.Int origin=null
           $this: GET_VAR 's: kotlin.String? declared in <root>.test5' type=kotlin.String? origin=null
-  FUN name:foo visibility:public modality:FINAL <> () returnType:kotlin.Int 
+  FUN name:foo visibility:public modality:FINAL <> ($receiver:kotlin.Int) returnType:kotlin.Int
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Int
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun foo (): kotlin.Int declared in <root>'
         CONST Int type=kotlin.Int value=239
   FUN name:box visibility:public modality:FINAL <> () returnType:kotlin.Unit 
     BLOCK_BODY
       CALL 'public final fun foo (): kotlin.Int declared in <root>' type=kotlin.Int origin=null
-
+        $receiver: CONST Int type=kotlin.Int value=42

compiler/testData/ir/irText/expressions/sam/samConversions.fir.txt

@@ -1,5 +1,6 @@
 FILE fqName:<root> fileName:/samConversions.kt
-  FUN name:test0 visibility:public modality:FINAL <> (a:java.lang.Runnable) returnType:kotlin.Unit 
+  FUN name:test0 visibility:public modality:FINAL <> ($receiver:<root>.J, a:java.lang.Runnable) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.J
     VALUE_PARAMETER name:a index:0 type:java.lang.Runnable 
     BLOCK_BODY
       CALL 'public open fun runStatic (r: java.lang.Runnable?): kotlin.Unit declared in <root>.J' type=kotlin.Unit origin=null
@@ -13,20 +14,23 @@ FILE fqName:<root> fileName:/samConversions.kt
           FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> () returnType:kotlin.Unit 
             BLOCK_BODY
               CALL 'public final fun test1 (): kotlin.Unit declared in <root>' type=kotlin.Unit origin=null
-  FUN name:test2 visibility:public modality:FINAL <> () returnType:kotlin.Unit 
+  FUN name:test2 visibility:public modality:FINAL <> ($receiver:<root>.J) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.J
     BLOCK_BODY
       CALL 'public open fun runIt (r: java.lang.Runnable?): kotlin.Unit declared in <root>.J' type=kotlin.Unit origin=null
         r: FUN_EXPR type=kotlin.Function0<kotlin.Unit> origin=LAMBDA
           FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> () returnType:kotlin.Unit 
             BLOCK_BODY
               CALL 'public final fun test1 (): kotlin.Unit declared in <root>' type=kotlin.Unit origin=null
-  FUN name:test3 visibility:public modality:FINAL <> (a:kotlin.Function0<kotlin.Unit>) returnType:kotlin.Unit 
+  FUN name:test3 visibility:public modality:FINAL <> ($receiver:<root>.J, a:kotlin.Function0<kotlin.Unit>) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.J
     VALUE_PARAMETER name:a index:0 type:kotlin.Function0<kotlin.Unit> 
     BLOCK_BODY
       ERROR_CALL 'Unresolved reference: <Inapplicable(INAPPLICABLE): [/J.run2]>#' type=IrErrorType
         GET_VAR 'a: kotlin.Function0<kotlin.Unit> declared in <root>.test3' type=kotlin.Function0<kotlin.Unit> origin=null
         GET_VAR 'a: kotlin.Function0<kotlin.Unit> declared in <root>.test3' type=kotlin.Function0<kotlin.Unit> origin=null
-  FUN name:test4 visibility:public modality:FINAL <> (a:kotlin.Function0<kotlin.Unit>, b:kotlin.Function0<kotlin.Unit>, flag:kotlin.Boolean) returnType:kotlin.Unit 
+  FUN name:test4 visibility:public modality:FINAL <> ($receiver:<root>.J, a:kotlin.Function0<kotlin.Unit>, b:kotlin.Function0<kotlin.Unit>, flag:kotlin.Boolean) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.J
     VALUE_PARAMETER name:a index:0 type:kotlin.Function0<kotlin.Unit> 
     VALUE_PARAMETER name:b index:1 type:kotlin.Function0<kotlin.Unit> 
     VALUE_PARAMETER name:flag index:2 type:kotlin.Boolean 

compiler/testData/ir/irText/expressions/sam/samOperators.fir.txt

@@ -1,7 +1,8 @@
 FILE fqName:<root> fileName:/samOperators.kt
   FUN name:f visibility:public modality:FINAL <> () returnType:kotlin.Unit 
     BLOCK_BODY
-  FUN name:test1 visibility:public modality:FINAL <> () returnType:kotlin.Unit 
+  FUN name:test1 visibility:public modality:FINAL <> ($receiver:<root>.J) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.J
     BLOCK_BODY
       CALL 'public open fun get (k: java.lang.Runnable?): kotlin.Unit declared in <root>.J' type=kotlin.Unit origin=null
         $this: ERROR_CALL 'Unresolved reference: this#' type=<root>.J
@@ -10,7 +11,8 @@ FILE fqName:<root> fileName:/samOperators.kt
         $this: ERROR_CALL 'Unresolved reference: this#' type=<root>.J
         k: ERROR_CALL 'Unresolved reference: <Unresolved name: f>#' type=IrErrorType
         m: ERROR_CALL 'Unresolved reference: <Unresolved name: f>#' type=IrErrorType
-  FUN name:test2 visibility:public modality:FINAL <> () returnType:kotlin.Unit 
+  FUN name:test2 visibility:public modality:FINAL <> ($receiver:<root>.J) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.J
     BLOCK_BODY
       CALL 'public open fun set (k: java.lang.Runnable?, v: java.lang.Runnable?): kotlin.Unit declared in <root>.J' type=kotlin.Unit origin=null
         $this: ERROR_CALL 'Unresolved reference: this#' type=<root>.J
@@ -21,7 +23,8 @@ FILE fqName:<root> fileName:/samOperators.kt
         k: ERROR_CALL 'Unresolved reference: <Unresolved name: f>#' type=IrErrorType
         m: ERROR_CALL 'Unresolved reference: <Unresolved name: f>#' type=IrErrorType
         v: ERROR_CALL 'Unresolved reference: <Unresolved name: f>#' type=IrErrorType
-  FUN name:test3 visibility:public modality:FINAL <> () returnType:kotlin.Unit 
+  FUN name:test3 visibility:public modality:FINAL <> ($receiver:<root>.J) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.J
     BLOCK_BODY
       ERROR_CALL 'Unresolved reference: this#' type=IrErrorType
       ERROR_CALL 'Unresolved reference: this#' type=IrErrorType

compiler/testData/ir/irText/expressions/smartCastsWithDestructuring.fir.txt

@@ -29,11 +29,13 @@ FILE fqName:<root> fileName:/smartCastsWithDestructuring.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
-  FUN name:component1 visibility:public modality:FINAL <> () returnType:kotlin.Int 
+  FUN name:component1 visibility:public modality:FINAL <> ($receiver:<root>.I1) returnType:kotlin.Int
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.I1
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun component1 (): kotlin.Int declared in <root>'
         CONST Int type=kotlin.Int value=1
-  FUN name:component2 visibility:public modality:FINAL <> () returnType:kotlin.String 
+  FUN name:component2 visibility:public modality:FINAL <> ($receiver:<root>.I2) returnType:kotlin.String
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.I2
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun component2 (): kotlin.String declared in <root>'
         CONST String type=kotlin.String value=""
@@ -50,6 +52,7 @@ FILE fqName:<root> fileName:/smartCastsWithDestructuring.kt
         GET_VAR 'x: <root>.I1 declared in <root>.test' type=<root>.I1 origin=null
       VAR name:c1 type:kotlin.Int [val] 
         CALL 'public final fun component1 (): kotlin.Int declared in <root>' type=kotlin.Int origin=null
-      VAR name:c2 type:IrErrorType [val] 
+          $receiver: GET_VAR 'val <destruct>: <root>.I1 [val] declared in <root>.test' type=<root>.I1 origin=null
+      VAR name:c2 type:IrErrorType [val]
         ERROR_CALL 'Unresolved reference: <Inapplicable(WRONG_RECEIVER): [/component2]>#' type=IrErrorType
 

compiler/testData/ir/irText/expressions/thisOfGenericOuterClass.fir.txt

@@ -62,7 +62,8 @@ FILE fqName:<root> fileName:/thisOfGenericOuterClass.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
-  FUN name:test visibility:public modality:FINAL <> () returnType:<root>.Outer.Inner<kotlin.Int> 
+  FUN name:test visibility:public modality:FINAL <> ($receiver:<root>.Outer<kotlin.Int>) returnType:<root>.Outer.Inner<kotlin.Int>
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.Outer<kotlin.Int>
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun test (): <root>.Outer.Inner<kotlin.Int> declared in <root>'
         BLOCK type=<root>.test.<no name provided> origin=OBJECT_LITERAL

compiler/testData/ir/irText/expressions/thisReferenceBeforeClassDeclared.fir.txt

@@ -1,5 +1,6 @@
 FILE fqName:<root> fileName:/thisReferenceBeforeClassDeclared.kt
-  FUN name:test visibility:public modality:FINAL <> () returnType:kotlin.Unit 
+  FUN name:test visibility:public modality:FINAL <> ($receiver:<root>.WithCompanion) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.WithCompanion
     BLOCK_BODY
       VAR name:test1 type:<root>.WithCompanion [val] 
         BLOCK type=<root>.test.<no name provided> origin=OBJECT_LITERAL

compiler/testData/ir/irText/expressions/typeParameterClassLiteral.fir.txt

@@ -5,8 +5,9 @@ FILE fqName:<root> fileName:/typeParameterClassLiteral.kt
       RETURN type=kotlin.Nothing from='public final fun classRefFun <T> (): kotlin.reflect.KClass<IrErrorType> [inline] declared in <root>'
         GET_CLASS type=kotlin.reflect.KClass<IrErrorType>
           ERROR_CALL 'Unresolved reference: <Unresolved name: T>#' type=IrErrorType
-  FUN name:classRefExtFun visibility:public modality:FINAL <T> () returnType:kotlin.reflect.KClass<IrErrorType> [inline] 
+  FUN name:classRefExtFun visibility:public modality:FINAL <T> ($receiver:kotlin.Any) returnType:kotlin.reflect.KClass<IrErrorType> [inline]
     TYPE_PARAMETER name:T index:0 variance: superTypes:[]
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Any
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun classRefExtFun <T> (): kotlin.reflect.KClass<IrErrorType> [inline] declared in <root>'
         GET_CLASS type=kotlin.reflect.KClass<IrErrorType>
@@ -31,9 +32,10 @@ FILE fqName:<root> fileName:/typeParameterClassLiteral.kt
         RETURN type=kotlin.Nothing from='public final fun classRefGenericMemberFun <TF> (): kotlin.reflect.KClass<IrErrorType> [inline] declared in <root>.Host'
           GET_CLASS type=kotlin.reflect.KClass<IrErrorType>
             ERROR_CALL 'Unresolved reference: <Unresolved name: TF>#' type=IrErrorType
-    FUN name:classRefGenericMemberExtFun visibility:public modality:FINAL <TF> ($this:<root>.Host) returnType:kotlin.reflect.KClass<IrErrorType> [inline] 
+    FUN name:classRefGenericMemberExtFun visibility:public modality:FINAL <TF> ($this:<root>.Host, $receiver:kotlin.Any) returnType:kotlin.reflect.KClass<IrErrorType> [inline]
       TYPE_PARAMETER name:TF index:0 variance: superTypes:[]
       $this: VALUE_PARAMETER name:<this> type:<root>.Host 
+      $receiver: VALUE_PARAMETER name:<this> type:kotlin.Any
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public final fun classRefGenericMemberExtFun <TF> (): kotlin.reflect.KClass<IrErrorType> [inline] declared in <root>.Host'
           GET_CLASS type=kotlin.reflect.KClass<IrErrorType>

compiler/testData/ir/irText/expressions/unsignedIntegerLiterals.fir.txt

@@ -57,7 +57,8 @@ FILE fqName:<root> fileName:/unsignedIntegerLiterals.kt
     FIELD PROPERTY_BACKING_FIELD name:testToUByte type:kotlin.UByte visibility:public [final,static] 
       EXPRESSION_BODY
         CALL 'public final fun toUByte (): kotlin.UByte [inline] declared in kotlin' type=kotlin.UByte origin=null
-    FUN DEFAULT_PROPERTY_ACCESSOR name:<get-testToUByte> visibility:public modality:FINAL <> () returnType:kotlin.UByte 
+          $receiver: CONST Int type=kotlin.Int value=1
+    FUN DEFAULT_PROPERTY_ACCESSOR name:<get-testToUByte> visibility:public modality:FINAL <> () returnType:kotlin.UByte
       correspondingProperty: PROPERTY name:testToUByte visibility:public modality:FINAL [val] 
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public final fun <get-testToUByte> (): kotlin.UByte declared in <root>'
@@ -66,7 +67,8 @@ FILE fqName:<root> fileName:/unsignedIntegerLiterals.kt
     FIELD PROPERTY_BACKING_FIELD name:testToUShort type:kotlin.UShort visibility:public [final,static] 
       EXPRESSION_BODY
         CALL 'public final fun toUShort (): kotlin.UShort [inline] declared in kotlin' type=kotlin.UShort origin=null
-    FUN DEFAULT_PROPERTY_ACCESSOR name:<get-testToUShort> visibility:public modality:FINAL <> () returnType:kotlin.UShort 
+          $receiver: CONST Int type=kotlin.Int value=1
+    FUN DEFAULT_PROPERTY_ACCESSOR name:<get-testToUShort> visibility:public modality:FINAL <> () returnType:kotlin.UShort
       correspondingProperty: PROPERTY name:testToUShort visibility:public modality:FINAL [val] 
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public final fun <get-testToUShort> (): kotlin.UShort declared in <root>'
@@ -75,7 +77,8 @@ FILE fqName:<root> fileName:/unsignedIntegerLiterals.kt
     FIELD PROPERTY_BACKING_FIELD name:testToUInt type:kotlin.UInt visibility:public [final,static] 
       EXPRESSION_BODY
         CALL 'public final fun toUInt (): kotlin.UInt [inline] declared in kotlin' type=kotlin.UInt origin=null
-    FUN DEFAULT_PROPERTY_ACCESSOR name:<get-testToUInt> visibility:public modality:FINAL <> () returnType:kotlin.UInt 
+          $receiver: CONST Int type=kotlin.Int value=1
+    FUN DEFAULT_PROPERTY_ACCESSOR name:<get-testToUInt> visibility:public modality:FINAL <> () returnType:kotlin.UInt
       correspondingProperty: PROPERTY name:testToUInt visibility:public modality:FINAL [val] 
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public final fun <get-testToUInt> (): kotlin.UInt declared in <root>'
@@ -84,7 +87,8 @@ FILE fqName:<root> fileName:/unsignedIntegerLiterals.kt
     FIELD PROPERTY_BACKING_FIELD name:testToULong type:kotlin.ULong visibility:public [final,static] 
       EXPRESSION_BODY
         CALL 'public final fun toULong (): kotlin.ULong [inline] declared in kotlin' type=kotlin.ULong origin=null
-    FUN DEFAULT_PROPERTY_ACCESSOR name:<get-testToULong> visibility:public modality:FINAL <> () returnType:kotlin.ULong 
+          $receiver: CONST Int type=kotlin.Int value=1
+    FUN DEFAULT_PROPERTY_ACCESSOR name:<get-testToULong> visibility:public modality:FINAL <> () returnType:kotlin.ULong
       correspondingProperty: PROPERTY name:testToULong visibility:public modality:FINAL [val] 
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public final fun <get-testToULong> (): kotlin.ULong declared in <root>'

compiler/testData/ir/irText/expressions/useImportedMember.fir.txt

@@ -2,9 +2,10 @@ FILE fqName:<root> fileName:/useImportedMember.kt
   CLASS INTERFACE name:I modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
     $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.I 
     TYPE_PARAMETER name:G index:0 variance: superTypes:[]
-    FUN name:fromInterface visibility:public modality:OPEN <T> ($this:<root>.I) returnType:T of <root>.I.fromInterface 
+    FUN name:fromInterface visibility:public modality:OPEN <T> ($this:<root>.I, $receiver:T of <root>.I.fromInterface) returnType:T of <root>.I.fromInterface
       TYPE_PARAMETER name:T index:0 variance: superTypes:[]
       $this: VALUE_PARAMETER name:<this> type:<root>.I 
+      $receiver: VALUE_PARAMETER name:<this> type:T of <root>.I.fromInterface
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public open fun fromInterface <T> (): T of <root>.I.fromInterface declared in <root>.I'
           ERROR_CALL 'Unresolved reference: this#' type=T of <root>.I.fromInterface
@@ -71,8 +72,9 @@ FILE fqName:<root> fileName:/useImportedMember.kt
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public final fun f (s: kotlin.String): kotlin.Int declared in <root>.C'
           CONST Int type=kotlin.Int value=2
-    FUN name:f visibility:public modality:FINAL <> ($this:<root>.C) returnType:kotlin.Int 
+    FUN name:f visibility:public modality:FINAL <> ($this:<root>.C, $receiver:kotlin.Boolean) returnType:kotlin.Int
       $this: VALUE_PARAMETER name:<this> type:<root>.C 
+      $receiver: VALUE_PARAMETER name:<this> type:kotlin.Boolean
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public final fun f (): kotlin.Int declared in <root>.C'
           CONST Int type=kotlin.Int value=3
@@ -129,11 +131,12 @@ FILE fqName:<root> fileName:/useImportedMember.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
-    FUN FAKE_OVERRIDE name:fromInterface visibility:public modality:OPEN <> ($this:<root>.I) returnType:T of <root>.I.fromInterface 
+    FUN FAKE_OVERRIDE name:fromInterface visibility:public modality:OPEN <> ($this:<root>.I, $receiver:T of <root>.I.fromInterface) returnType:T of <root>.I.fromInterface
       overridden:
         public open fun fromInterface <T> (): T of <root>.I.fromInterface declared in <root>.I
       $this: VALUE_PARAMETER name:<this> type:<root>.I 
-    FUN FAKE_OVERRIDE name:genericFromSuper visibility:public modality:OPEN <> ($this:<root>.I, g:kotlin.String) returnType:kotlin.String 
+      $receiver: VALUE_PARAMETER name:<this> type:T of <root>.I.fromInterface
+    FUN FAKE_OVERRIDE name:genericFromSuper visibility:public modality:OPEN <> ($this:<root>.I, g:kotlin.String) returnType:kotlin.String
       overridden:
         public open fun genericFromSuper (g: G of <root>.I): G of <root>.I declared in <root>.I
       $this: VALUE_PARAMETER name:<this> type:<root>.I 

compiler/testData/ir/irText/expressions/variableAsFunctionCall.fir.txt

@@ -1,5 +1,6 @@
 FILE fqName:<root> fileName:/variableAsFunctionCall.kt
-  FUN name:k visibility:public modality:FINAL <> () returnType:kotlin.Function0<kotlin.String> 
+  FUN name:k visibility:public modality:FINAL <> ($receiver:kotlin.String) returnType:kotlin.Function0<kotlin.String>
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.String
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun k (): kotlin.Function0<kotlin.String> declared in <root>'
         FUN_EXPR type=kotlin.Function1<kotlin.Function0<kotlin.String>, kotlin.Function0<kotlin.String>> origin=LAMBDA
@@ -22,9 +23,11 @@ FILE fqName:<root> fileName:/variableAsFunctionCall.kt
       RETURN type=kotlin.Nothing from='public final fun test3 (): IrErrorType declared in <root>'
         ERROR_CALL 'Unresolved reference: <Unresolved name: invoke>#' type=IrErrorType
           CALL 'public final fun k (): kotlin.Function0<kotlin.String> declared in <root>' type=kotlin.Function0<kotlin.String> origin=null
+            $receiver: CONST String type=kotlin.String value="hello"
   FUN name:test4 visibility:public modality:FINAL <> (ns:kotlin.String?) returnType:kotlin.String
     VALUE_PARAMETER name:ns index:0 type:kotlin.String? 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun test4 (ns: kotlin.String?): kotlin.String declared in <root>'
         CALL 'public abstract fun invoke (): kotlin.String declared in kotlin.Function0' type=kotlin.String origin=null
           $this: CALL 'public final fun k (): kotlin.Function0<kotlin.String> declared in <root>' type=kotlin.Function0<kotlin.String> origin=null
+            $receiver: GET_VAR 'ns: kotlin.String? declared in <root>.test4' type=kotlin.String? origin=null

compiler/testData/ir/irText/expressions/when.fir.txt

@@ -45,6 +45,7 @@ FILE fqName:<root> fileName:/when.kt
               then: CONST String type=kotlin.String value="!Number"
             BRANCH
               if: CALL 'public final fun contains (element: T of <uninitialized parent>): kotlin.Boolean declared in kotlin.collections' type=kotlin.Boolean origin=null
+                $receiver: CALL 'public final fun setOf (): kotlin.collections.Set<T of <uninitialized parent>> [inline] declared in kotlin.collections' type=kotlin.collections.Set<kotlin.Nothing> origin=null
                 element: GET_VAR 'val tmp0_subject: kotlin.Any? [val] declared in <root>.testWithSubject' type=kotlin.Any? origin=null
               then: CONST String type=kotlin.String value="nothingness?"
             BRANCH
@@ -75,6 +76,7 @@ FILE fqName:<root> fileName:/when.kt
             then: CONST String type=kotlin.String value="!Number"
           BRANCH
             if: CALL 'public final fun contains (element: T of <uninitialized parent>): kotlin.Boolean declared in kotlin.collections' type=kotlin.Boolean origin=null
+              $receiver: CALL 'public final fun setOf (): kotlin.collections.Set<T of <uninitialized parent>> [inline] declared in kotlin.collections' type=kotlin.collections.Set<kotlin.Nothing> origin=null
               element: GET_VAR 'x: kotlin.Any? declared in <root>.test' type=kotlin.Any? origin=null
             then: CONST String type=kotlin.String value="nothingness?"
           BRANCH

compiler/testData/ir/irText/lambdas/extensionLambda.fir.txt

@@ -3,6 +3,7 @@ FILE fqName:<root> fileName:/extensionLambda.kt
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun test1 (): kotlin.Int declared in <root>'
         CALL 'public final fun run (block: kotlin.Function1<T of <uninitialized parent>, R of <uninitialized parent>>): R of <uninitialized parent> [inline] declared in kotlin' type=kotlin.Int origin=null
+          $receiver: CONST String type=kotlin.String value="42"
           block: FUN_EXPR type=kotlin.Function2<kotlin.String, kotlin.String, kotlin.Int> origin=LAMBDA
             FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> (it:kotlin.String) returnType:kotlin.Int 
               VALUE_PARAMETER name:it index:0 type:kotlin.String 

compiler/testData/ir/irText/lambdas/multipleImplicitReceivers.fir.txt

@@ -61,8 +61,9 @@ FILE fqName:<root> fileName:/multipleImplicitReceivers.kt
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
   CLASS INTERFACE name:IInvoke modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
     $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.IInvoke 
-    FUN name:invoke visibility:public modality:OPEN <> ($this:<root>.IInvoke) returnType:kotlin.Int 
+    FUN name:invoke visibility:public modality:OPEN <> ($this:<root>.IInvoke, $receiver:<root>.B) returnType:kotlin.Int
       $this: VALUE_PARAMETER name:<this> type:<root>.IInvoke 
+      $receiver: VALUE_PARAMETER name:<this> type:<root>.B
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='public open fun invoke (): kotlin.Int declared in <root>.IInvoke'
           CONST Int type=kotlin.Int value=42

compiler/testData/ir/irText/lambdas/nonLocalReturn.fir.txt

@@ -39,6 +39,7 @@ FILE fqName:<root> fileName:/nonLocalReturn.kt
     VALUE_PARAMETER name:ints index:0 type:kotlin.collections.List<kotlin.Int> 
     BLOCK_BODY
       CALL 'public final fun forEach (action: kotlin.Function1<T of <uninitialized parent>, kotlin.Unit>): kotlin.Unit [inline] declared in kotlin.collections' type=kotlin.Unit origin=null
+        $receiver: GET_VAR 'ints: kotlin.collections.List<kotlin.Int> declared in <root>.testLrmFoo1' type=kotlin.collections.List<kotlin.Int> origin=null
         action: FUN_EXPR type=kotlin.Function1<kotlin.Int, kotlin.Unit> origin=LAMBDA
           FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> (it:kotlin.Int) returnType:kotlin.Unit 
             VALUE_PARAMETER name:it index:0 type:kotlin.Int 
@@ -56,6 +57,7 @@ FILE fqName:<root> fileName:/nonLocalReturn.kt
     VALUE_PARAMETER name:ints index:0 type:kotlin.collections.List<kotlin.Int> 
     BLOCK_BODY
       CALL 'public final fun forEach (action: kotlin.Function1<T of <uninitialized parent>, kotlin.Unit>): kotlin.Unit [inline] declared in kotlin.collections' type=kotlin.Unit origin=null
+        $receiver: GET_VAR 'ints: kotlin.collections.List<kotlin.Int> declared in <root>.testLrmFoo2' type=kotlin.collections.List<kotlin.Int> origin=null
         action: FUN_EXPR type=kotlin.Function1<kotlin.Int, kotlin.Unit> origin=LAMBDA
           FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> (it:kotlin.Int) returnType:kotlin.Unit 
             VALUE_PARAMETER name:it index:0 type:kotlin.Int 

compiler/testData/ir/irText/regressions/integerCoercionToT.fir.txt

@@ -14,8 +14,9 @@ FILE fqName:<root> fileName:/integerCoercionToT.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
-  FUN name:reinterpret visibility:public modality:FINAL <T> () returnType:T of <root>.reinterpret [inline] 
+  FUN name:reinterpret visibility:public modality:FINAL <T> ($receiver:<root>.CPointed) returnType:T of <root>.reinterpret [inline]
     TYPE_PARAMETER name:T index:0 variance: superTypes:[]
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.CPointed
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun reinterpret <T> (): T of <root>.reinterpret [inline] declared in <root>'
         CALL 'public final fun TODO (): kotlin.Nothing [inline] declared in kotlin' type=kotlin.Nothing origin=null

compiler/testData/ir/irText/stubs/builtinMap.fir.txt

@@ -1,8 +1,9 @@
 FILE fqName:<root> fileName:/builtinMap.kt
-  FUN name:plus visibility:public modality:FINAL <K1, V1> (pair:kotlin.Pair<K1 of <root>.plus, V1 of <root>.plus>) returnType:kotlin.collections.Map<K1 of <root>.plus, V1 of <root>.plus> 
+  FUN name:plus visibility:public modality:FINAL <K1, V1> ($receiver:kotlin.collections.Map<out K1 of <root>.plus, V1 of <root>.plus>, pair:kotlin.Pair<K1 of <root>.plus, V1 of <root>.plus>) returnType:kotlin.collections.Map<K1 of <root>.plus, V1 of <root>.plus>
     TYPE_PARAMETER name:K1 index:0 variance: superTypes:[]
     TYPE_PARAMETER name:V1 index:0 variance: superTypes:[]
-    VALUE_PARAMETER name:pair index:0 type:kotlin.Pair<K1 of <root>.plus, V1 of <root>.plus> 
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.collections.Map<out K1 of <root>.plus, V1 of <root>.plus>
+    VALUE_PARAMETER name:pair index:0 type:kotlin.Pair<K1 of <root>.plus, V1 of <root>.plus>
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun plus <K1, V1> (pair: kotlin.Pair<K1 of <root>.plus, V1 of <root>.plus>): kotlin.collections.Map<K1 of <root>.plus, V1 of <root>.plus> declared in <root>'
         WHEN type=kotlin.collections.Map<K1 of <root>.plus, V1 of <root>.plus> origin=IF
@@ -14,6 +15,10 @@ FILE fqName:<root> fileName:/builtinMap.kt
           BRANCH
             if: CONST Boolean type=kotlin.Boolean value=true
             then: CALL 'public final fun apply (block: kotlin.Function1<T of <uninitialized parent>, kotlin.Unit>): T of <uninitialized parent> [inline] declared in kotlin' type=java.util.LinkedHashMap<K1 of <root>.plus, V1 of <root>.plus> origin=null
+              $receiver: CONSTRUCTOR_CALL 'public constructor <init> (<anonymous Java parameter>: kotlin.collections.Map<out K of java.util.LinkedHashMap, out V of java.util.LinkedHashMap>?) declared in java.util.LinkedHashMap' type=java.util.LinkedHashMap<K1 of <root>.plus, V1 of <root>.plus> origin=null
+                <class: K>: <none>
+                <class: V>: <none>
+                <anonymous Java parameter>: ERROR_CALL 'Unresolved reference: this#' type=kotlin.collections.Map<out K1 of <root>.plus, V1 of <root>.plus>
               block: FUN_EXPR type=kotlin.Function2<java.util.LinkedHashMap<K1 of <root>.plus, V1 of <root>.plus>, java.util.LinkedHashMap<K1 of <root>.plus, V1 of <root>.plus>, kotlin.Unit> origin=LAMBDA
                 FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> (it:java.util.LinkedHashMap<K1 of <root>.plus, V1 of <root>.plus>) returnType:kotlin.Unit 
                   VALUE_PARAMETER name:it index:0 type:java.util.LinkedHashMap<K1 of <root>.plus, V1 of <root>.plus> 

compiler/testData/ir/irText/types/asOnPlatformType.fir.txt

@@ -6,17 +6,23 @@ FILE fqName:<root> fileName:/asOnPlatformType.kt
       VAR name:nonnullStr type:kotlin.String? [val]
         CALL 'public open fun nonnullString (): kotlin.String? declared in <root>.JavaClass' type=kotlin.String? origin=null
       CALL 'public final fun foo <T> (): T of <root>.foo [inline] declared in <root>' type=kotlin.String? origin=null
+        $receiver: GET_VAR 'val nullStr: kotlin.String? [val] declared in <root>.test' type=kotlin.String? origin=null
       CALL 'public final fun foo <T> (): T of <root>.foo [inline] declared in <root>' type=kotlin.String? origin=null
+        $receiver: GET_VAR 'val nonnullStr: kotlin.String? [val] declared in <root>.test' type=kotlin.String? origin=null
       CALL 'public final fun fooN <T> (): T of <root>.fooN? [inline] declared in <root>' type=kotlin.String? origin=null
+        $receiver: GET_VAR 'val nullStr: kotlin.String? [val] declared in <root>.test' type=kotlin.String? origin=null
       CALL 'public final fun fooN <T> (): T of <root>.fooN? [inline] declared in <root>' type=kotlin.String? origin=null
-  FUN name:foo visibility:public modality:FINAL <T> () returnType:T of <root>.foo [inline]
+        $receiver: GET_VAR 'val nonnullStr: kotlin.String? [val] declared in <root>.test' type=kotlin.String? origin=null
+  FUN name:foo visibility:public modality:FINAL <T> ($receiver:T of <root>.foo) returnType:T of <root>.foo [inline]
     TYPE_PARAMETER name:T index:0 variance: superTypes:[]
+    $receiver: VALUE_PARAMETER name:<this> type:T of <root>.foo
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun foo <T> (): T of <root>.foo [inline] declared in <root>'
         TYPE_OP type=T of <root>.foo origin=CAST typeOperand=T of <root>.foo
           ERROR_CALL 'Unresolved reference: this#' type=T of <root>.foo
-  FUN name:fooN visibility:public modality:FINAL <T> () returnType:T of <root>.fooN? [inline]
+  FUN name:fooN visibility:public modality:FINAL <T> ($receiver:T of <root>.fooN) returnType:T of <root>.fooN? [inline]
     TYPE_PARAMETER name:T index:0 variance: superTypes:[]
+    $receiver: VALUE_PARAMETER name:<this> type:T of <root>.fooN
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun fooN <T> (): T of <root>.fooN? [inline] declared in <root>'
         TYPE_OP type=T of <root>.fooN? origin=CAST typeOperand=T of <root>.fooN?

compiler/testData/ir/irText/types/explicitEqualsAndCompareToCallsOnPlatformTypeReceiver.fir.txt

@@ -1,35 +1,41 @@
 FILE fqName:<root> fileName:/explicitEqualsAndCompareToCallsOnPlatformTypeReceiver.kt
-  FUN name:testPlatformEqualsPlatform visibility:public modality:FINAL <> () returnType:kotlin.Boolean
+  FUN name:testPlatformEqualsPlatform visibility:public modality:FINAL <> ($receiver:<root>.JavaClass) returnType:kotlin.Boolean
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.JavaClass
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun testPlatformEqualsPlatform (): kotlin.Boolean declared in <root>'
         CALL 'public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in kotlin.Any' type=kotlin.Boolean origin=null
           $this: CALL 'public open fun null0 (): kotlin.Double? declared in <root>.JavaClass' type=kotlin.Double? origin=null
           other: CALL 'public open fun null0 (): kotlin.Double? declared in <root>.JavaClass' type=kotlin.Double? origin=null
-  FUN name:testPlatformEqualsKotlin visibility:public modality:FINAL <> () returnType:kotlin.Boolean
+  FUN name:testPlatformEqualsKotlin visibility:public modality:FINAL <> ($receiver:<root>.JavaClass) returnType:kotlin.Boolean
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.JavaClass
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun testPlatformEqualsKotlin (): kotlin.Boolean declared in <root>'
         CALL 'public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in kotlin.Any' type=kotlin.Boolean origin=null
           $this: CALL 'public open fun null0 (): kotlin.Double? declared in <root>.JavaClass' type=kotlin.Double? origin=null
           other: CONST Double type=kotlin.Double value=0.0
-  FUN name:testKotlinEqualsPlatform visibility:public modality:FINAL <> () returnType:kotlin.Boolean
+  FUN name:testKotlinEqualsPlatform visibility:public modality:FINAL <> ($receiver:<root>.JavaClass) returnType:kotlin.Boolean
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.JavaClass
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun testKotlinEqualsPlatform (): kotlin.Boolean declared in <root>'
         CALL 'public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in kotlin.Any' type=kotlin.Boolean origin=null
           $this: CONST Double type=kotlin.Double value=0.0
           other: CALL 'public open fun null0 (): kotlin.Double? declared in <root>.JavaClass' type=kotlin.Double? origin=null
-  FUN name:testPlatformCompareToPlatform visibility:public modality:FINAL <> () returnType:kotlin.Int
+  FUN name:testPlatformCompareToPlatform visibility:public modality:FINAL <> ($receiver:<root>.JavaClass) returnType:kotlin.Int
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.JavaClass
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun testPlatformCompareToPlatform (): kotlin.Int declared in <root>'
         CALL 'public open fun compareTo (other: kotlin.Double): kotlin.Int declared in kotlin.Double' type=kotlin.Int origin=null
           $this: CALL 'public open fun null0 (): kotlin.Double? declared in <root>.JavaClass' type=kotlin.Double? origin=null
           other: CALL 'public open fun null0 (): kotlin.Double? declared in <root>.JavaClass' type=kotlin.Double? origin=null
-  FUN name:testPlatformCompareToKotlin visibility:public modality:FINAL <> () returnType:kotlin.Int
+  FUN name:testPlatformCompareToKotlin visibility:public modality:FINAL <> ($receiver:<root>.JavaClass) returnType:kotlin.Int
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.JavaClass
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun testPlatformCompareToKotlin (): kotlin.Int declared in <root>'
         CALL 'public open fun compareTo (other: kotlin.Double): kotlin.Int declared in kotlin.Double' type=kotlin.Int origin=null
           $this: CALL 'public open fun null0 (): kotlin.Double? declared in <root>.JavaClass' type=kotlin.Double? origin=null
           other: CONST Double type=kotlin.Double value=0.0
-  FUN name:testKotlinCompareToPlatform visibility:public modality:FINAL <> () returnType:kotlin.Int
+  FUN name:testKotlinCompareToPlatform visibility:public modality:FINAL <> ($receiver:<root>.JavaClass) returnType:kotlin.Int
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.JavaClass
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun testKotlinCompareToPlatform (): kotlin.Int declared in <root>'
         CALL 'public open fun compareTo (other: kotlin.Double): kotlin.Int declared in kotlin.Double' type=kotlin.Int origin=null

compiler/testData/ir/irText/types/intersectionType1_NI.fir.txt

@@ -33,10 +33,17 @@ FILE fqName:<root> fileName:/intersectionType1_NI.kt
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun foo <T> (a: kotlin.Array<<root>.In<T of <root>.foo>>, b: kotlin.Array<<root>.In<kotlin.String>>): kotlin.Boolean declared in <root>'
         CALL 'public final fun ofType <K> (y: kotlin.Any?): kotlin.Boolean [inline] declared in <root>' type=kotlin.Boolean origin=null
+          $receiver: CALL 'public final fun get (index: kotlin.Int): <root>.In<T of <root>.foo> declared in kotlin.Array' type=<root>.In<T of <root>.foo> origin=null
+            $this: CALL 'public final fun select <S> (x: S of <root>.select, y: S of <root>.select): S of <root>.select declared in <root>' type=kotlin.Array<<root>.In<T of <root>.foo>> origin=null
+              <S>: <none>
+              x: GET_VAR 'a: kotlin.Array<<root>.In<T of <root>.foo>> declared in <root>.foo' type=kotlin.Array<<root>.In<T of <root>.foo>> origin=null
+              y: GET_VAR 'b: kotlin.Array<<root>.In<kotlin.String>> declared in <root>.foo' type=kotlin.Array<<root>.In<kotlin.String>> origin=null
+            index: CONST Int type=kotlin.Int value=0
           y: CONST Boolean type=kotlin.Boolean value=true
-  FUN name:ofType visibility:public modality:FINAL <K> (y:kotlin.Any?) returnType:kotlin.Boolean [inline] 
+  FUN name:ofType visibility:public modality:FINAL <K> ($receiver:<root>.In<K of <root>.ofType>, y:kotlin.Any?) returnType:kotlin.Boolean [inline]
     TYPE_PARAMETER name:K index:0 variance: superTypes:[]
-    VALUE_PARAMETER name:y index:0 type:kotlin.Any? 
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.In<K of <root>.ofType>
+    VALUE_PARAMETER name:y index:0 type:kotlin.Any?
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun ofType <K> (y: kotlin.Any?): kotlin.Boolean [inline] declared in <root>'
         TYPE_OP type=kotlin.Boolean origin=INSTANCEOF typeOperand=K of <root>.ofType

compiler/testData/ir/irText/types/intersectionType1_OI.fir.txt

@@ -33,9 +33,16 @@ FILE fqName:<root> fileName:/intersectionType1_OI.kt
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun foo <T> (a: kotlin.Array<<root>.In<T of <root>.foo>>, b: kotlin.Array<<root>.In<kotlin.String>>): kotlin.Boolean declared in <root>'
         CALL 'public final fun ofType <K> (y: kotlin.Any?): kotlin.Boolean [inline] declared in <root>' type=kotlin.Boolean origin=null
+          $receiver: CALL 'public final fun get (index: kotlin.Int): <root>.In<T of <root>.foo> declared in kotlin.Array' type=<root>.In<T of <root>.foo> origin=null
+            $this: CALL 'public final fun select <S> (x: S of <root>.select, y: S of <root>.select): S of <root>.select declared in <root>' type=kotlin.Array<<root>.In<T of <root>.foo>> origin=null
+              <S>: <none>
+              x: GET_VAR 'a: kotlin.Array<<root>.In<T of <root>.foo>> declared in <root>.foo' type=kotlin.Array<<root>.In<T of <root>.foo>> origin=null
+              y: GET_VAR 'b: kotlin.Array<<root>.In<kotlin.String>> declared in <root>.foo' type=kotlin.Array<<root>.In<kotlin.String>> origin=null
+            index: CONST Int type=kotlin.Int value=0
           y: CONST Boolean type=kotlin.Boolean value=true
-  FUN name:ofType visibility:public modality:FINAL <K> (y:kotlin.Any?) returnType:kotlin.Boolean [inline]
+  FUN name:ofType visibility:public modality:FINAL <K> ($receiver:<root>.In<K of <root>.ofType>, y:kotlin.Any?) returnType:kotlin.Boolean [inline]
     TYPE_PARAMETER name:K index:0 variance: superTypes:[]
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.In<K of <root>.ofType>
     VALUE_PARAMETER name:y index:0 type:kotlin.Any?
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun ofType <K> (y: kotlin.Any?): kotlin.Boolean [inline] declared in <root>'

compiler/testData/ir/irText/types/intersectionType3_NI.fir.txt

@@ -15,14 +15,16 @@ FILE fqName:<root> fileName:/intersectionType3_NI.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any 
-  FUN name:isT visibility:public modality:FINAL <T> () returnType:kotlin.Boolean [inline] 
+  FUN name:isT visibility:public modality:FINAL <T> ($receiver:<root>.In<T of <root>.isT>) returnType:kotlin.Boolean [inline]
     TYPE_PARAMETER name:T index:0 variance: superTypes:[]
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.In<T of <root>.isT>
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun isT <T> (): kotlin.Boolean [inline] declared in <root>'
         TYPE_OP type=kotlin.Boolean origin=INSTANCEOF typeOperand=T of <root>.isT
           ERROR_CALL 'Unresolved reference: this#' type=<root>.In<T of <root>.isT>
-  FUN name:asT visibility:public modality:FINAL <T> () returnType:kotlin.Unit [inline] 
+  FUN name:asT visibility:public modality:FINAL <T> ($receiver:<root>.In<T of <root>.asT>) returnType:kotlin.Unit [inline]
     TYPE_PARAMETER name:T index:0 variance: superTypes:[]
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.In<T of <root>.asT>
     BLOCK_BODY
       TYPE_OP type=T of <root>.asT origin=CAST typeOperand=T of <root>.asT
         ERROR_CALL 'Unresolved reference: this#' type=<root>.In<T of <root>.asT>
@@ -130,39 +132,62 @@ FILE fqName:<root> fileName:/intersectionType3_NI.kt
       RETURN type=kotlin.Nothing from='public final fun testInIs1 (x: <root>.In<<root>.A>, y: <root>.In<<root>.B>): kotlin.Boolean declared in <root>'
         CALL 'public final fun isT <T> (): kotlin.Boolean [inline] declared in <root>' type=kotlin.Boolean origin=null
           <T>: <none>
-  FUN name:testInIs2 visibility:public modality:FINAL <> (x:<root>.In<<root>.Z1>, y:<root>.In<<root>.Z2>) returnType:kotlin.Boolean 
+          $receiver: CALL 'public final fun sel <S> (x: S of <root>.sel, y: S of <root>.sel): S of <root>.sel declared in <root>' type=<root>.In<<root>.A> origin=null
+            <S>: <none>
+            x: GET_VAR 'x: <root>.In<<root>.A> declared in <root>.testInIs1' type=<root>.In<<root>.A> origin=null
+            y: GET_VAR 'y: <root>.In<<root>.B> declared in <root>.testInIs1' type=<root>.In<<root>.B> origin=null
+  FUN name:testInIs2 visibility:public modality:FINAL <> (x:<root>.In<<root>.Z1>, y:<root>.In<<root>.Z2>) returnType:kotlin.Boolean
     VALUE_PARAMETER name:x index:0 type:<root>.In<<root>.Z1> 
     VALUE_PARAMETER name:y index:1 type:<root>.In<<root>.Z2> 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun testInIs2 (x: <root>.In<<root>.Z1>, y: <root>.In<<root>.Z2>): kotlin.Boolean declared in <root>'
         CALL 'public final fun isT <T> (): kotlin.Boolean [inline] declared in <root>' type=kotlin.Boolean origin=null
           <T>: <none>
-  FUN name:testInIs3 visibility:public modality:FINAL <> (x:<root>.In<<root>.A1>, y:<root>.In<<root>.A2>) returnType:kotlin.Boolean 
+          $receiver: CALL 'public final fun sel <S> (x: S of <root>.sel, y: S of <root>.sel): S of <root>.sel declared in <root>' type=<root>.In<<root>.Z1> origin=null
+            <S>: <none>
+            x: GET_VAR 'x: <root>.In<<root>.Z1> declared in <root>.testInIs2' type=<root>.In<<root>.Z1> origin=null
+            y: GET_VAR 'y: <root>.In<<root>.Z2> declared in <root>.testInIs2' type=<root>.In<<root>.Z2> origin=null
+  FUN name:testInIs3 visibility:public modality:FINAL <> (x:<root>.In<<root>.A1>, y:<root>.In<<root>.A2>) returnType:kotlin.Boolean
     VALUE_PARAMETER name:x index:0 type:<root>.In<<root>.A1> 
     VALUE_PARAMETER name:y index:1 type:<root>.In<<root>.A2> 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun testInIs3 (x: <root>.In<<root>.A1>, y: <root>.In<<root>.A2>): kotlin.Boolean declared in <root>'
         CALL 'public final fun isT <T> (): kotlin.Boolean [inline] declared in <root>' type=kotlin.Boolean origin=null
           <T>: <none>
-  FUN name:testInAs1 visibility:public modality:FINAL <> (x:<root>.In<<root>.A>, y:<root>.In<<root>.B>) returnType:kotlin.Unit 
+          $receiver: CALL 'public final fun sel <S> (x: S of <root>.sel, y: S of <root>.sel): S of <root>.sel declared in <root>' type=<root>.In<<root>.A1> origin=null
+            <S>: <none>
+            x: GET_VAR 'x: <root>.In<<root>.A1> declared in <root>.testInIs3' type=<root>.In<<root>.A1> origin=null
+            y: GET_VAR 'y: <root>.In<<root>.A2> declared in <root>.testInIs3' type=<root>.In<<root>.A2> origin=null
+  FUN name:testInAs1 visibility:public modality:FINAL <> (x:<root>.In<<root>.A>, y:<root>.In<<root>.B>) returnType:kotlin.Unit
     VALUE_PARAMETER name:x index:0 type:<root>.In<<root>.A> 
     VALUE_PARAMETER name:y index:1 type:<root>.In<<root>.B> 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun testInAs1 (x: <root>.In<<root>.A>, y: <root>.In<<root>.B>): kotlin.Unit declared in <root>'
         CALL 'public final fun asT <T> (): kotlin.Unit [inline] declared in <root>' type=kotlin.Unit origin=null
           <T>: <none>
-  FUN name:testInAs2 visibility:public modality:FINAL <> (x:<root>.In<<root>.Z1>, y:<root>.In<<root>.Z2>) returnType:kotlin.Unit 
+          $receiver: CALL 'public final fun sel <S> (x: S of <root>.sel, y: S of <root>.sel): S of <root>.sel declared in <root>' type=<root>.In<<root>.A> origin=null
+            <S>: <none>
+            x: GET_VAR 'x: <root>.In<<root>.A> declared in <root>.testInAs1' type=<root>.In<<root>.A> origin=null
+            y: GET_VAR 'y: <root>.In<<root>.B> declared in <root>.testInAs1' type=<root>.In<<root>.B> origin=null
+  FUN name:testInAs2 visibility:public modality:FINAL <> (x:<root>.In<<root>.Z1>, y:<root>.In<<root>.Z2>) returnType:kotlin.Unit
     VALUE_PARAMETER name:x index:0 type:<root>.In<<root>.Z1> 
     VALUE_PARAMETER name:y index:1 type:<root>.In<<root>.Z2> 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun testInAs2 (x: <root>.In<<root>.Z1>, y: <root>.In<<root>.Z2>): kotlin.Unit declared in <root>'
         CALL 'public final fun asT <T> (): kotlin.Unit [inline] declared in <root>' type=kotlin.Unit origin=null
           <T>: <none>
-  FUN name:testInAs3 visibility:public modality:FINAL <> (x:<root>.In<<root>.A1>, y:<root>.In<<root>.A2>) returnType:kotlin.Unit 
+          $receiver: CALL 'public final fun sel <S> (x: S of <root>.sel, y: S of <root>.sel): S of <root>.sel declared in <root>' type=<root>.In<<root>.Z1> origin=null
+            <S>: <none>
+            x: GET_VAR 'x: <root>.In<<root>.Z1> declared in <root>.testInAs2' type=<root>.In<<root>.Z1> origin=null
+            y: GET_VAR 'y: <root>.In<<root>.Z2> declared in <root>.testInAs2' type=<root>.In<<root>.Z2> origin=null
+  FUN name:testInAs3 visibility:public modality:FINAL <> (x:<root>.In<<root>.A1>, y:<root>.In<<root>.A2>) returnType:kotlin.Unit
     VALUE_PARAMETER name:x index:0 type:<root>.In<<root>.A1> 
     VALUE_PARAMETER name:y index:1 type:<root>.In<<root>.A2> 
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun testInAs3 (x: <root>.In<<root>.A1>, y: <root>.In<<root>.A2>): kotlin.Unit declared in <root>'
         CALL 'public final fun asT <T> (): kotlin.Unit [inline] declared in <root>' type=kotlin.Unit origin=null
           <T>: <none>
-
+          $receiver: CALL 'public final fun sel <S> (x: S of <root>.sel, y: S of <root>.sel): S of <root>.sel declared in <root>' type=<root>.In<<root>.A1> origin=null
+            <S>: <none>
+            x: GET_VAR 'x: <root>.In<<root>.A1> declared in <root>.testInAs3' type=<root>.In<<root>.A1> origin=null
+            y: GET_VAR 'y: <root>.In<<root>.A2> declared in <root>.testInAs3' type=<root>.In<<root>.A2> origin=null

compiler/testData/ir/irText/types/intersectionType3_OI.fir.txt

@@ -15,14 +15,16 @@ FILE fqName:<root> fileName:/intersectionType3_OI.kt
       overridden:
         public open fun toString (): kotlin.String declared in kotlin.Any
       $this: VALUE_PARAMETER name:<this> type:kotlin.Any
-  FUN name:isT visibility:public modality:FINAL <T> () returnType:kotlin.Boolean [inline]
+  FUN name:isT visibility:public modality:FINAL <T> ($receiver:<root>.In<T of <root>.isT>) returnType:kotlin.Boolean [inline]
     TYPE_PARAMETER name:T index:0 variance: superTypes:[]
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.In<T of <root>.isT>
     BLOCK_BODY
       RETURN type=kotlin.Nothing from='public final fun isT <T> (): kotlin.Boolean [inline] declared in <root>'
         TYPE_OP type=kotlin.Boolean origin=INSTANCEOF typeOperand=T of <root>.isT
           ERROR_CALL 'Unresolved reference: this#' type=<root>.In<T of <root>.isT>
-  FUN name:asT visibility:public modality:FINAL <T> () returnType:kotlin.Unit [inline]
+  FUN name:asT visibility:public modality:FINAL <T> ($receiver:<root>.In<T of <root>.asT>) returnType:kotlin.Unit [inline]
     TYPE_PARAMETER name:T index:0 variance: superTypes:[]
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.In<T of <root>.asT>
     BLOCK_BODY
       TYPE_OP type=T of <root>.asT origin=CAST typeOperand=T of <root>.asT
         ERROR_CALL 'Unresolved reference: this#' type=<root>.In<T of <root>.asT>
@@ -130,6 +132,10 @@ FILE fqName:<root> fileName:/intersectionType3_OI.kt
       RETURN type=kotlin.Nothing from='public final fun testInIs1 (x: <root>.In<<root>.A>, y: <root>.In<<root>.B>): kotlin.Boolean declared in <root>'
         CALL 'public final fun isT <T> (): kotlin.Boolean [inline] declared in <root>' type=kotlin.Boolean origin=null
           <T>: <none>
+          $receiver: CALL 'public final fun sel <S> (x: S of <root>.sel, y: S of <root>.sel): S of <root>.sel declared in <root>' type=<root>.In<<root>.A> origin=null
+            <S>: <none>
+            x: GET_VAR 'x: <root>.In<<root>.A> declared in <root>.testInIs1' type=<root>.In<<root>.A> origin=null
+            y: GET_VAR 'y: <root>.In<<root>.B> declared in <root>.testInIs1' type=<root>.In<<root>.B> origin=null
   FUN name:testInIs2 visibility:public modality:FINAL <> (x:<root>.In<<root>.Z1>, y:<root>.In<<root>.Z2>) returnType:kotlin.Boolean
     VALUE_PARAMETER name:x index:0 type:<root>.In<<root>.Z1>
     VALUE_PARAMETER name:y index:1 type:<root>.In<<root>.Z2>
@@ -137,6 +143,10 @@ FILE fqName:<root> fileName:/intersectionType3_OI.kt
       RETURN type=kotlin.Nothing from='public final fun testInIs2 (x: <root>.In<<root>.Z1>, y: <root>.In<<root>.Z2>): kotlin.Boolean declared in <root>'
         CALL 'public final fun isT <T> (): kotlin.Boolean [inline] declared in <root>' type=kotlin.Boolean origin=null
           <T>: <none>
+          $receiver: CALL 'public final fun sel <S> (x: S of <root>.sel, y: S of <root>.sel): S of <root>.sel declared in <root>' type=<root>.In<<root>.Z1> origin=null
+            <S>: <none>
+            x: GET_VAR 'x: <root>.In<<root>.Z1> declared in <root>.testInIs2' type=<root>.In<<root>.Z1> origin=null
+            y: GET_VAR 'y: <root>.In<<root>.Z2> declared in <root>.testInIs2' type=<root>.In<<root>.Z2> origin=null
   FUN name:testInIs3 visibility:public modality:FINAL <> (x:<root>.In<<root>.A1>, y:<root>.In<<root>.A2>) returnType:kotlin.Boolean
     VALUE_PARAMETER name:x index:0 type:<root>.In<<root>.A1>
     VALUE_PARAMETER name:y index:1 type:<root>.In<<root>.A2>
@@ -144,6 +154,10 @@ FILE fqName:<root> fileName:/intersectionType3_OI.kt
       RETURN type=kotlin.Nothing from='public final fun testInIs3 (x: <root>.In<<root>.A1>, y: <root>.In<<root>.A2>): kotlin.Boolean declared in <root>'
         CALL 'public final fun isT <T> (): kotlin.Boolean [inline] declared in <root>' type=kotlin.Boolean origin=null
           <T>: <none>
+          $receiver: CALL 'public final fun sel <S> (x: S of <root>.sel, y: S of <root>.sel): S of <root>.sel declared in <root>' type=<root>.In<<root>.A1> origin=null
+            <S>: <none>
+            x: GET_VAR 'x: <root>.In<<root>.A1> declared in <root>.testInIs3' type=<root>.In<<root>.A1> origin=null
+            y: GET_VAR 'y: <root>.In<<root>.A2> declared in <root>.testInIs3' type=<root>.In<<root>.A2> origin=null
   FUN name:testInAs1 visibility:public modality:FINAL <> (x:<root>.In<<root>.A>, y:<root>.In<<root>.B>) returnType:kotlin.Unit
     VALUE_PARAMETER name:x index:0 type:<root>.In<<root>.A>
     VALUE_PARAMETER name:y index:1 type:<root>.In<<root>.B>
@@ -151,6 +165,10 @@ FILE fqName:<root> fileName:/intersectionType3_OI.kt
       RETURN type=kotlin.Nothing from='public final fun testInAs1 (x: <root>.In<<root>.A>, y: <root>.In<<root>.B>): kotlin.Unit declared in <root>'
         CALL 'public final fun asT <T> (): kotlin.Unit [inline] declared in <root>' type=kotlin.Unit origin=null
           <T>: <none>
+          $receiver: CALL 'public final fun sel <S> (x: S of <root>.sel, y: S of <root>.sel): S of <root>.sel declared in <root>' type=<root>.In<<root>.A> origin=null
+            <S>: <none>
+            x: GET_VAR 'x: <root>.In<<root>.A> declared in <root>.testInAs1' type=<root>.In<<root>.A> origin=null
+            y: GET_VAR 'y: <root>.In<<root>.B> declared in <root>.testInAs1' type=<root>.In<<root>.B> origin=null
   FUN name:testInAs2 visibility:public modality:FINAL <> (x:<root>.In<<root>.Z1>, y:<root>.In<<root>.Z2>) returnType:kotlin.Unit
     VALUE_PARAMETER name:x index:0 type:<root>.In<<root>.Z1>
     VALUE_PARAMETER name:y index:1 type:<root>.In<<root>.Z2>
@@ -158,6 +176,10 @@ FILE fqName:<root> fileName:/intersectionType3_OI.kt
       RETURN type=kotlin.Nothing from='public final fun testInAs2 (x: <root>.In<<root>.Z1>, y: <root>.In<<root>.Z2>): kotlin.Unit declared in <root>'
         CALL 'public final fun asT <T> (): kotlin.Unit [inline] declared in <root>' type=kotlin.Unit origin=null
           <T>: <none>
+          $receiver: CALL 'public final fun sel <S> (x: S of <root>.sel, y: S of <root>.sel): S of <root>.sel declared in <root>' type=<root>.In<<root>.Z1> origin=null
+            <S>: <none>
+            x: GET_VAR 'x: <root>.In<<root>.Z1> declared in <root>.testInAs2' type=<root>.In<<root>.Z1> origin=null
+            y: GET_VAR 'y: <root>.In<<root>.Z2> declared in <root>.testInAs2' type=<root>.In<<root>.Z2> origin=null
   FUN name:testInAs3 visibility:public modality:FINAL <> (x:<root>.In<<root>.A1>, y:<root>.In<<root>.A2>) returnType:kotlin.Unit
     VALUE_PARAMETER name:x index:0 type:<root>.In<<root>.A1>
     VALUE_PARAMETER name:y index:1 type:<root>.In<<root>.A2>
@@ -165,3 +187,7 @@ FILE fqName:<root> fileName:/intersectionType3_OI.kt
       RETURN type=kotlin.Nothing from='public final fun testInAs3 (x: <root>.In<<root>.A1>, y: <root>.In<<root>.A2>): kotlin.Unit declared in <root>'
         CALL 'public final fun asT <T> (): kotlin.Unit [inline] declared in <root>' type=kotlin.Unit origin=null
           <T>: <none>
+          $receiver: CALL 'public final fun sel <S> (x: S of <root>.sel, y: S of <root>.sel): S of <root>.sel declared in <root>' type=<root>.In<<root>.A1> origin=null
+            <S>: <none>
+            x: GET_VAR 'x: <root>.In<<root>.A1> declared in <root>.testInAs3' type=<root>.In<<root>.A1> origin=null
+            y: GET_VAR 'y: <root>.In<<root>.A2> declared in <root>.testInAs3' type=<root>.In<<root>.A2> origin=null

compiler/testData/ir/irText/types/nullabilityAssertionOnExtensionReceiver.fir.txt

@@ -1,5 +1,6 @@
 FILE fqName:<root> fileName:/nullabilityAssertionOnExtensionReceiver.kt
-  FUN name:extension visibility:public modality:FINAL <> () returnType:kotlin.Unit
+  FUN name:extension visibility:public modality:FINAL <> ($receiver:kotlin.String) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:kotlin.String
     BLOCK_BODY
   CLASS CLASS name:C modality:FINAL visibility:public superTypes:[kotlin.Any]
     $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.C
@@ -7,8 +8,9 @@ FILE fqName:<root> fileName:/nullabilityAssertionOnExtensionReceiver.kt
       BLOCK_BODY
         DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
         INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:C modality:FINAL visibility:public superTypes:[kotlin.Any]'
-    FUN name:memberExtension visibility:public modality:FINAL <> ($this:<root>.C) returnType:kotlin.Unit
+    FUN name:memberExtension visibility:public modality:FINAL <> ($this:<root>.C, $receiver:kotlin.String) returnType:kotlin.Unit
       $this: VALUE_PARAMETER name:<this> type:<root>.C
+      $receiver: VALUE_PARAMETER name:<this> type:kotlin.String
       BLOCK_BODY
     FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean
       overridden:
@@ -26,7 +28,9 @@ FILE fqName:<root> fileName:/nullabilityAssertionOnExtensionReceiver.kt
   FUN name:testExt visibility:public modality:FINAL <> () returnType:kotlin.Unit
     BLOCK_BODY
       CALL 'public final fun extension (): kotlin.Unit declared in <root>' type=kotlin.Unit origin=null
-  FUN name:testMemberExt visibility:public modality:FINAL <> () returnType:kotlin.Unit
+        $receiver: CALL 'public open fun s (): kotlin.String? declared in <root>.J' type=kotlin.String? origin=null
+  FUN name:testMemberExt visibility:public modality:FINAL <> ($receiver:<root>.C) returnType:kotlin.Unit
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.C
     BLOCK_BODY
       CALL 'public final fun memberExtension (): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
         $this: CALL 'public open fun s (): kotlin.String? declared in <root>.J' type=kotlin.String? origin=null