azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

KT-52791 Make it possible to pass multiple context receivers to a class

Browse Source
This commit is contained in:
Pavel Mikhailovskii
2022-12-28 11:21:03 +00:00
committed by Space Team
parent 62217b39ec
commit 906c161068
38 changed files with 180 additions and 516 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/fir2ir/src/org/jetbrains/kotlin/fir/backend/generators/ClassMemberGenerator.kt
+1 -7
View File
@@ -133,19 +133,13 @@ internal class ClassMemberGenerator(
val thisParameter =
conversionScope.dispatchReceiverParameter(irClass) ?: error("No found this parameter for $irClass")
val receiver = IrGetValueImpl(
UNDEFINED_OFFSET, UNDEFINED_OFFSET,
thisParameter.type,
thisParameter.symbol,
)
for (index in containingClass.contextReceivers.indices) {
val irValueParameter = valueParameters[index]
body.statements.add(
IrSetFieldImpl(
UNDEFINED_OFFSET, UNDEFINED_OFFSET,
contextReceiverFields[index].symbol,
receiver,
IrGetValueImpl(UNDEFINED_OFFSET, UNDEFINED_OFFSET, thisParameter.type, thisParameter.symbol),
IrGetValueImpl(UNDEFINED_OFFSET, UNDEFINED_OFFSET, irValueParameter.type, irValueParameter.symbol),
components.irBuiltIns.unitType,
)
compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirBlackBoxCodegenTestGenerated.java
Generated
+6
View File
@@ -17215,6 +17215,12 @@ public class FirBlackBoxCodegenTestGenerated extends AbstractFirBlackBoxCodegenT
runTest("compiler/testData/codegen/box/extensionClasses/generics.kt");
}
@Test
@TestMetadata("multiple.kt")
public void testMultiple() throws Exception {
runTest("compiler/testData/codegen/box/extensionClasses/multiple.kt");
}
@Test
@TestMetadata("propertyWithContext.kt")
public void testPropertyWithContext() throws Exception {
compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/ir/Fir2IrTextTestGenerated.java
Generated
+6
View File
@@ -859,6 +859,12 @@ public class Fir2IrTextTestGenerated extends AbstractFir2IrTextTest {
runTest("compiler/testData/ir/irText/declarations/contextReceivers/iteratorOperator.kt");
}
@Test
@TestMetadata("kt52791.kt")
public void testKt52791() throws Exception {
runTest("compiler/testData/ir/irText/declarations/contextReceivers/kt52791.kt");
}
@Test
@TestMetadata("lazy.kt")
public void testLazy() throws Exception {
compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/ir/LightTreeFir2IrTextTestGenerated.java
Generated
+6
View File
@@ -859,6 +859,12 @@ public class LightTreeFir2IrTextTestGenerated extends AbstractLightTreeFir2IrTex
runTest("compiler/testData/ir/irText/declarations/contextReceivers/iteratorOperator.kt");
}
@Test
@TestMetadata("kt52791.kt")
public void testKt52791() throws Exception {
runTest("compiler/testData/ir/irText/declarations/contextReceivers/kt52791.kt");
}
@Test
@TestMetadata("lazy.kt")
public void testLazy() throws Exception {
compiler/frontend/src/org/jetbrains/kotlin/resolve/lazy/descriptors/LazyClassDescriptor.java
+10 -3
View File
@@ -52,6 +52,7 @@ import org.jetbrains.kotlin.types.checker.SimpleClassicTypeSystemContext;
import java.util.*;
import java.util.stream.Collectors;
import java.util.stream.IntStream;
import static kotlin.collections.CollectionsKt.firstOrNull;
import static org.jetbrains.kotlin.descriptors.DescriptorVisibilities.PRIVATE;
@@ -310,17 +311,23 @@ public class LazyClassDescriptor extends ClassDescriptorBase implements ClassDes
return CollectionsKt.emptyList();
}
List<KtContextReceiver> contextReceivers = classOrObject.getContextReceivers();
List<ReceiverParameterDescriptor> contextReceiverDescriptors = contextReceivers.stream()
.map(contextReceiver -> {
List<ReceiverParameterDescriptor> contextReceiverDescriptors =
IntStream.range(0, contextReceivers.size())
.mapToObj(index -> {
KtContextReceiver contextReceiver = contextReceivers.get(index);
KtTypeReference typeReference = contextReceiver.typeReference();
if (typeReference == null) return null;
KotlinType kotlinType =
c.getTypeResolver().resolveType(getScopeForClassHeaderResolution(), typeReference, c.getTrace(), true);
Name label = contextReceiver.labelNameAsName() != null
? contextReceiver.labelNameAsName()
: Name.identifier("_context_receiver_" + index);
return DescriptorFactory.createContextReceiverParameterForClass(
this,
kotlinType,
contextReceiver.labelNameAsName(),
Annotations.Companion.getEMPTY()
Annotations.Companion.getEMPTY(),
index
);
})
.filter(Objects::nonNull)
compiler/ir/ir.psi2ir/src/org/jetbrains/kotlin/psi2ir/generators/BodyGenerator.kt
+6 -6
View File
@@ -370,18 +370,18 @@ class BodyGenerator(
irBlockBody: IrBlockBody
) {
val thisAsReceiverParameter = classDescriptor.thisAsReceiverParameter
val receiver = IrGetValueImpl(
UNDEFINED_OFFSET, UNDEFINED_OFFSET,
thisAsReceiverParameter.type.toIrType(),
context.symbolTable.referenceValue(thisAsReceiverParameter)
)
for ((index, receiverDescriptor) in classDescriptor.contextReceivers.withIndex()) {
val irValueParameter = irConstructor.valueParameters[index]
irBlockBody.statements.add(
IrSetFieldImpl(
UNDEFINED_OFFSET, UNDEFINED_OFFSET,
context.additionalDescriptorStorage.getSyntheticField(receiverDescriptor.value).symbol,
receiver,
IrGetValueImpl(
UNDEFINED_OFFSET,
UNDEFINED_OFFSET,
thisAsReceiverParameter.type.toIrType(),
context.symbolTable.referenceValue(thisAsReceiverParameter)
),
IrGetValueImpl(UNDEFINED_OFFSET, UNDEFINED_OFFSET, irValueParameter.type, irValueParameter.symbol),
context.irBuiltIns.unitType
)
compiler/testData/codegen/box/extensionClasses/multiple.kt
Vendored
+19
View File
@@ -0,0 +1,19 @@
// !LANGUAGE: +ContextReceivers
// TARGET_BACKEND: JVM_IR
class A(val a: String)
class B(val b: String)
context(A, B)
class C {
fun foo() = this@A.a + this@B.b
}
fun box(): String {
val c = with(A("O")) {
with(B("K")) {
C()
}
}
return c.foo()
}
compiler/testData/ir/irText/declarations/contextReceivers/class.fir.ir.txt
Vendored
-79
View File
@@ -1,79 +0,0 @@
FILE fqName:<root> fileName:/class.kt
CLASS CLASS name:Outer modality:FINAL visibility:public superTypes:[kotlin.Any]
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.Outer
CONSTRUCTOR visibility:public <> () returnType:<root>.Outer [primary]
BLOCK_BODY
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:Outer modality:FINAL visibility:public superTypes:[kotlin.Any]'
PROPERTY name:x visibility:public modality:FINAL [val]
FIELD PROPERTY_BACKING_FIELD name:x type:kotlin.Int visibility:private [final]
EXPRESSION_BODY
CONST Int type=kotlin.Int value=1
FUN DEFAULT_PROPERTY_ACCESSOR name:<get-x> visibility:public modality:FINAL <> ($this:<root>.Outer) returnType:kotlin.Int
correspondingProperty: PROPERTY name:x visibility:public modality:FINAL [val]
$this: VALUE_PARAMETER name:<this> type:<root>.Outer
BLOCK_BODY
RETURN type=kotlin.Nothing from='public final fun <get-x> (): kotlin.Int declared in <root>.Outer'
GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:x type:kotlin.Int visibility:private [final]' type=kotlin.Int origin=null
receiver: GET_VAR '<this>: <root>.Outer declared in <root>.Outer.<get-x>' type=<root>.Outer origin=null
FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
overridden:
public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
overridden:
public open fun hashCode (): kotlin.Int declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
overridden:
public open fun toString (): kotlin.String declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
CLASS CLASS name:Inner modality:FINAL visibility:public superTypes:[kotlin.Any]
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.Inner
FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:<root>.Outer visibility:private [final]
CONSTRUCTOR visibility:public <> (_context_receiver_0:<root>.Outer, arg:kotlin.Any) returnType:<root>.Inner [primary]
VALUE_PARAMETER name:_context_receiver_0 index:0 type:<root>.Outer
VALUE_PARAMETER name:arg index:1 type:kotlin.Any
BLOCK_BODY
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
SET_FIELD 'FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:<root>.Outer visibility:private [final]' type=kotlin.Unit origin=null
receiver: GET_VAR '<this>: <root>.Inner declared in <root>.Inner' type=<root>.Inner origin=null
value: GET_VAR '_context_receiver_0: <root>.Outer declared in <root>.Inner.<init>' type=<root>.Outer origin=null
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:Inner modality:FINAL visibility:public superTypes:[kotlin.Any]'
FUN name:bar visibility:public modality:FINAL <> ($this:<root>.Inner) returnType:kotlin.Int
$this: VALUE_PARAMETER name:<this> type:<root>.Inner
BLOCK_BODY
RETURN type=kotlin.Nothing from='public final fun bar (): kotlin.Int declared in <root>.Inner'
CALL 'public final fun <get-x> (): kotlin.Int declared in <root>.Outer' type=kotlin.Int origin=GET_PROPERTY
$this: GET_FIELD 'FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:<root>.Outer visibility:private [final]' type=<root>.Outer origin=null
receiver: GET_VAR '<this>: <root>.Inner declared in <root>.Inner.bar' type=<root>.Inner origin=null
FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
overridden:
public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
overridden:
public open fun hashCode (): kotlin.Int declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
overridden:
public open fun toString (): kotlin.String declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
FUN name:f visibility:public modality:FINAL <> (outer:<root>.Outer) returnType:kotlin.Unit
VALUE_PARAMETER name:outer index:0 type:<root>.Outer
BLOCK_BODY
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CALL 'public final fun with <T, R> (receiver: T of kotlin.StandardKt.with, block: @[ExtensionFunctionType] kotlin.Function1<T of kotlin.StandardKt.with, R of kotlin.StandardKt.with>): R of kotlin.StandardKt.with [inline] declared in kotlin.StandardKt' type=<root>.Inner origin=null
<T>: <root>.Outer
<R>: <root>.Inner
receiver: GET_VAR 'outer: <root>.Outer declared in <root>.f' type=<root>.Outer origin=null
block: FUN_EXPR type=@[ExtensionFunctionType] kotlin.Function1<<root>.Outer, <root>.Inner> origin=LAMBDA
FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> ($receiver:<root>.Outer) returnType:<root>.Inner
$receiver: VALUE_PARAMETER name:$this$with type:<root>.Outer
BLOCK_BODY
RETURN type=kotlin.Nothing from='local final fun <anonymous> (): <root>.Inner declared in <root>.f'
CONSTRUCTOR_CALL 'public constructor <init> (_context_receiver_0: <root>.Outer, arg: kotlin.Any) [primary] declared in <root>.Inner' type=<root>.Inner origin=null
_context_receiver_0: GET_VAR '$this$with: <root>.Outer declared in <root>.f.<anonymous>' type=<root>.Outer origin=null
arg: CONST Int type=kotlin.Int value=3
compiler/testData/ir/irText/declarations/contextReceivers/class.fir.kt.txt
Vendored
-34
View File
@@ -1,34 +0,0 @@
class Outer {
constructor() /* primary */ {
super/*Any*/()
/* <init>() */
}
val x: Int
field = 1
get
}
class Inner {
private /* final field */ val contextReceiverField0: Outer
constructor(_context_receiver_0: Outer, arg: Any) /* primary */ {
super/*Any*/()
<this>.#contextReceiverField0 = _context_receiver_0
/* <init>() */
}
fun bar(): Int {
return <this>.#contextReceiverField0.<get-x>()
}
}
fun f(outer: Outer) {
with<Outer, Inner>(receiver = outer, block = local fun Outer.<anonymous>(): Inner {
return Inner(_context_receiver_0 = $this$with, arg = 3)
}
) /*~> Unit */
}
compiler/testData/ir/irText/declarations/contextReceivers/class.ir.txt
Vendored
+5 -5
View File
@@ -32,14 +32,14 @@ FILE fqName:<root> fileName:/class.kt
CLASS CLASS name:Inner modality:FINAL visibility:public superTypes:[kotlin.Any]
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.Inner
FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:<root>.Outer visibility:private [final]
CONSTRUCTOR visibility:public <> (<this>:<root>.Outer, arg:kotlin.Any) returnType:<root>.Inner [primary]
VALUE_PARAMETER name:<this> index:0 type:<root>.Outer
CONSTRUCTOR visibility:public <> (_context_receiver_0:<root>.Outer, arg:kotlin.Any) returnType:<root>.Inner [primary]
VALUE_PARAMETER name:_context_receiver_0 index:0 type:<root>.Outer
VALUE_PARAMETER name:arg index:1 type:kotlin.Any
BLOCK_BODY
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
SET_FIELD 'FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:<root>.Outer visibility:private [final]' type=kotlin.Unit origin=null
receiver: GET_VAR '<this>: <root>.Inner declared in <root>.Inner' type=<root>.Inner origin=null
value: GET_VAR '<this>: <root>.Outer declared in <root>.Inner.<init>' type=<root>.Outer origin=null
value: GET_VAR '_context_receiver_0: <root>.Outer declared in <root>.Inner.<init>' type=<root>.Outer origin=null
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:Inner modality:FINAL visibility:public superTypes:[kotlin.Any]'
FUN name:bar visibility:public modality:FINAL <> ($this:<root>.Inner) returnType:kotlin.Int
$this: VALUE_PARAMETER name:<this> type:<root>.Inner
@@ -74,6 +74,6 @@ FILE fqName:<root> fileName:/class.kt
$receiver: VALUE_PARAMETER name:$this$with type:<root>.Outer
BLOCK_BODY
RETURN type=kotlin.Nothing from='local final fun <anonymous> (): <root>.Inner declared in <root>.f'
CONSTRUCTOR_CALL 'public constructor <init> (<this>: <root>.Outer, arg: kotlin.Any) [primary] declared in <root>.Inner' type=<root>.Inner origin=null
<this>: GET_VAR '$this$with: <root>.Outer declared in <root>.f.<anonymous>' type=<root>.Outer origin=null
CONSTRUCTOR_CALL 'public constructor <init> (_context_receiver_0: <root>.Outer, arg: kotlin.Any) [primary] declared in <root>.Inner' type=<root>.Inner origin=null
_context_receiver_0: GET_VAR '$this$with: <root>.Outer declared in <root>.f.<anonymous>' type=<root>.Outer origin=null
arg: CONST Int type=kotlin.Int value=3
compiler/testData/ir/irText/declarations/contextReceivers/class.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_IDENTICAL
// !LANGUAGE: +ContextReceivers
class Outer {
compiler/testData/ir/irText/declarations/contextReceivers/class.kt.txt
Vendored
+3 -3
View File
@@ -13,9 +13,9 @@ class Outer {
class Inner {
private /* final field */ val contextReceiverField0: Outer
constructor(<this>: Outer, arg: Any) /* primary */ {
constructor(_context_receiver_0: Outer, arg: Any) /* primary */ {
super/*Any*/()
<this>.#contextReceiverField0 = <this>
<this>.#contextReceiverField0 = _context_receiver_0
/* <init>() */
}
@@ -28,7 +28,7 @@ class Inner {
fun f(outer: Outer) {
with<Outer, Inner>(receiver = outer, block = local fun Outer.<anonymous>(): Inner {
return Inner(<this> = $this$with, arg = 3)
return Inner(_context_receiver_0 = $this$with, arg = 3)
}
) /*~> Unit */
}
compiler/testData/ir/irText/declarations/contextReceivers/contextReceiverMethod.fir.ir.txt
Vendored
-61
View File
@@ -1,61 +0,0 @@
FILE fqName:<root> fileName:/contextReceiverMethod.kt
CLASS CLASS name:Context modality:FINAL visibility:public superTypes:[kotlin.Any]
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.Context
CONSTRUCTOR visibility:public <> () returnType:<root>.Context [primary]
BLOCK_BODY
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:Context modality:FINAL visibility:public superTypes:[kotlin.Any]'
FUN name:foo visibility:public modality:FINAL <> ($this:<root>.Context) returnType:kotlin.Int
$this: VALUE_PARAMETER name:<this> type:<root>.Context
BLOCK_BODY
RETURN type=kotlin.Nothing from='public final fun foo (): kotlin.Int declared in <root>.Context'
CONST Int type=kotlin.Int value=1
FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
overridden:
public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
overridden:
public open fun hashCode (): kotlin.Int declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
overridden:
public open fun toString (): kotlin.String declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
CLASS CLASS name:Test modality:FINAL visibility:public superTypes:[kotlin.Any]
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.Test
FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:<root>.Context visibility:private [final]
CONSTRUCTOR visibility:public <> (_context_receiver_0:<root>.Context) returnType:<root>.Test [primary]
VALUE_PARAMETER name:_context_receiver_0 index:0 type:<root>.Context
BLOCK_BODY
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
SET_FIELD 'FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:<root>.Context visibility:private [final]' type=kotlin.Unit origin=null
receiver: GET_VAR '<this>: <root>.Test declared in <root>.Test' type=<root>.Test origin=null
value: GET_VAR '_context_receiver_0: <root>.Context declared in <root>.Test.<init>' type=<root>.Context origin=null
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:Test modality:FINAL visibility:public superTypes:[kotlin.Any]'
FUN name:foo visibility:public modality:FINAL <> ($this:<root>.Test) returnType:kotlin.Int
$this: VALUE_PARAMETER name:<this> type:<root>.Test
BLOCK_BODY
RETURN type=kotlin.Nothing from='public final fun foo (): kotlin.Int declared in <root>.Test'
CONST Int type=kotlin.Int value=2
FUN name:bar visibility:public modality:FINAL <> ($this:<root>.Test) returnType:kotlin.Unit
$this: VALUE_PARAMETER name:<this> type:<root>.Test
BLOCK_BODY
VAR name:x type:kotlin.Int [val]
CALL 'public final fun foo (): kotlin.Int declared in <root>.Context' type=kotlin.Int origin=null
$this: GET_FIELD 'FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:<root>.Context visibility:private [final]' type=<root>.Context origin=null
receiver: GET_VAR '<this>: <root>.Test declared in <root>.Test.bar' type=<root>.Test origin=null
FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
overridden:
public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
overridden:
public open fun hashCode (): kotlin.Int declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
overridden:
public open fun toString (): kotlin.String declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
compiler/testData/ir/irText/declarations/contextReceivers/contextReceiverMethod.fir.kt.txt
Vendored
-31
View File
@@ -1,31 +0,0 @@
class Context {
constructor() /* primary */ {
super/*Any*/()
/* <init>() */
}
fun foo(): Int {
return 1
}
}
class Test {
private /* final field */ val contextReceiverField0: Context
constructor(_context_receiver_0: Context) /* primary */ {
super/*Any*/()
<this>.#contextReceiverField0 = _context_receiver_0
/* <init>() */
}
fun foo(): Int {
return 2
}
fun bar() {
val x: Int = <this>.#contextReceiverField0.foo()
}
}
compiler/testData/ir/irText/declarations/contextReceivers/contextReceiverMethod.ir.txt
Vendored
+3 -3
View File
@@ -26,13 +26,13 @@ FILE fqName:<root> fileName:/contextReceiverMethod.kt
CLASS CLASS name:Test modality:FINAL visibility:public superTypes:[kotlin.Any]
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.Test
FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:<root>.Context visibility:private [final]
CONSTRUCTOR visibility:public <> (<this>:<root>.Context) returnType:<root>.Test [primary]
VALUE_PARAMETER name:<this> index:0 type:<root>.Context
CONSTRUCTOR visibility:public <> (_context_receiver_0:<root>.Context) returnType:<root>.Test [primary]
VALUE_PARAMETER name:_context_receiver_0 index:0 type:<root>.Context
BLOCK_BODY
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
SET_FIELD 'FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:<root>.Context visibility:private [final]' type=kotlin.Unit origin=null
receiver: GET_VAR '<this>: <root>.Test declared in <root>.Test' type=<root>.Test origin=null
value: GET_VAR '<this>: <root>.Context declared in <root>.Test.<init>' type=<root>.Context origin=null
value: GET_VAR '_context_receiver_0: <root>.Context declared in <root>.Test.<init>' type=<root>.Context origin=null
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:Test modality:FINAL visibility:public superTypes:[kotlin.Any]'
FUN name:foo visibility:public modality:FINAL <> ($this:<root>.Test) returnType:kotlin.Int
$this: VALUE_PARAMETER name:<this> type:<root>.Test
compiler/testData/ir/irText/declarations/contextReceivers/contextReceiverMethod.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_IDENTICAL
// !LANGUAGE: +ContextReceivers
class Context {
compiler/testData/ir/irText/declarations/contextReceivers/contextReceiverMethod.kt.txt
Vendored
+2 -2
View File
@@ -13,9 +13,9 @@ class Context {
class Test {
private /* final field */ val contextReceiverField0: Context
constructor(<this>: Context) /* primary */ {
constructor(_context_receiver_0: Context) /* primary */ {
super/*Any*/()
<this>.#contextReceiverField0 = <this>
<this>.#contextReceiverField0 = _context_receiver_0
/* <init>() */
}
compiler/testData/ir/irText/declarations/contextReceivers/contextualPrimaryConstructorWithParams.fir.ir.txt
Vendored
-103
View File
@@ -1,103 +0,0 @@
FILE fqName:<root> fileName:/contextualPrimaryConstructorWithParams.kt
CLASS CLASS name:O modality:FINAL visibility:public superTypes:[kotlin.Any]
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.O
CONSTRUCTOR visibility:public <> (o:kotlin.String) returnType:<root>.O [primary]
VALUE_PARAMETER name:o index:0 type:kotlin.String
BLOCK_BODY
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:O modality:FINAL visibility:public superTypes:[kotlin.Any]'
PROPERTY name:o visibility:public modality:FINAL [val]
FIELD PROPERTY_BACKING_FIELD name:o type:kotlin.String visibility:private [final]
EXPRESSION_BODY
GET_VAR 'o: kotlin.String declared in <root>.O.<init>' type=kotlin.String origin=INITIALIZE_PROPERTY_FROM_PARAMETER
FUN DEFAULT_PROPERTY_ACCESSOR name:<get-o> visibility:public modality:FINAL <> ($this:<root>.O) returnType:kotlin.String
correspondingProperty: PROPERTY name:o visibility:public modality:FINAL [val]
$this: VALUE_PARAMETER name:<this> type:<root>.O
BLOCK_BODY
RETURN type=kotlin.Nothing from='public final fun <get-o> (): kotlin.String declared in <root>.O'
GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:o type:kotlin.String visibility:private [final]' type=kotlin.String origin=null
receiver: GET_VAR '<this>: <root>.O declared in <root>.O.<get-o>' type=<root>.O origin=null
FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
overridden:
public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
overridden:
public open fun hashCode (): kotlin.Int declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
overridden:
public open fun toString (): kotlin.String declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
CLASS CLASS name:OK modality:FINAL visibility:public superTypes:[kotlin.Any]
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.OK
FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:<root>.O visibility:private [final]
CONSTRUCTOR visibility:public <> (_context_receiver_0:<root>.O, k:kotlin.String) returnType:<root>.OK [primary]
VALUE_PARAMETER name:_context_receiver_0 index:0 type:<root>.O
VALUE_PARAMETER name:k index:1 type:kotlin.String
BLOCK_BODY
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
SET_FIELD 'FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:<root>.O visibility:private [final]' type=kotlin.Unit origin=null
receiver: GET_VAR '<this>: <root>.OK declared in <root>.OK' type=<root>.OK origin=null
value: GET_VAR '_context_receiver_0: <root>.O declared in <root>.OK.<init>' type=<root>.O origin=null
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:OK modality:FINAL visibility:public superTypes:[kotlin.Any]'
PROPERTY name:k visibility:public modality:FINAL [val]
FIELD PROPERTY_BACKING_FIELD name:k type:kotlin.String visibility:private [final]
EXPRESSION_BODY
GET_VAR 'k: kotlin.String declared in <root>.OK.<init>' type=kotlin.String origin=INITIALIZE_PROPERTY_FROM_PARAMETER
FUN DEFAULT_PROPERTY_ACCESSOR name:<get-k> visibility:public modality:FINAL <> ($this:<root>.OK) returnType:kotlin.String
correspondingProperty: PROPERTY name:k visibility:public modality:FINAL [val]
$this: VALUE_PARAMETER name:<this> type:<root>.OK
BLOCK_BODY
RETURN type=kotlin.Nothing from='public final fun <get-k> (): kotlin.String declared in <root>.OK'
GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:k type:kotlin.String visibility:private [final]' type=kotlin.String origin=null
receiver: GET_VAR '<this>: <root>.OK declared in <root>.OK.<get-k>' type=<root>.OK origin=null
PROPERTY name:result visibility:public modality:FINAL [val]
FIELD PROPERTY_BACKING_FIELD name:result type:kotlin.String visibility:private [final]
EXPRESSION_BODY
CALL 'public final fun plus (other: kotlin.Any?): kotlin.String [operator] declared in kotlin.String' type=kotlin.String origin=PLUS
$this: CALL 'public final fun <get-o> (): kotlin.String declared in <root>.O' type=kotlin.String origin=GET_PROPERTY
$this: GET_FIELD 'FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:<root>.O visibility:private [final]' type=<root>.O origin=null
receiver: GET_VAR '<this>: <root>.OK declared in <root>.OK' type=<root>.OK origin=null
other: CALL 'public final fun <get-k> (): kotlin.String declared in <root>.OK' type=kotlin.String origin=GET_PROPERTY
$this: GET_VAR '<this>: <root>.OK declared in <root>.OK' type=<root>.OK origin=null
FUN DEFAULT_PROPERTY_ACCESSOR name:<get-result> visibility:public modality:FINAL <> ($this:<root>.OK) returnType:kotlin.String
correspondingProperty: PROPERTY name:result visibility:public modality:FINAL [val]
$this: VALUE_PARAMETER name:<this> type:<root>.OK
BLOCK_BODY
RETURN type=kotlin.Nothing from='public final fun <get-result> (): kotlin.String declared in <root>.OK'
GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:result type:kotlin.String visibility:private [final]' type=kotlin.String origin=null
receiver: GET_VAR '<this>: <root>.OK declared in <root>.OK.<get-result>' type=<root>.OK origin=null
FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
overridden:
public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
overridden:
public open fun hashCode (): kotlin.Int declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
overridden:
public open fun toString (): kotlin.String declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
FUN name:box visibility:public modality:FINAL <> () returnType:kotlin.String
BLOCK_BODY
RETURN type=kotlin.Nothing from='public final fun box (): kotlin.String declared in <root>'
CALL 'public final fun with <T, R> (receiver: T of kotlin.StandardKt.with, block: @[ExtensionFunctionType] kotlin.Function1<T of kotlin.StandardKt.with, R of kotlin.StandardKt.with>): R of kotlin.StandardKt.with [inline] declared in kotlin.StandardKt' type=kotlin.String origin=null
<T>: <root>.O
<R>: kotlin.String
receiver: CONSTRUCTOR_CALL 'public constructor <init> (o: kotlin.String) [primary] declared in <root>.O' type=<root>.O origin=null
o: CONST String type=kotlin.String value="O"
block: FUN_EXPR type=@[ExtensionFunctionType] kotlin.Function1<<root>.O, kotlin.String> origin=LAMBDA
FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> ($receiver:<root>.O) returnType:kotlin.String
$receiver: VALUE_PARAMETER name:$this$with type:<root>.O
BLOCK_BODY
VAR name:ok type:<root>.OK [val]
CONSTRUCTOR_CALL 'public constructor <init> (_context_receiver_0: <root>.O, k: kotlin.String) [primary] declared in <root>.OK' type=<root>.OK origin=null
_context_receiver_0: GET_VAR '$this$with: <root>.O declared in <root>.box.<anonymous>' type=<root>.O origin=null
k: CONST String type=kotlin.String value="K"
RETURN type=kotlin.Nothing from='local final fun <anonymous> (): kotlin.String declared in <root>.box'
CALL 'public final fun <get-result> (): kotlin.String declared in <root>.OK' type=kotlin.String origin=GET_PROPERTY
$this: GET_VAR 'val ok: <root>.OK [val] declared in <root>.box.<anonymous>' type=<root>.OK origin=null
compiler/testData/ir/irText/declarations/contextReceivers/contextualPrimaryConstructorWithParams.fir.kt.txt
Vendored
-39
View File
@@ -1,39 +0,0 @@
class O {
constructor(o: String) /* primary */ {
super/*Any*/()
/* <init>() */
}
val o: String
field = o
get
}
class OK {
private /* final field */ val contextReceiverField0: O
constructor(_context_receiver_0: O, k: String) /* primary */ {
super/*Any*/()
<this>.#contextReceiverField0 = _context_receiver_0
/* <init>() */
}
val k: String
field = k
get
val result: String
field = <this>.#contextReceiverField0.<get-o>().plus(other = <this>.<get-k>())
get
}
fun box(): String {
return with<O, String>(receiver = O(o = "O"), block = local fun O.<anonymous>(): String {
val ok: OK = OK(_context_receiver_0 = $this$with, k = "K")
return ok.<get-result>()
}
)
}
compiler/testData/ir/irText/declarations/contextReceivers/contextualPrimaryConstructorWithParams.ir.txt
Vendored
+5 -5
View File
@@ -33,14 +33,14 @@ FILE fqName:<root> fileName:/contextualPrimaryConstructorWithParams.kt
CLASS CLASS name:OK modality:FINAL visibility:public superTypes:[kotlin.Any]
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.OK
FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:<root>.O visibility:private [final]
CONSTRUCTOR visibility:public <> (<this>:<root>.O, k:kotlin.String) returnType:<root>.OK [primary]
VALUE_PARAMETER name:<this> index:0 type:<root>.O
CONSTRUCTOR visibility:public <> (_context_receiver_0:<root>.O, k:kotlin.String) returnType:<root>.OK [primary]
VALUE_PARAMETER name:_context_receiver_0 index:0 type:<root>.O
VALUE_PARAMETER name:k index:1 type:kotlin.String
BLOCK_BODY
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
SET_FIELD 'FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:<root>.O visibility:private [final]' type=kotlin.Unit origin=null
receiver: GET_VAR '<this>: <root>.OK declared in <root>.OK' type=<root>.OK origin=null
value: GET_VAR '<this>: <root>.O declared in <root>.OK.<init>' type=<root>.O origin=null
value: GET_VAR '_context_receiver_0: <root>.O declared in <root>.OK.<init>' type=<root>.O origin=null
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:OK modality:FINAL visibility:public superTypes:[kotlin.Any]'
PROPERTY name:k visibility:public modality:FINAL [val]
FIELD PROPERTY_BACKING_FIELD name:k type:kotlin.String visibility:private [final]
@@ -95,8 +95,8 @@ FILE fqName:<root> fileName:/contextualPrimaryConstructorWithParams.kt
$receiver: VALUE_PARAMETER name:$this$with type:<root>.O
BLOCK_BODY
VAR name:ok type:<root>.OK [val]
CONSTRUCTOR_CALL 'public constructor <init> (<this>: <root>.O, k: kotlin.String) [primary] declared in <root>.OK' type=<root>.OK origin=null
<this>: GET_VAR '$this$with: <root>.O declared in <root>.box.<anonymous>' type=<root>.O origin=null
CONSTRUCTOR_CALL 'public constructor <init> (_context_receiver_0: <root>.O, k: kotlin.String) [primary] declared in <root>.OK' type=<root>.OK origin=null
_context_receiver_0: GET_VAR '$this$with: <root>.O declared in <root>.box.<anonymous>' type=<root>.O origin=null
k: CONST String type=kotlin.String value="K"
RETURN type=kotlin.Nothing from='local final fun <anonymous> (): kotlin.String declared in <root>.box'
CALL 'public final fun <get-result> (): kotlin.String declared in <root>.OK' type=kotlin.String origin=GET_PROPERTY
compiler/testData/ir/irText/declarations/contextReceivers/contextualPrimaryConstructorWithParams.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_IDENTICAL
// !LANGUAGE: +ContextReceivers
class O(val o: String)
compiler/testData/ir/irText/declarations/contextReceivers/contextualPrimaryConstructorWithParams.kt.txt
Vendored
+3 -3
View File
@@ -13,9 +13,9 @@ class O {
class OK {
private /* final field */ val contextReceiverField0: O
constructor(<this>: O, k: String) /* primary */ {
constructor(_context_receiver_0: O, k: String) /* primary */ {
super/*Any*/()
<this>.#contextReceiverField0 = <this>
<this>.#contextReceiverField0 = _context_receiver_0
/* <init>() */
}
@@ -32,7 +32,7 @@ class OK {
fun box(): String {
return with<O, String>(receiver = O(o = "O"), block = local fun O.<anonymous>(): String {
val ok: OK = OK(<this> = $this$with, k = "K")
val ok: OK = OK(_context_receiver_0 = $this$with, k = "K")
return ok.<get-result>()
}
)
compiler/testData/ir/irText/declarations/contextReceivers/delegatedPropertiesOperators.ir.txt
Vendored
+5 -5
View File
@@ -86,13 +86,13 @@ FILE fqName:<root> fileName:/delegatedPropertiesOperators.kt
CLASS CLASS name:Result modality:FINAL visibility:public superTypes:[kotlin.Any]
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.Result
FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:kotlin.Int visibility:private [final]
CONSTRUCTOR visibility:public <> (<this>:kotlin.Int) returnType:<root>.Result [primary]
VALUE_PARAMETER name:<this> index:0 type:kotlin.Int
CONSTRUCTOR visibility:public <> (_context_receiver_0:kotlin.Int) returnType:<root>.Result [primary]
VALUE_PARAMETER name:_context_receiver_0 index:0 type:kotlin.Int
BLOCK_BODY
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
SET_FIELD 'FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:kotlin.Int visibility:private [final]' type=kotlin.Unit origin=null
receiver: GET_VAR '<this>: <root>.Result declared in <root>.Result' type=<root>.Result origin=null
value: GET_VAR '<this>: kotlin.Int declared in <root>.Result.<init>' type=kotlin.Int origin=null
value: GET_VAR '_context_receiver_0: kotlin.Int declared in <root>.Result.<init>' type=kotlin.Int origin=null
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:Result modality:FINAL visibility:public superTypes:[kotlin.Any]'
PROPERTY name:s visibility:public modality:FINAL [delegated,var]
FIELD PROPERTY_DELEGATE name:s$delegate type:<root>.Delegate visibility:private [final]
@@ -149,8 +149,8 @@ FILE fqName:<root> fileName:/delegatedPropertiesOperators.kt
$receiver: VALUE_PARAMETER name:$this$with type:kotlin.Int
BLOCK_BODY
RETURN type=kotlin.Nothing from='local final fun <anonymous> (): <root>.Result declared in <root>.box'
CONSTRUCTOR_CALL 'public constructor <init> (<this>: kotlin.Int) [primary] declared in <root>.Result' type=<root>.Result origin=null
<this>: GET_VAR '$this$with: kotlin.Int declared in <root>.box.<anonymous>' type=kotlin.Int origin=null
CONSTRUCTOR_CALL 'public constructor <init> (_context_receiver_0: kotlin.Int) [primary] declared in <root>.Result' type=<root>.Result origin=null
_context_receiver_0: GET_VAR '$this$with: kotlin.Int declared in <root>.box.<anonymous>' type=kotlin.Int origin=null
CALL 'public final fun <set-s> (<set-?>: kotlin.String): kotlin.Unit declared in <root>.Result' type=kotlin.Unit origin=EQ
$this: GET_VAR 'val result: <root>.Result [val] declared in <root>.box' type=<root>.Result origin=null
<set-?>: CONST String type=kotlin.String value="OK"
compiler/testData/ir/irText/declarations/contextReceivers/delegatedPropertiesOperators.kt.txt
Vendored
+3 -3
View File
@@ -33,9 +33,9 @@ class Delegate {
class Result {
private /* final field */ val contextReceiverField0: Int
constructor(<this>: Int) /* primary */ {
constructor(_context_receiver_0: Int) /* primary */ {
super/*Any*/()
<this>.#contextReceiverField0 = <this>
<this>.#contextReceiverField0 = _context_receiver_0
/* <init>() */
}
@@ -53,7 +53,7 @@ class Result {
fun box(): String {
val result: Result = with<Int, Result>(receiver = 1, block = local fun Int.<anonymous>(): Result {
return Result(<this> = $this$with)
return Result(_context_receiver_0 = $this$with)
}
)
result.<set-s>(<set-?> = "OK")
compiler/testData/ir/irText/declarations/contextReceivers/genericOuterClass.fir.ir.txt
Vendored
-65
View File
@@ -1,65 +0,0 @@
FILE fqName:<root> fileName:/genericOuterClass.kt
CLASS CLASS name:A modality:FINAL visibility:public superTypes:[kotlin.Any]
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.A<T of <root>.A>
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:T of <root>.A visibility:private [final]
CONSTRUCTOR visibility:public <> (_context_receiver_0:T of <root>.A) returnType:<root>.A<T of <root>.A> [primary]
VALUE_PARAMETER name:_context_receiver_0 index:0 type:T of <root>.A
BLOCK_BODY
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
SET_FIELD 'FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:T of <root>.A visibility:private [final]' type=kotlin.Unit origin=null
receiver: GET_VAR '<this>: <root>.A<T of <root>.A> declared in <root>.A' type=<root>.A<T of <root>.A> origin=null
value: GET_VAR '_context_receiver_0: T of <root>.A declared in <root>.A.<init>' type=T of <root>.A origin=null
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:A modality:FINAL visibility:public superTypes:[kotlin.Any]'
FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
overridden:
public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
overridden:
public open fun hashCode (): kotlin.Int declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
overridden:
public open fun toString (): kotlin.String declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
CLASS CLASS name:B modality:FINAL visibility:public superTypes:[kotlin.Any]
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.B<P of <root>.B>
TYPE_PARAMETER name:P index:0 variance: superTypes:[kotlin.Any?] reified:false
FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:kotlin.collections.Collection<P of <root>.B> visibility:private [final]
CONSTRUCTOR visibility:public <> (_context_receiver_0:kotlin.collections.Collection<P of <root>.B>) returnType:<root>.B<P of <root>.B> [primary]
VALUE_PARAMETER name:_context_receiver_0 index:0 type:kotlin.collections.Collection<P of <root>.B>
BLOCK_BODY
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
SET_FIELD 'FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:kotlin.collections.Collection<P of <root>.B> visibility:private [final]' type=kotlin.Unit origin=null
receiver: GET_VAR '<this>: <root>.B<P of <root>.B> declared in <root>.B' type=<root>.B<P of <root>.B> origin=null
value: GET_VAR '_context_receiver_0: kotlin.collections.Collection<P of <root>.B> declared in <root>.B.<init>' type=kotlin.collections.Collection<P of <root>.B> origin=null
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:B modality:FINAL visibility:public superTypes:[kotlin.Any]'
FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
overridden:
public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
overridden:
public open fun hashCode (): kotlin.Int declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
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 <> ($receiver:kotlin.Int) returnType:kotlin.Unit
$receiver: VALUE_PARAMETER name:<this> type:kotlin.Int
BLOCK_BODY
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CONSTRUCTOR_CALL 'public constructor <init> (_context_receiver_0: T of <root>.A) [primary] declared in <root>.A' type=<root>.A<kotlin.Int> origin=null
<class: T>: kotlin.Int
_context_receiver_0: GET_VAR '<this>: kotlin.Int declared in <root>.foo' type=kotlin.Int origin=null
FUN name:bar visibility:public modality:FINAL <> ($receiver:kotlin.collections.Collection<kotlin.Int>) returnType:kotlin.Unit
$receiver: VALUE_PARAMETER name:<this> type:kotlin.collections.Collection<kotlin.Int>
BLOCK_BODY
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CONSTRUCTOR_CALL 'public constructor <init> (_context_receiver_0: kotlin.collections.Collection<P of <root>.B>) [primary] declared in <root>.B' type=<root>.B<kotlin.Int> origin=null
<class: P>: kotlin.Int
_context_receiver_0: GET_VAR '<this>: kotlin.collections.Collection<kotlin.Int> declared in <root>.bar' type=kotlin.collections.Collection<kotlin.Int> origin=null
compiler/testData/ir/irText/declarations/contextReceivers/genericOuterClass.fir.kt.txt
Vendored
-29
View File
@@ -1,29 +0,0 @@
class A<T : Any?> {
private /* final field */ val contextReceiverField0: T
constructor(_context_receiver_0: T) /* primary */ {
super/*Any*/()
<this>.#contextReceiverField0 = _context_receiver_0
/* <init>() */
}
}
class B<P : Any?> {
private /* final field */ val contextReceiverField0: Collection<P>
constructor(_context_receiver_0: Collection<P>) /* primary */ {
super/*Any*/()
<this>.#contextReceiverField0 = _context_receiver_0
/* <init>() */
}
}
fun Int.foo() {
A<Int>(_context_receiver_0 = <this>) /*~> Unit */
}
fun Collection<Int>.bar() {
B<Int>(_context_receiver_0 = <this>) /*~> Unit */
}
compiler/testData/ir/irText/declarations/contextReceivers/genericOuterClass.ir.txt
Vendored
+10 -10
View File
@@ -3,13 +3,13 @@ FILE fqName:<root> fileName:/genericOuterClass.kt
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.A<T of <root>.A>
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:T of <root>.A visibility:private [final]
CONSTRUCTOR visibility:public <> (<this>:T of <root>.A) returnType:<root>.A<T of <root>.A> [primary]
VALUE_PARAMETER name:<this> index:0 type:T of <root>.A
CONSTRUCTOR visibility:public <> (_context_receiver_0:T of <root>.A) returnType:<root>.A<T of <root>.A> [primary]
VALUE_PARAMETER name:_context_receiver_0 index:0 type:T of <root>.A
BLOCK_BODY
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
SET_FIELD 'FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:T of <root>.A visibility:private [final]' type=kotlin.Unit origin=null
receiver: GET_VAR '<this>: <root>.A<T of <root>.A> declared in <root>.A' type=<root>.A<T of <root>.A> origin=null
value: GET_VAR '<this>: T of <root>.A declared in <root>.A.<init>' type=T of <root>.A origin=null
value: GET_VAR '_context_receiver_0: T of <root>.A declared in <root>.A.<init>' type=T of <root>.A origin=null
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:A modality:FINAL visibility:public superTypes:[kotlin.Any]'
FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
overridden:
@@ -28,13 +28,13 @@ FILE fqName:<root> fileName:/genericOuterClass.kt
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.B<P of <root>.B>
TYPE_PARAMETER name:P index:0 variance: superTypes:[kotlin.Any?] reified:false
FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:kotlin.collections.Collection<P of <root>.B> visibility:private [final]
CONSTRUCTOR visibility:public <> (<this>:kotlin.collections.Collection<P of <root>.B>) returnType:<root>.B<P of <root>.B> [primary]
VALUE_PARAMETER name:<this> index:0 type:kotlin.collections.Collection<P of <root>.B>
CONSTRUCTOR visibility:public <> (_context_receiver_0:kotlin.collections.Collection<P of <root>.B>) returnType:<root>.B<P of <root>.B> [primary]
VALUE_PARAMETER name:_context_receiver_0 index:0 type:kotlin.collections.Collection<P of <root>.B>
BLOCK_BODY
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
SET_FIELD 'FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:kotlin.collections.Collection<P of <root>.B> visibility:private [final]' type=kotlin.Unit origin=null
receiver: GET_VAR '<this>: <root>.B<P of <root>.B> declared in <root>.B' type=<root>.B<P of <root>.B> origin=null
value: GET_VAR '<this>: kotlin.collections.Collection<P of <root>.B> declared in <root>.B.<init>' type=kotlin.collections.Collection<P of <root>.B> origin=null
value: GET_VAR '_context_receiver_0: kotlin.collections.Collection<P of <root>.B> declared in <root>.B.<init>' type=kotlin.collections.Collection<P of <root>.B> origin=null
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:B modality:FINAL visibility:public superTypes:[kotlin.Any]'
FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
overridden:
@@ -53,13 +53,13 @@ FILE fqName:<root> fileName:/genericOuterClass.kt
$receiver: VALUE_PARAMETER name:<this> type:kotlin.Int
BLOCK_BODY
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CONSTRUCTOR_CALL 'public constructor <init> (<this>: T of <root>.A) [primary] declared in <root>.A' type=<root>.A<kotlin.Int> origin=null
CONSTRUCTOR_CALL 'public constructor <init> (_context_receiver_0: T of <root>.A) [primary] declared in <root>.A' type=<root>.A<kotlin.Int> origin=null
<class: T>: kotlin.Int
<this>: GET_VAR '<this>: kotlin.Int declared in <root>.foo' type=kotlin.Int origin=null
_context_receiver_0: GET_VAR '<this>: kotlin.Int declared in <root>.foo' type=kotlin.Int origin=null
FUN name:bar visibility:public modality:FINAL <> ($receiver:kotlin.collections.Collection<kotlin.Int>) returnType:kotlin.Unit
$receiver: VALUE_PARAMETER name:<this> type:kotlin.collections.Collection<kotlin.Int>
BLOCK_BODY
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CONSTRUCTOR_CALL 'public constructor <init> (<this>: kotlin.collections.Collection<P of <root>.B>) [primary] declared in <root>.B' type=<root>.B<kotlin.Int> origin=null
CONSTRUCTOR_CALL 'public constructor <init> (_context_receiver_0: kotlin.collections.Collection<P of <root>.B>) [primary] declared in <root>.B' type=<root>.B<kotlin.Int> origin=null
<class: P>: kotlin.Int
<this>: GET_VAR '<this>: kotlin.collections.Collection<kotlin.Int> declared in <root>.bar' type=kotlin.collections.Collection<kotlin.Int> origin=null
_context_receiver_0: GET_VAR '<this>: kotlin.collections.Collection<kotlin.Int> declared in <root>.bar' type=kotlin.collections.Collection<kotlin.Int> origin=null
compiler/testData/ir/irText/declarations/contextReceivers/genericOuterClass.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_IDENTICAL
// !LANGUAGE: +ContextReceivers
context(T) class A<T>
compiler/testData/ir/irText/declarations/contextReceivers/genericOuterClass.kt.txt
Vendored
+6 -6
View File
@@ -1,8 +1,8 @@
class A<T : Any?> {
private /* final field */ val contextReceiverField0: T
constructor(<this>: T) /* primary */ {
constructor(_context_receiver_0: T) /* primary */ {
super/*Any*/()
<this>.#contextReceiverField0 = <this>
<this>.#contextReceiverField0 = _context_receiver_0
/* <init>() */
}
@@ -11,9 +11,9 @@ class A<T : Any?> {
class B<P : Any?> {
private /* final field */ val contextReceiverField0: Collection<P>
constructor(<this>: Collection<P>) /* primary */ {
constructor(_context_receiver_0: Collection<P>) /* primary */ {
super/*Any*/()
<this>.#contextReceiverField0 = <this>
<this>.#contextReceiverField0 = _context_receiver_0
/* <init>() */
}
@@ -21,9 +21,9 @@ class B<P : Any?> {
}
fun Int.foo() {
A<Int>(<this> = <this>) /*~> Unit */
A<Int>(_context_receiver_0 = <this>) /*~> Unit */
}
fun Collection<Int>.bar() {
B<Int>(<this> = <this>) /*~> Unit */
B<Int>(_context_receiver_0 = <this>) /*~> Unit */
}
compiler/testData/ir/irText/declarations/contextReceivers/iteratorOperator.ir.txt
Vendored
+5 -5
View File
@@ -192,14 +192,14 @@ FILE fqName:<root> fileName:/iteratorOperator.kt
CLASS CLASS name:CounterIterator modality:FINAL visibility:public superTypes:[kotlin.collections.Iterator<kotlin.Int>]
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.CounterIterator
FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:<root>.CounterConfig visibility:private [final]
CONSTRUCTOR visibility:public <> (<this>:<root>.CounterConfig, counter:<root>.Counter) returnType:<root>.CounterIterator [primary]
VALUE_PARAMETER name:<this> index:0 type:<root>.CounterConfig
CONSTRUCTOR visibility:public <> (_context_receiver_0:<root>.CounterConfig, counter:<root>.Counter) returnType:<root>.CounterIterator [primary]
VALUE_PARAMETER name:_context_receiver_0 index:0 type:<root>.CounterConfig
VALUE_PARAMETER name:counter index:1 type:<root>.Counter
BLOCK_BODY
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
SET_FIELD 'FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:<root>.CounterConfig visibility:private [final]' type=kotlin.Unit origin=null
receiver: GET_VAR '<this>: <root>.CounterIterator declared in <root>.CounterIterator' type=<root>.CounterIterator origin=null
value: GET_VAR '<this>: <root>.CounterConfig declared in <root>.CounterIterator.<init>' type=<root>.CounterConfig origin=null
value: GET_VAR '_context_receiver_0: <root>.CounterConfig declared in <root>.CounterIterator.<init>' type=<root>.CounterConfig origin=null
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:CounterIterator modality:FINAL visibility:public superTypes:[kotlin.collections.Iterator<kotlin.Int>]'
PROPERTY name:counter visibility:private modality:FINAL [val]
FIELD PROPERTY_BACKING_FIELD name:counter type:<root>.Counter visibility:private [final]
@@ -272,8 +272,8 @@ FILE fqName:<root> fileName:/iteratorOperator.kt
$receiver: VALUE_PARAMETER name:$this$with type:<root>.CounterConfig
BLOCK_BODY
RETURN type=kotlin.Nothing from='local final fun <anonymous> (): <root>.CounterIterator declared in <root>.iterator'
CONSTRUCTOR_CALL 'public constructor <init> (<this>: <root>.CounterConfig, counter: <root>.Counter) [primary] declared in <root>.CounterIterator' type=<root>.CounterIterator origin=null
<this>: GET_VAR '$this$with: <root>.CounterConfig declared in <root>.iterator.<anonymous>' type=<root>.CounterConfig origin=null
CONSTRUCTOR_CALL 'public constructor <init> (_context_receiver_0: <root>.CounterConfig, counter: <root>.Counter) [primary] declared in <root>.CounterIterator' type=<root>.CounterIterator origin=null
_context_receiver_0: GET_VAR '$this$with: <root>.CounterConfig declared in <root>.iterator.<anonymous>' type=<root>.CounterConfig origin=null
counter: GET_VAR '<this>: <root>.Counter declared in <root>.iterator' type=<root>.Counter origin=null
FUN name:box visibility:public modality:FINAL <> () returnType:kotlin.String
BLOCK_BODY
compiler/testData/ir/irText/declarations/contextReceivers/iteratorOperator.kt.txt
Vendored
+3 -3
View File
@@ -87,9 +87,9 @@ data class CounterConfig {
class CounterIterator : Iterator<Int> {
private /* final field */ val contextReceiverField0: CounterConfig
constructor(<this>: CounterConfig, counter: Counter) /* primary */ {
constructor(_context_receiver_0: CounterConfig, counter: Counter) /* primary */ {
super/*Any*/()
<this>.#contextReceiverField0 = <this>
<this>.#contextReceiverField0 = _context_receiver_0
/* <init>() */
}
@@ -117,7 +117,7 @@ class CounterIterator : Iterator<Int> {
operator fun Counter.iterator(_context_receiver_0: CounterConfig): CounterIterator {
return with<CounterConfig, CounterIterator>(receiver = _context_receiver_0, block = local fun CounterConfig.<anonymous>(): CounterIterator {
return CounterIterator(<this> = $this$with, counter = <this>)
return CounterIterator(_context_receiver_0 = $this$with, counter = <this>)
}
)
}
compiler/testData/ir/irText/declarations/contextReceivers/kt52791.ir.txt
Vendored
+30
View File
@@ -0,0 +1,30 @@
FILE fqName:<root> fileName:/kt52791.kt
CLASS CLASS name:MyClass modality:FINAL visibility:public superTypes:[kotlin.Any]
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.MyClass
FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:kotlin.Unit visibility:private [final]
FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField1 type:kotlin.Int visibility:private [final]
CONSTRUCTOR visibility:public <> (_context_receiver_0:kotlin.Unit, _context_receiver_1:kotlin.Int) returnType:<root>.MyClass [primary]
VALUE_PARAMETER name:_context_receiver_0 index:0 type:kotlin.Unit
VALUE_PARAMETER name:_context_receiver_1 index:1 type:kotlin.Int
BLOCK_BODY
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
SET_FIELD 'FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField0 type:kotlin.Unit visibility:private [final]' type=kotlin.Unit origin=null
receiver: GET_VAR '<this>: <root>.MyClass declared in <root>.MyClass' type=<root>.MyClass origin=null
value: GET_VAR '_context_receiver_0: kotlin.Unit declared in <root>.MyClass.<init>' type=kotlin.Unit origin=null
SET_FIELD 'FIELD FIELD_FOR_CLASS_CONTEXT_RECEIVER name:contextReceiverField1 type:kotlin.Int visibility:private [final]' type=kotlin.Unit origin=null
receiver: GET_VAR '<this>: <root>.MyClass declared in <root>.MyClass' type=<root>.MyClass origin=null
value: GET_VAR '_context_receiver_1: kotlin.Int declared in <root>.MyClass.<init>' type=kotlin.Int origin=null
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:MyClass modality:FINAL visibility:public superTypes:[kotlin.Any]'
FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
overridden:
public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
overridden:
public open fun hashCode (): kotlin.Int declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
overridden:
public open fun toString (): kotlin.String declared in kotlin.Any
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
compiler/testData/ir/irText/declarations/contextReceivers/kt52791.kt
Vendored
+6
View File
@@ -0,0 +1,6 @@
// !LANGUAGE: +ContextReceivers
// FIR_IDENTICAL
// TARGET_BACKEND: JVM_IR
context(Unit, Int)
class MyClass
compiler/testData/ir/irText/declarations/contextReceivers/kt52791.kt.txt
Vendored
+12
View File
@@ -0,0 +1,12 @@
class MyClass {
private /* final field */ val contextReceiverField0: Unit
private /* final field */ val contextReceiverField1: Int
constructor(_context_receiver_0: Unit, _context_receiver_1: Int) /* primary */ {
super/*Any*/()
<this>.#contextReceiverField0 = _context_receiver_0
<this>.#contextReceiverField1 = _context_receiver_1
/* <init>() */
}
}
compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBlackBoxCodegenTestGenerated.java
Generated
+6
View File
@@ -17215,6 +17215,12 @@ public class IrBlackBoxCodegenTestGenerated extends AbstractIrBlackBoxCodegenTes
runTest("compiler/testData/codegen/box/extensionClasses/generics.kt");
}
@Test
@TestMetadata("multiple.kt")
public void testMultiple() throws Exception {
runTest("compiler/testData/codegen/box/extensionClasses/multiple.kt");
}
@Test
@TestMetadata("propertyWithContext.kt")
public void testPropertyWithContext() throws Exception {
compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/ir/IrTextTestGenerated.java
Generated
+6
View File
@@ -859,6 +859,12 @@ public class IrTextTestGenerated extends AbstractIrTextTest {
runTest("compiler/testData/ir/irText/declarations/contextReceivers/iteratorOperator.kt");
}
@Test
@TestMetadata("kt52791.kt")
public void testKt52791() throws Exception {
runTest("compiler/testData/ir/irText/declarations/contextReceivers/kt52791.kt");
}
@Test
@TestMetadata("lazy.kt")
public void testLazy() throws Exception {
core/descriptors/src/org/jetbrains/kotlin/descriptors/impl/TypeAliasConstructorDescriptor.kt
+5 -4
View File
@@ -206,12 +206,13 @@ class TypeAliasConstructorDescriptorImpl private constructor(
val classDescriptor = typeAliasDescriptor.classDescriptor
val contextReceiverParameters = classDescriptor?.let {
constructor.contextReceiverParameters.map {
constructor.contextReceiverParameters.mapIndexed { index, contextReceiver ->
DescriptorFactory.createContextReceiverParameterForClass(
classDescriptor,
substitutorForUnderlyingClass.safeSubstitute(it.type, Variance.INVARIANT),
(it.value as ImplicitContextReceiver).customLabelName,
Annotations.EMPTY
substitutorForUnderlyingClass.safeSubstitute(contextReceiver.type, Variance.INVARIANT),
(contextReceiver.value as ImplicitContextReceiver).customLabelName,
Annotations.EMPTY,
index
)
}
} ?: emptyList()
core/descriptors/src/org/jetbrains/kotlin/resolve/DescriptorFactory.java
+4 -2
View File
@@ -246,10 +246,12 @@ public class DescriptorFactory {
@NotNull ClassDescriptor owner,
@Nullable KotlinType receiverParameterType,
@Nullable Name customLabelName,
@NotNull Annotations annotations
@NotNull Annotations annotations,
int index
) {
return receiverParameterType == null
? null
: new ReceiverParameterDescriptorImpl(owner, new ContextClassReceiver(owner, receiverParameterType, customLabelName, null), annotations);
: new ReceiverParameterDescriptorImpl(owner, new ContextClassReceiver(owner, receiverParameterType, customLabelName, null),
annotations, NameUtils.contextReceiverName(index));
}
}