[Test] KT-66152 Add tests for generic static function
This commit is contained in:
Aleksandra.Arsenteva
committed by
Space Team
Space Team
parent
8200cf404c
commit
83d0e1f447
+18
@@ -3361,6 +3361,18 @@ public class FirLightTreeJvmIrTextTestGenerated extends AbstractFirLightTreeJvmI
|
||||
runTest("compiler/testData/ir/irText/fakeOverrides/javastatic/intersectionOverrideOnStaticKJK.kt");
|
||||
}
|
||||
|
||||
@Test
|
||||
@TestMetadata("intersectionWithGenericOnComplexHierarchy.kt")
|
||||
public void testIntersectionWithGenericOnComplexHierarchy() {
|
||||
runTest("compiler/testData/ir/irText/fakeOverrides/javastatic/intersectionWithGenericOnComplexHierarchy.kt");
|
||||
}
|
||||
|
||||
@Test
|
||||
@TestMetadata("intersectionWithGenericOverride.kt")
|
||||
public void testIntersectionWithGenericOverride() {
|
||||
runTest("compiler/testData/ir/irText/fakeOverrides/javastatic/intersectionWithGenericOverride.kt");
|
||||
}
|
||||
|
||||
@Test
|
||||
@TestMetadata("staticOverrideOnComplexHierarchy.kt")
|
||||
public void testStaticOverrideOnComplexHierarchy() {
|
||||
@@ -3390,6 +3402,12 @@ public class FirLightTreeJvmIrTextTestGenerated extends AbstractFirLightTreeJvmI
|
||||
public void testStaticOverrideOnKJKJ() {
|
||||
runTest("compiler/testData/ir/irText/fakeOverrides/javastatic/staticOverrideOnKJKJ.kt");
|
||||
}
|
||||
|
||||
@Test
|
||||
@TestMetadata("substitutionStaticOverride.kt")
|
||||
public void testSubstitutionStaticOverride() {
|
||||
runTest("compiler/testData/ir/irText/fakeOverrides/javastatic/substitutionStaticOverride.kt");
|
||||
}
|
||||
}
|
||||
|
||||
@Nested
|
||||
|
||||
compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/ir/FirPsiJvmIrTextTestGenerated.java
Generated
+18
@@ -3361,6 +3361,18 @@ public class FirPsiJvmIrTextTestGenerated extends AbstractFirPsiJvmIrTextTest {
|
||||
runTest("compiler/testData/ir/irText/fakeOverrides/javastatic/intersectionOverrideOnStaticKJK.kt");
|
||||
}
|
||||
|
||||
@Test
|
||||
@TestMetadata("intersectionWithGenericOnComplexHierarchy.kt")
|
||||
public void testIntersectionWithGenericOnComplexHierarchy() {
|
||||
runTest("compiler/testData/ir/irText/fakeOverrides/javastatic/intersectionWithGenericOnComplexHierarchy.kt");
|
||||
}
|
||||
|
||||
@Test
|
||||
@TestMetadata("intersectionWithGenericOverride.kt")
|
||||
public void testIntersectionWithGenericOverride() {
|
||||
runTest("compiler/testData/ir/irText/fakeOverrides/javastatic/intersectionWithGenericOverride.kt");
|
||||
}
|
||||
|
||||
@Test
|
||||
@TestMetadata("staticOverrideOnComplexHierarchy.kt")
|
||||
public void testStaticOverrideOnComplexHierarchy() {
|
||||
@@ -3390,6 +3402,12 @@ public class FirPsiJvmIrTextTestGenerated extends AbstractFirPsiJvmIrTextTest {
|
||||
public void testStaticOverrideOnKJKJ() {
|
||||
runTest("compiler/testData/ir/irText/fakeOverrides/javastatic/staticOverrideOnKJKJ.kt");
|
||||
}
|
||||
|
||||
@Test
|
||||
@TestMetadata("substitutionStaticOverride.kt")
|
||||
public void testSubstitutionStaticOverride() {
|
||||
runTest("compiler/testData/ir/irText/fakeOverrides/javastatic/substitutionStaticOverride.kt");
|
||||
}
|
||||
}
|
||||
|
||||
@Nested
|
||||
|
||||
+498
@@ -0,0 +1,498 @@
|
||||
FILE fqName:<root> fileName:/1.kt
|
||||
CLASS CLASS name:A modality:FINAL visibility:public superTypes:[<root>.Java1; <root>.Java2; <root>.KotlinInterface]
|
||||
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.A
|
||||
CONSTRUCTOR visibility:public <> () returnType:<root>.A [primary]
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in <root>.Java1'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:A modality:FINAL visibility:public superTypes:[<root>.Java1; <root>.Java2; <root>.KotlinInterface]'
|
||||
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <T> ($this:<root>.KotlinInterface) returnType:T of <root>.A.bar [fake_override]
|
||||
overridden:
|
||||
public open fun bar <T> (): T of <root>.KotlinInterface.bar declared in <root>.KotlinInterface
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <T> () returnType:@[FlexibleNullability] T of <root>.A.bar? [fake_override]
|
||||
overridden:
|
||||
public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java1.bar? declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
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 declared in <root>.Java1
|
||||
public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in <root>.Java2
|
||||
public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in <root>.KotlinInterface
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <> ($this:<root>.KotlinInterface, t:kotlin.Number) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo (t: kotlin.Number): kotlin.Unit declared in <root>.KotlinInterface
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
VALUE_PARAMETER name:t index:0 type:kotlin.Number
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <> ($this:<root>.KotlinInterface, t:kotlin.Number, t2:kotlin.Int) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo (t: kotlin.Number, t2: kotlin.Int): kotlin.Unit declared in <root>.KotlinInterface
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
VALUE_PARAMETER name:t index:0 type:kotlin.Number
|
||||
VALUE_PARAMETER name:t2 index:1 type:kotlin.Int
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> ($this:<root>.KotlinInterface, t:T of <root>.A.foo) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: T of <root>.KotlinInterface.foo): kotlin.Unit declared in <root>.KotlinInterface
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
VALUE_PARAMETER name:t index:0 type:T of <root>.A.foo
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.A.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.A.foo?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.A.foo?, t2:@[FlexibleNullability] T of <root>.A.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?, t2: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.A.foo?
|
||||
VALUE_PARAMETER name:t2 index:1 type:@[FlexibleNullability] T of <root>.A.foo?
|
||||
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 <root>.Java1
|
||||
public open fun hashCode (): kotlin.Int declared in <root>.Java2
|
||||
public open fun hashCode (): kotlin.Int declared in <root>.KotlinInterface
|
||||
$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 <root>.Java1
|
||||
public open fun toString (): kotlin.String declared in <root>.Java2
|
||||
public open fun toString (): kotlin.String declared in <root>.KotlinInterface
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
FUN name:test1 visibility:public modality:FINAL <> ($this:<root>.A) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.A
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test1 (): kotlin.Unit declared in <root>.A'
|
||||
CALL 'public open fun foo (t: kotlin.Number): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR '<this>: <root>.A declared in <root>.A.test1' type=<root>.A origin=null
|
||||
t: CONST Int type=kotlin.Int value=1
|
||||
FUN name:test2 visibility:public modality:FINAL <> ($this:<root>.A) returnType:kotlin.Int
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.A
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test2 (): kotlin.Int declared in <root>.A'
|
||||
CALL 'public open fun bar <T> (): T of <root>.A.bar declared in <root>.A' type=kotlin.Int origin=null
|
||||
<T>: kotlin.Int
|
||||
$this: GET_VAR '<this>: <root>.A declared in <root>.A.test2' type=<root>.A origin=null
|
||||
FUN name:test3 visibility:public modality:FINAL <> ($this:<root>.A) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.A
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test3 (): kotlin.Unit declared in <root>.A'
|
||||
CALL 'public open fun foo <T> (t: T of <root>.A.foo): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
<T>: kotlin.String
|
||||
$this: GET_VAR '<this>: <root>.A declared in <root>.A.test3' type=<root>.A origin=null
|
||||
t: CONST String type=kotlin.String value=""
|
||||
FUN name:test4 visibility:public modality:FINAL <> ($this:<root>.A) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.A
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test4 (): kotlin.Unit declared in <root>.A'
|
||||
CALL 'public open fun foo (t: kotlin.Number): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR '<this>: <root>.A declared in <root>.A.test4' type=<root>.A origin=null
|
||||
t: CONST Double type=kotlin.Double value=1.5
|
||||
FUN name:test5 visibility:public modality:FINAL <> ($this:<root>.A) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.A
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test5 (): kotlin.Unit declared in <root>.A'
|
||||
CALL 'public open fun foo (t: kotlin.Number, t2: kotlin.Int): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR '<this>: <root>.A declared in <root>.A.test5' type=<root>.A origin=null
|
||||
t: CONST Double type=kotlin.Double value=1.5
|
||||
t2: CONST Int type=kotlin.Int value=8
|
||||
CLASS CLASS name:B modality:FINAL visibility:public superTypes:[<root>.Java1; <root>.Java2; <root>.Java3]
|
||||
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.B
|
||||
CONSTRUCTOR visibility:public <> () returnType:<root>.B [primary]
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in <root>.Java1'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:B modality:FINAL visibility:public superTypes:[<root>.Java1; <root>.Java2; <root>.Java3]'
|
||||
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <> ($this:<root>.Java3) returnType:@[FlexibleNullability] kotlin.Number? [fake_override]
|
||||
overridden:
|
||||
public open fun bar (): @[FlexibleNullability] kotlin.Number? declared in <root>.Java3
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.Java3
|
||||
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <T> () returnType:@[FlexibleNullability] T of <root>.B.bar? [fake_override]
|
||||
overridden:
|
||||
public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java1.bar? declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
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 declared in <root>.Java1
|
||||
public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in <root>.Java2
|
||||
public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in <root>.Java3
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <> ($this:<root>.Java3, t:@[FlexibleNullability] kotlin.Number?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo (t: @[FlexibleNullability] kotlin.Number?): kotlin.Unit declared in <root>.Java3
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.Java3
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] kotlin.Number?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <> ($this:<root>.Java3, t:@[FlexibleNullability] kotlin.Number?, t2:@[FlexibleNullability] kotlin.Number?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo (t: @[FlexibleNullability] kotlin.Number?, t2: @[FlexibleNullability] kotlin.Number?): kotlin.Unit declared in <root>.Java3
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.Java3
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] kotlin.Number?
|
||||
VALUE_PARAMETER name:t2 index:1 type:@[FlexibleNullability] kotlin.Number?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.B.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.B.foo?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.B.foo?, t2:@[FlexibleNullability] T of <root>.B.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?, t2: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.B.foo?
|
||||
VALUE_PARAMETER name:t2 index:1 type:@[FlexibleNullability] T of <root>.B.foo?
|
||||
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 <root>.Java1
|
||||
public open fun hashCode (): kotlin.Int declared in <root>.Java2
|
||||
public open fun hashCode (): kotlin.Int declared in <root>.Java3
|
||||
$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 <root>.Java1
|
||||
public open fun toString (): kotlin.String declared in <root>.Java2
|
||||
public open fun toString (): kotlin.String declared in <root>.Java3
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
FUN name:test1 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.B
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test1 (): kotlin.Unit declared in <root>.B'
|
||||
CALL 'public open fun foo (t: @[FlexibleNullability] kotlin.Number?): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR '<this>: <root>.B declared in <root>.B.test1' type=<root>.B origin=null
|
||||
t: CONST Int type=kotlin.Int value=1
|
||||
FUN name:test2 visibility:public modality:FINAL <> ($this:<root>.B) returnType:@[FlexibleNullability] kotlin.Int?
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.B
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test2 (): @[FlexibleNullability] kotlin.Int? declared in <root>.B'
|
||||
CALL 'public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java1.bar? declared in <root>.Java1' type=@[FlexibleNullability] kotlin.Int? origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.Int?
|
||||
FUN name:test3 visibility:public modality:FINAL <> ($this:<root>.B) returnType:@[FlexibleNullability] kotlin.Number?
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.B
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test3 (): @[FlexibleNullability] kotlin.Number? declared in <root>.B'
|
||||
CALL 'public open fun bar (): @[FlexibleNullability] kotlin.Number? declared in <root>.B' type=@[FlexibleNullability] kotlin.Number? origin=null
|
||||
$this: GET_VAR '<this>: <root>.B declared in <root>.B.test3' type=<root>.B origin=null
|
||||
FUN name:test4 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.B
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test4 (): kotlin.Unit declared in <root>.B'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1' type=kotlin.Unit origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.String?
|
||||
t: CONST String type=kotlin.String value=""
|
||||
FUN name:test5 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.B
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test5 (): kotlin.Unit declared in <root>.B'
|
||||
CALL 'public open fun foo (t: @[FlexibleNullability] kotlin.Number?): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR '<this>: <root>.B declared in <root>.B.test5' type=<root>.B origin=null
|
||||
t: CONST Double type=kotlin.Double value=1.5
|
||||
FUN name:test6 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.B
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test6 (): kotlin.Unit declared in <root>.B'
|
||||
CALL 'public open fun foo (t: @[FlexibleNullability] kotlin.Number?, t2: @[FlexibleNullability] kotlin.Number?): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR '<this>: <root>.B declared in <root>.B.test6' type=<root>.B origin=null
|
||||
t: CONST Double type=kotlin.Double value=1.5
|
||||
t2: CONST Int type=kotlin.Int value=8
|
||||
FUN name:test7 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.B
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test7 (): kotlin.Unit declared in <root>.B'
|
||||
CALL 'public open fun foo (t: @[FlexibleNullability] kotlin.Number?, t2: @[FlexibleNullability] kotlin.Number?): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR '<this>: <root>.B declared in <root>.B.test7' type=<root>.B origin=null
|
||||
t: CONST Int type=kotlin.Int value=1
|
||||
t2: CONST Int type=kotlin.Int value=8
|
||||
CLASS CLASS name:C modality:FINAL visibility:public superTypes:[<root>.KotlinClass; <root>.Java2]
|
||||
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.C
|
||||
CONSTRUCTOR visibility:public <> () returnType:<root>.C [primary]
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in <root>.KotlinClass'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:C modality:FINAL visibility:public superTypes:[<root>.KotlinClass; <root>.Java2]'
|
||||
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <T> () returnType:@[FlexibleNullability] T of <root>.C.bar? [fake_override]
|
||||
overridden:
|
||||
public open fun bar <T> (): @[FlexibleNullability] T of <root>.KotlinClass.bar? declared in <root>.KotlinClass
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
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 declared in <root>.KotlinClass
|
||||
public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in <root>.Java2
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.C.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.KotlinClass.foo?): kotlin.Unit declared in <root>.KotlinClass
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.C.foo?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.C.foo?, t2:@[FlexibleNullability] T of <root>.C.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.KotlinClass.foo?, t2: @[FlexibleNullability] T of <root>.KotlinClass.foo?): kotlin.Unit declared in <root>.KotlinClass
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.C.foo?
|
||||
VALUE_PARAMETER name:t2 index:1 type:@[FlexibleNullability] T of <root>.C.foo?
|
||||
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 <root>.KotlinClass
|
||||
public open fun hashCode (): kotlin.Int declared in <root>.Java2
|
||||
$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 <root>.KotlinClass
|
||||
public open fun toString (): kotlin.String declared in <root>.Java2
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
FUN name:test1 visibility:public modality:FINAL <> ($this:<root>.C) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.C
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test1 (): kotlin.Unit declared in <root>.C'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1' type=kotlin.Unit origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.Int?
|
||||
t: CONST Int type=kotlin.Int value=1
|
||||
FUN name:test2 visibility:public modality:FINAL <> ($this:<root>.C) returnType:kotlin.Int
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.C
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test2 (): kotlin.Int declared in <root>.C'
|
||||
TYPE_OP type=kotlin.Int origin=IMPLICIT_NOTNULL typeOperand=kotlin.Int
|
||||
CALL 'public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java1.bar? declared in <root>.Java1' type=@[FlexibleNullability] kotlin.Int? origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.Int?
|
||||
FUN name:test3 visibility:public modality:FINAL <> ($this:<root>.C) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.C
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test3 (): kotlin.Unit declared in <root>.C'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1' type=kotlin.Unit origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.String?
|
||||
t: CONST String type=kotlin.String value=""
|
||||
FUN name:test4 visibility:public modality:FINAL <> ($this:<root>.C) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.C
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test4 (): kotlin.Unit declared in <root>.C'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1' type=kotlin.Unit origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.Double?
|
||||
t: CONST Double type=kotlin.Double value=1.5
|
||||
FUN name:test5 visibility:public modality:FINAL <> ($this:<root>.C) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.C
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test5 (): kotlin.Unit declared in <root>.C'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?, t2: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1' type=kotlin.Unit origin=null
|
||||
<T>: kotlin.Any?
|
||||
t: CONST Double type=kotlin.Double value=1.5
|
||||
t2: CONST Int type=kotlin.Int value=8
|
||||
FUN name:test6 visibility:public modality:FINAL <> ($this:<root>.C) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.C
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test6 (): kotlin.Unit declared in <root>.C'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?, t2: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1' type=kotlin.Unit origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.Int?
|
||||
t: CONST Int type=kotlin.Int value=1
|
||||
t2: CONST Int type=kotlin.Int value=8
|
||||
CLASS CLASS name:D modality:FINAL visibility:public superTypes:[<root>.Java4; <root>.Java2]
|
||||
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.D
|
||||
CONSTRUCTOR visibility:public <> () returnType:<root>.D [primary]
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in <root>.Java4'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:D modality:FINAL visibility:public superTypes:[<root>.Java4; <root>.Java2]'
|
||||
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <T> () returnType:@[FlexibleNullability] T of <root>.D.bar? [fake_override]
|
||||
overridden:
|
||||
public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java4.bar? declared in <root>.Java4
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
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 declared in <root>.Java4
|
||||
public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in <root>.Java2
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.D.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java4.foo?): kotlin.Unit declared in <root>.Java4
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.D.foo?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.D.foo?, t2:@[FlexibleNullability] T of <root>.D.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java4.foo?, t2: @[FlexibleNullability] T of <root>.Java4.foo?): kotlin.Unit declared in <root>.Java4
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.D.foo?
|
||||
VALUE_PARAMETER name:t2 index:1 type:@[FlexibleNullability] T of <root>.D.foo?
|
||||
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 <root>.Java4
|
||||
public open fun hashCode (): kotlin.Int declared in <root>.Java2
|
||||
$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 <root>.Java4
|
||||
public open fun toString (): kotlin.String declared in <root>.Java2
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
FUN name:test1 visibility:public modality:FINAL <> ($this:<root>.D) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.D
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test1 (): kotlin.Unit declared in <root>.D'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java4.foo?): kotlin.Unit declared in <root>.Java4' type=kotlin.Unit origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.Int?
|
||||
t: CONST Int type=kotlin.Int value=1
|
||||
FUN name:test2 visibility:public modality:FINAL <> ($this:<root>.D) returnType:kotlin.Int
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.D
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test2 (): kotlin.Int declared in <root>.D'
|
||||
TYPE_OP type=kotlin.Int origin=IMPLICIT_NOTNULL typeOperand=kotlin.Int
|
||||
CALL 'public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java4.bar? declared in <root>.Java4' type=@[FlexibleNullability] kotlin.Int? origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.Int?
|
||||
FUN name:test3 visibility:public modality:FINAL <> ($this:<root>.D) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.D
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test3 (): kotlin.Unit declared in <root>.D'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java4.foo?): kotlin.Unit declared in <root>.Java4' type=kotlin.Unit origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.String?
|
||||
t: CONST String type=kotlin.String value=""
|
||||
FUN name:test4 visibility:public modality:FINAL <> ($this:<root>.D) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.D
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test4 (): kotlin.Unit declared in <root>.D'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java4.foo?): kotlin.Unit declared in <root>.Java4' type=kotlin.Unit origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.Double?
|
||||
t: CONST Double type=kotlin.Double value=1.5
|
||||
FUN name:test5 visibility:public modality:FINAL <> ($this:<root>.D) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.D
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test5 (): kotlin.Unit declared in <root>.D'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java4.foo?, t2: @[FlexibleNullability] T of <root>.Java4.foo?): kotlin.Unit declared in <root>.Java4' type=kotlin.Unit origin=null
|
||||
<T>: kotlin.Any?
|
||||
t: CONST Double type=kotlin.Double value=1.5
|
||||
t2: CONST Int type=kotlin.Int value=8
|
||||
FUN name:test6 visibility:public modality:FINAL <> ($this:<root>.D) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.D
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test6 (): kotlin.Unit declared in <root>.D'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java4.foo?, t2: @[FlexibleNullability] T of <root>.Java4.foo?): kotlin.Unit declared in <root>.Java4' type=kotlin.Unit origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.Int?
|
||||
t: CONST Int type=kotlin.Int value=1
|
||||
t2: CONST Int type=kotlin.Int value=8
|
||||
CLASS CLASS name:KotlinClass modality:OPEN visibility:public superTypes:[<root>.Java1]
|
||||
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.KotlinClass
|
||||
CONSTRUCTOR visibility:public <> () returnType:<root>.KotlinClass [primary]
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in <root>.Java1'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:KotlinClass modality:OPEN visibility:public superTypes:[<root>.Java1]'
|
||||
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <T> () returnType:@[FlexibleNullability] T of <root>.KotlinClass.bar? [fake_override]
|
||||
overridden:
|
||||
public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java1.bar? declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
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 declared in <root>.Java1
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.KotlinClass.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.KotlinClass.foo?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.KotlinClass.foo?, t2:@[FlexibleNullability] T of <root>.KotlinClass.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?, t2: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.KotlinClass.foo?
|
||||
VALUE_PARAMETER name:t2 index:1 type:@[FlexibleNullability] T of <root>.KotlinClass.foo?
|
||||
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 <root>.Java1
|
||||
$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 <root>.Java1
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
CLASS INTERFACE name:KotlinInterface modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
|
||||
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.KotlinInterface
|
||||
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 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:bar visibility:public modality:OPEN <T> ($this:<root>.KotlinInterface) returnType:T of <root>.KotlinInterface.bar
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public open fun bar <T> (): T of <root>.KotlinInterface.bar declared in <root>.KotlinInterface'
|
||||
CALL 'public final fun CHECK_NOT_NULL <T0> (arg0: T0 of kotlin.internal.ir.CHECK_NOT_NULL?): {T0 of kotlin.internal.ir.CHECK_NOT_NULL & Any} declared in kotlin.internal.ir' type=kotlin.Nothing origin=EXCLEXCL
|
||||
<T0>: kotlin.Nothing
|
||||
arg0: CONST Null type=kotlin.Nothing? value=null
|
||||
FUN name:foo visibility:public modality:OPEN <> ($this:<root>.KotlinInterface, t:kotlin.Number) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
VALUE_PARAMETER name:t index:0 type:kotlin.Number
|
||||
BLOCK_BODY
|
||||
FUN name:foo visibility:public modality:OPEN <> ($this:<root>.KotlinInterface, t:kotlin.Number, t2:kotlin.Int) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
VALUE_PARAMETER name:t index:0 type:kotlin.Number
|
||||
VALUE_PARAMETER name:t2 index:1 type:kotlin.Int
|
||||
EXPRESSION_BODY
|
||||
CONST Int type=kotlin.Int value=7
|
||||
BLOCK_BODY
|
||||
FUN name:foo visibility:public modality:OPEN <T> ($this:<root>.KotlinInterface, t:T of <root>.KotlinInterface.foo) returnType:kotlin.Unit
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
VALUE_PARAMETER name:t index:0 type:T of <root>.KotlinInterface.foo
|
||||
BLOCK_BODY
|
||||
FUN name:test visibility:public modality:FINAL <> (a:<root>.A, b:<root>.B, c:<root>.C, d:<root>.D) returnType:kotlin.Unit
|
||||
VALUE_PARAMETER name:a index:0 type:<root>.A
|
||||
VALUE_PARAMETER name:b index:1 type:<root>.B
|
||||
VALUE_PARAMETER name:c index:2 type:<root>.C
|
||||
VALUE_PARAMETER name:d index:3 type:<root>.D
|
||||
BLOCK_BODY
|
||||
CALL 'public final fun test1 (): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
|
||||
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
|
||||
CALL 'public final fun test2 (): kotlin.Int declared in <root>.A' type=kotlin.Int origin=null
|
||||
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
|
||||
CALL 'public final fun test3 (): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
|
||||
CALL 'public final fun test4 (): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
|
||||
CALL 'public final fun test5 (): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
|
||||
CALL 'public final fun test1 (): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
|
||||
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
|
||||
CALL 'public final fun test2 (): @[FlexibleNullability] kotlin.Int? declared in <root>.B' type=@[FlexibleNullability] kotlin.Int? origin=null
|
||||
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
|
||||
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
|
||||
CALL 'public final fun test3 (): @[FlexibleNullability] kotlin.Number? declared in <root>.B' type=@[FlexibleNullability] kotlin.Number? origin=null
|
||||
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
|
||||
CALL 'public final fun test4 (): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
|
||||
CALL 'public final fun test5 (): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
|
||||
CALL 'public final fun test6 (): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
|
||||
CALL 'public final fun test7 (): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
|
||||
CALL 'public final fun test1 (): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
|
||||
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
|
||||
CALL 'public final fun test2 (): kotlin.Int declared in <root>.C' type=kotlin.Int origin=null
|
||||
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
|
||||
CALL 'public final fun test3 (): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
|
||||
CALL 'public final fun test4 (): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
|
||||
CALL 'public final fun test5 (): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
|
||||
CALL 'public final fun test6 (): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
|
||||
CALL 'public final fun test1 (): kotlin.Unit declared in <root>.D' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
|
||||
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
|
||||
CALL 'public final fun test2 (): kotlin.Int declared in <root>.D' type=kotlin.Int origin=null
|
||||
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
|
||||
CALL 'public final fun test3 (): kotlin.Unit declared in <root>.D' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
|
||||
CALL 'public final fun test4 (): kotlin.Unit declared in <root>.D' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
|
||||
CALL 'public final fun test5 (): kotlin.Unit declared in <root>.D' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
|
||||
CALL 'public final fun test6 (): kotlin.Unit declared in <root>.D' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
|
||||
+183
@@ -0,0 +1,183 @@
|
||||
class A : Java1, Java2, KotlinInterface {
|
||||
constructor() /* primary */ {
|
||||
super/*Java1*/()
|
||||
/* <init>() */
|
||||
|
||||
}
|
||||
|
||||
fun test1() {
|
||||
return <this>.foo(t = 1)
|
||||
}
|
||||
|
||||
fun test2(): Int {
|
||||
return <this>.bar<Int>()
|
||||
}
|
||||
|
||||
fun test3() {
|
||||
return <this>.foo<String>(t = "")
|
||||
}
|
||||
|
||||
fun test4() {
|
||||
return <this>.foo(t = 1.5)
|
||||
}
|
||||
|
||||
fun test5() {
|
||||
return <this>.foo(t = 1.5, t2 = 8)
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
class B : Java1, Java2, Java3 {
|
||||
constructor() /* primary */ {
|
||||
super/*Java1*/()
|
||||
/* <init>() */
|
||||
|
||||
}
|
||||
|
||||
fun test1() {
|
||||
return <this>.foo(t = 1)
|
||||
}
|
||||
|
||||
fun test2(): @FlexibleNullability Int? {
|
||||
return bar<@FlexibleNullability Int?>()
|
||||
}
|
||||
|
||||
fun test3(): @FlexibleNullability Number? {
|
||||
return <this>.bar()
|
||||
}
|
||||
|
||||
fun test4() {
|
||||
return foo<@FlexibleNullability String?>(t = "")
|
||||
}
|
||||
|
||||
fun test5() {
|
||||
return <this>.foo(t = 1.5)
|
||||
}
|
||||
|
||||
fun test6() {
|
||||
return <this>.foo(t = 1.5, t2 = 8)
|
||||
}
|
||||
|
||||
fun test7() {
|
||||
return <this>.foo(t = 1, t2 = 8)
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
class C : KotlinClass, Java2 {
|
||||
constructor() /* primary */ {
|
||||
super/*KotlinClass*/()
|
||||
/* <init>() */
|
||||
|
||||
}
|
||||
|
||||
fun test1() {
|
||||
return foo<@FlexibleNullability Int?>(t = 1)
|
||||
}
|
||||
|
||||
fun test2(): Int {
|
||||
return bar<@FlexibleNullability Int?>() /*!! Int */
|
||||
}
|
||||
|
||||
fun test3() {
|
||||
return foo<@FlexibleNullability String?>(t = "")
|
||||
}
|
||||
|
||||
fun test4() {
|
||||
return foo<@FlexibleNullability Double?>(t = 1.5)
|
||||
}
|
||||
|
||||
fun test5() {
|
||||
return foo<Any?>(t = 1.5, t2 = 8)
|
||||
}
|
||||
|
||||
fun test6() {
|
||||
return foo<@FlexibleNullability Int?>(t = 1, t2 = 8)
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
class D : Java4, Java2 {
|
||||
constructor() /* primary */ {
|
||||
super/*Java4*/()
|
||||
/* <init>() */
|
||||
|
||||
}
|
||||
|
||||
fun test1() {
|
||||
return foo<@FlexibleNullability Int?>(t = 1)
|
||||
}
|
||||
|
||||
fun test2(): Int {
|
||||
return bar<@FlexibleNullability Int?>() /*!! Int */
|
||||
}
|
||||
|
||||
fun test3() {
|
||||
return foo<@FlexibleNullability String?>(t = "")
|
||||
}
|
||||
|
||||
fun test4() {
|
||||
return foo<@FlexibleNullability Double?>(t = 1.5)
|
||||
}
|
||||
|
||||
fun test5() {
|
||||
return foo<Any?>(t = 1.5, t2 = 8)
|
||||
}
|
||||
|
||||
fun test6() {
|
||||
return foo<@FlexibleNullability Int?>(t = 1, t2 = 8)
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
open class KotlinClass : Java1 {
|
||||
constructor() /* primary */ {
|
||||
super/*Java1*/()
|
||||
/* <init>() */
|
||||
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
interface KotlinInterface {
|
||||
fun <T : Any?> bar(): T {
|
||||
return CHECK_NOT_NULL<Nothing>(arg0 = null)
|
||||
}
|
||||
|
||||
fun foo(t: Number) {
|
||||
}
|
||||
|
||||
fun foo(t: Number, t2: Int = 7) {
|
||||
}
|
||||
|
||||
fun <T : Any?> foo(t: T) {
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
fun test(a: A, b: B, c: C, d: D) {
|
||||
a.test1()
|
||||
a.test2() /*~> Unit */
|
||||
a.test3()
|
||||
a.test4()
|
||||
a.test5()
|
||||
b.test1()
|
||||
b.test2() /*~> Unit */
|
||||
b.test3() /*~> Unit */
|
||||
b.test4()
|
||||
b.test5()
|
||||
b.test6()
|
||||
b.test7()
|
||||
c.test1()
|
||||
c.test2() /*~> Unit */
|
||||
c.test3()
|
||||
c.test4()
|
||||
c.test5()
|
||||
c.test6()
|
||||
d.test1()
|
||||
d.test2() /*~> Unit */
|
||||
d.test3()
|
||||
d.test4()
|
||||
d.test5()
|
||||
d.test6()
|
||||
}
|
||||
+498
@@ -0,0 +1,498 @@
|
||||
FILE fqName:<root> fileName:/1.kt
|
||||
CLASS CLASS name:A modality:FINAL visibility:public superTypes:[<root>.Java1; <root>.Java2; <root>.KotlinInterface]
|
||||
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.A
|
||||
CONSTRUCTOR visibility:public <> () returnType:<root>.A [primary]
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in <root>.Java1'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:A modality:FINAL visibility:public superTypes:[<root>.Java1; <root>.Java2; <root>.KotlinInterface]'
|
||||
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <T> ($this:<root>.KotlinInterface) returnType:T of <root>.A.bar [fake_override]
|
||||
overridden:
|
||||
public open fun bar <T> (): T of <root>.KotlinInterface.bar declared in <root>.KotlinInterface
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <T> () returnType:@[FlexibleNullability] T of <root>.A.bar? [fake_override]
|
||||
overridden:
|
||||
public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java1.bar? declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
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 declared in <root>.Java1
|
||||
public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in <root>.Java2
|
||||
public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in <root>.KotlinInterface
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <> ($this:<root>.KotlinInterface, t:kotlin.Number) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo (t: kotlin.Number): kotlin.Unit declared in <root>.KotlinInterface
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
VALUE_PARAMETER name:t index:0 type:kotlin.Number
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <> ($this:<root>.KotlinInterface, t:kotlin.Number, t2:kotlin.Int) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo (t: kotlin.Number, t2: kotlin.Int): kotlin.Unit declared in <root>.KotlinInterface
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
VALUE_PARAMETER name:t index:0 type:kotlin.Number
|
||||
VALUE_PARAMETER name:t2 index:1 type:kotlin.Int
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> ($this:<root>.KotlinInterface, t:T of <root>.A.foo) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: T of <root>.KotlinInterface.foo): kotlin.Unit declared in <root>.KotlinInterface
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
VALUE_PARAMETER name:t index:0 type:T of <root>.A.foo
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.A.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.A.foo?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.A.foo?, t2:@[FlexibleNullability] T of <root>.A.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?, t2: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.A.foo?
|
||||
VALUE_PARAMETER name:t2 index:1 type:@[FlexibleNullability] T of <root>.A.foo?
|
||||
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 <root>.Java1
|
||||
public open fun hashCode (): kotlin.Int declared in <root>.Java2
|
||||
public open fun hashCode (): kotlin.Int declared in <root>.KotlinInterface
|
||||
$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 <root>.Java1
|
||||
public open fun toString (): kotlin.String declared in <root>.Java2
|
||||
public open fun toString (): kotlin.String declared in <root>.KotlinInterface
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
FUN name:test1 visibility:public modality:FINAL <> ($this:<root>.A) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.A
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test1 (): kotlin.Unit declared in <root>.A'
|
||||
CALL 'public open fun foo (t: kotlin.Number): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR '<this>: <root>.A declared in <root>.A.test1' type=<root>.A origin=null
|
||||
t: CONST Int type=kotlin.Int value=1
|
||||
FUN name:test2 visibility:public modality:FINAL <> ($this:<root>.A) returnType:kotlin.Int
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.A
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test2 (): kotlin.Int declared in <root>.A'
|
||||
CALL 'public open fun bar <T> (): T of <root>.A.bar declared in <root>.A' type=kotlin.Int origin=null
|
||||
<T>: kotlin.Int
|
||||
$this: GET_VAR '<this>: <root>.A declared in <root>.A.test2' type=<root>.A origin=null
|
||||
FUN name:test3 visibility:public modality:FINAL <> ($this:<root>.A) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.A
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test3 (): kotlin.Unit declared in <root>.A'
|
||||
CALL 'public open fun foo <T> (t: T of <root>.A.foo): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
<T>: kotlin.String
|
||||
$this: GET_VAR '<this>: <root>.A declared in <root>.A.test3' type=<root>.A origin=null
|
||||
t: CONST String type=kotlin.String value=""
|
||||
FUN name:test4 visibility:public modality:FINAL <> ($this:<root>.A) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.A
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test4 (): kotlin.Unit declared in <root>.A'
|
||||
CALL 'public open fun foo (t: kotlin.Number): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR '<this>: <root>.A declared in <root>.A.test4' type=<root>.A origin=null
|
||||
t: CONST Double type=kotlin.Double value=1.5
|
||||
FUN name:test5 visibility:public modality:FINAL <> ($this:<root>.A) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.A
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test5 (): kotlin.Unit declared in <root>.A'
|
||||
CALL 'public open fun foo (t: kotlin.Number, t2: kotlin.Int): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR '<this>: <root>.A declared in <root>.A.test5' type=<root>.A origin=null
|
||||
t: CONST Double type=kotlin.Double value=1.5
|
||||
t2: CONST Int type=kotlin.Int value=8
|
||||
CLASS CLASS name:B modality:FINAL visibility:public superTypes:[<root>.Java1; <root>.Java2; <root>.Java3]
|
||||
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.B
|
||||
CONSTRUCTOR visibility:public <> () returnType:<root>.B [primary]
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in <root>.Java1'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:B modality:FINAL visibility:public superTypes:[<root>.Java1; <root>.Java2; <root>.Java3]'
|
||||
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <> ($this:<root>.Java3) returnType:@[FlexibleNullability] kotlin.Number? [fake_override]
|
||||
overridden:
|
||||
public open fun bar (): @[FlexibleNullability] kotlin.Number? declared in <root>.Java3
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.Java3
|
||||
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <T> () returnType:@[FlexibleNullability] T of <root>.B.bar? [fake_override]
|
||||
overridden:
|
||||
public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java1.bar? declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
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 declared in <root>.Java1
|
||||
public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in <root>.Java2
|
||||
public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in <root>.Java3
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <> ($this:<root>.Java3, t:@[FlexibleNullability] kotlin.Number?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo (t: @[FlexibleNullability] kotlin.Number?): kotlin.Unit declared in <root>.Java3
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.Java3
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] kotlin.Number?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <> ($this:<root>.Java3, t:@[FlexibleNullability] kotlin.Number?, t2:@[FlexibleNullability] kotlin.Number?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo (t: @[FlexibleNullability] kotlin.Number?, t2: @[FlexibleNullability] kotlin.Number?): kotlin.Unit declared in <root>.Java3
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.Java3
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] kotlin.Number?
|
||||
VALUE_PARAMETER name:t2 index:1 type:@[FlexibleNullability] kotlin.Number?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.B.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.B.foo?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.B.foo?, t2:@[FlexibleNullability] T of <root>.B.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?, t2: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.B.foo?
|
||||
VALUE_PARAMETER name:t2 index:1 type:@[FlexibleNullability] T of <root>.B.foo?
|
||||
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 <root>.Java1
|
||||
public open fun hashCode (): kotlin.Int declared in <root>.Java2
|
||||
public open fun hashCode (): kotlin.Int declared in <root>.Java3
|
||||
$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 <root>.Java1
|
||||
public open fun toString (): kotlin.String declared in <root>.Java2
|
||||
public open fun toString (): kotlin.String declared in <root>.Java3
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
FUN name:test1 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.B
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test1 (): kotlin.Unit declared in <root>.B'
|
||||
CALL 'public open fun foo (t: @[FlexibleNullability] kotlin.Number?): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR '<this>: <root>.B declared in <root>.B.test1' type=<root>.B origin=null
|
||||
t: CONST Int type=kotlin.Int value=1
|
||||
FUN name:test2 visibility:public modality:FINAL <> ($this:<root>.B) returnType:@[FlexibleNullability] kotlin.Int?
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.B
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test2 (): @[FlexibleNullability] kotlin.Int? declared in <root>.B'
|
||||
CALL 'public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java1.bar? declared in <root>.Java1' type=@[FlexibleNullability] kotlin.Int? origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.Int?
|
||||
FUN name:test3 visibility:public modality:FINAL <> ($this:<root>.B) returnType:@[FlexibleNullability] kotlin.Number?
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.B
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test3 (): @[FlexibleNullability] kotlin.Number? declared in <root>.B'
|
||||
CALL 'public open fun bar (): @[FlexibleNullability] kotlin.Number? declared in <root>.B' type=@[FlexibleNullability] kotlin.Number? origin=null
|
||||
$this: GET_VAR '<this>: <root>.B declared in <root>.B.test3' type=<root>.B origin=null
|
||||
FUN name:test4 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.B
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test4 (): kotlin.Unit declared in <root>.B'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1' type=kotlin.Unit origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.String?
|
||||
t: CONST String type=kotlin.String value=""
|
||||
FUN name:test5 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.B
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test5 (): kotlin.Unit declared in <root>.B'
|
||||
CALL 'public open fun foo (t: @[FlexibleNullability] kotlin.Number?): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR '<this>: <root>.B declared in <root>.B.test5' type=<root>.B origin=null
|
||||
t: CONST Double type=kotlin.Double value=1.5
|
||||
FUN name:test6 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.B
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test6 (): kotlin.Unit declared in <root>.B'
|
||||
CALL 'public open fun foo (t: @[FlexibleNullability] kotlin.Number?, t2: @[FlexibleNullability] kotlin.Number?): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR '<this>: <root>.B declared in <root>.B.test6' type=<root>.B origin=null
|
||||
t: CONST Double type=kotlin.Double value=1.5
|
||||
t2: CONST Int type=kotlin.Int value=8
|
||||
FUN name:test7 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.B
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test7 (): kotlin.Unit declared in <root>.B'
|
||||
CALL 'public open fun foo (t: @[FlexibleNullability] kotlin.Number?, t2: @[FlexibleNullability] kotlin.Number?): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR '<this>: <root>.B declared in <root>.B.test7' type=<root>.B origin=null
|
||||
t: CONST Int type=kotlin.Int value=1
|
||||
t2: CONST Int type=kotlin.Int value=8
|
||||
CLASS CLASS name:C modality:FINAL visibility:public superTypes:[<root>.KotlinClass; <root>.Java2]
|
||||
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.C
|
||||
CONSTRUCTOR visibility:public <> () returnType:<root>.C [primary]
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in <root>.KotlinClass'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:C modality:FINAL visibility:public superTypes:[<root>.KotlinClass; <root>.Java2]'
|
||||
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <T> () returnType:@[FlexibleNullability] T of <root>.C.bar? [fake_override]
|
||||
overridden:
|
||||
public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java1.bar? declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
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 declared in <root>.KotlinClass
|
||||
public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in <root>.Java2
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.C.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.C.foo?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.C.foo?, t2:@[FlexibleNullability] T of <root>.C.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?, t2: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.C.foo?
|
||||
VALUE_PARAMETER name:t2 index:1 type:@[FlexibleNullability] T of <root>.C.foo?
|
||||
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 <root>.KotlinClass
|
||||
public open fun hashCode (): kotlin.Int declared in <root>.Java2
|
||||
$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 <root>.KotlinClass
|
||||
public open fun toString (): kotlin.String declared in <root>.Java2
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
FUN name:test1 visibility:public modality:FINAL <> ($this:<root>.C) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.C
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test1 (): kotlin.Unit declared in <root>.C'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1' type=kotlin.Unit origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.Int?
|
||||
t: CONST Int type=kotlin.Int value=1
|
||||
FUN name:test2 visibility:public modality:FINAL <> ($this:<root>.C) returnType:kotlin.Int
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.C
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test2 (): kotlin.Int declared in <root>.C'
|
||||
TYPE_OP type=kotlin.Int origin=IMPLICIT_NOTNULL typeOperand=kotlin.Int
|
||||
CALL 'public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java1.bar? declared in <root>.Java1' type=@[FlexibleNullability] kotlin.Int? origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.Int?
|
||||
FUN name:test3 visibility:public modality:FINAL <> ($this:<root>.C) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.C
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test3 (): kotlin.Unit declared in <root>.C'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1' type=kotlin.Unit origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.String?
|
||||
t: CONST String type=kotlin.String value=""
|
||||
FUN name:test4 visibility:public modality:FINAL <> ($this:<root>.C) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.C
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test4 (): kotlin.Unit declared in <root>.C'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1' type=kotlin.Unit origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.Double?
|
||||
t: CONST Double type=kotlin.Double value=1.5
|
||||
FUN name:test5 visibility:public modality:FINAL <> ($this:<root>.C) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.C
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test5 (): kotlin.Unit declared in <root>.C'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?, t2: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1' type=kotlin.Unit origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.Any?
|
||||
t: CONST Double type=kotlin.Double value=1.5
|
||||
t2: CONST Int type=kotlin.Int value=8
|
||||
FUN name:test6 visibility:public modality:FINAL <> ($this:<root>.C) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.C
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test6 (): kotlin.Unit declared in <root>.C'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?, t2: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1' type=kotlin.Unit origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.Int?
|
||||
t: CONST Int type=kotlin.Int value=1
|
||||
t2: CONST Int type=kotlin.Int value=8
|
||||
CLASS CLASS name:D modality:FINAL visibility:public superTypes:[<root>.Java4; <root>.Java2]
|
||||
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.D
|
||||
CONSTRUCTOR visibility:public <> () returnType:<root>.D [primary]
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in <root>.Java4'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:D modality:FINAL visibility:public superTypes:[<root>.Java4; <root>.Java2]'
|
||||
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <T> () returnType:@[FlexibleNullability] T of <root>.D.bar? [fake_override]
|
||||
overridden:
|
||||
public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java4.bar? declared in <root>.Java4
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
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 declared in <root>.Java4
|
||||
public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in <root>.Java2
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.D.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java4.foo?): kotlin.Unit declared in <root>.Java4
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.D.foo?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.D.foo?, t2:@[FlexibleNullability] T of <root>.D.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java4.foo?, t2: @[FlexibleNullability] T of <root>.Java4.foo?): kotlin.Unit declared in <root>.Java4
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.D.foo?
|
||||
VALUE_PARAMETER name:t2 index:1 type:@[FlexibleNullability] T of <root>.D.foo?
|
||||
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 <root>.Java4
|
||||
public open fun hashCode (): kotlin.Int declared in <root>.Java2
|
||||
$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 <root>.Java4
|
||||
public open fun toString (): kotlin.String declared in <root>.Java2
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
FUN name:test1 visibility:public modality:FINAL <> ($this:<root>.D) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.D
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test1 (): kotlin.Unit declared in <root>.D'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java4.foo?): kotlin.Unit declared in <root>.Java4' type=kotlin.Unit origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.Int?
|
||||
t: CONST Int type=kotlin.Int value=1
|
||||
FUN name:test2 visibility:public modality:FINAL <> ($this:<root>.D) returnType:kotlin.Int
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.D
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test2 (): kotlin.Int declared in <root>.D'
|
||||
TYPE_OP type=kotlin.Int origin=IMPLICIT_NOTNULL typeOperand=kotlin.Int
|
||||
CALL 'public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java4.bar? declared in <root>.Java4' type=@[FlexibleNullability] kotlin.Int? origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.Int?
|
||||
FUN name:test3 visibility:public modality:FINAL <> ($this:<root>.D) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.D
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test3 (): kotlin.Unit declared in <root>.D'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java4.foo?): kotlin.Unit declared in <root>.Java4' type=kotlin.Unit origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.String?
|
||||
t: CONST String type=kotlin.String value=""
|
||||
FUN name:test4 visibility:public modality:FINAL <> ($this:<root>.D) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.D
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test4 (): kotlin.Unit declared in <root>.D'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java4.foo?): kotlin.Unit declared in <root>.Java4' type=kotlin.Unit origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.Double?
|
||||
t: CONST Double type=kotlin.Double value=1.5
|
||||
FUN name:test5 visibility:public modality:FINAL <> ($this:<root>.D) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.D
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test5 (): kotlin.Unit declared in <root>.D'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java4.foo?, t2: @[FlexibleNullability] T of <root>.Java4.foo?): kotlin.Unit declared in <root>.Java4' type=kotlin.Unit origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.Any?
|
||||
t: CONST Double type=kotlin.Double value=1.5
|
||||
t2: CONST Int type=kotlin.Int value=8
|
||||
FUN name:test6 visibility:public modality:FINAL <> ($this:<root>.D) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.D
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test6 (): kotlin.Unit declared in <root>.D'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java4.foo?, t2: @[FlexibleNullability] T of <root>.Java4.foo?): kotlin.Unit declared in <root>.Java4' type=kotlin.Unit origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.Int?
|
||||
t: CONST Int type=kotlin.Int value=1
|
||||
t2: CONST Int type=kotlin.Int value=8
|
||||
CLASS CLASS name:KotlinClass modality:OPEN visibility:public superTypes:[<root>.Java1]
|
||||
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.KotlinClass
|
||||
CONSTRUCTOR visibility:public <> () returnType:<root>.KotlinClass [primary]
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in <root>.Java1'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:KotlinClass modality:OPEN visibility:public superTypes:[<root>.Java1]'
|
||||
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <T> () returnType:@[FlexibleNullability] T of <root>.KotlinClass.bar? [fake_override]
|
||||
overridden:
|
||||
public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java1.bar? declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
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 declared in <root>.Java1
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.KotlinClass.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.KotlinClass.foo?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.KotlinClass.foo?, t2:@[FlexibleNullability] T of <root>.KotlinClass.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?, t2: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.KotlinClass.foo?
|
||||
VALUE_PARAMETER name:t2 index:1 type:@[FlexibleNullability] T of <root>.KotlinClass.foo?
|
||||
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 <root>.Java1
|
||||
$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 <root>.Java1
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
CLASS INTERFACE name:KotlinInterface modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
|
||||
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.KotlinInterface
|
||||
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 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:bar visibility:public modality:OPEN <T> ($this:<root>.KotlinInterface) returnType:T of <root>.KotlinInterface.bar
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public open fun bar <T> (): T of <root>.KotlinInterface.bar declared in <root>.KotlinInterface'
|
||||
CALL 'public final fun CHECK_NOT_NULL <T0> (arg0: T0 of kotlin.internal.ir.CHECK_NOT_NULL?): {T0 of kotlin.internal.ir.CHECK_NOT_NULL & Any} declared in kotlin.internal.ir' type=kotlin.Nothing origin=EXCLEXCL
|
||||
<T0>: kotlin.Nothing
|
||||
arg0: CONST Null type=kotlin.Nothing? value=null
|
||||
FUN name:foo visibility:public modality:OPEN <> ($this:<root>.KotlinInterface, t:kotlin.Number) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
VALUE_PARAMETER name:t index:0 type:kotlin.Number
|
||||
BLOCK_BODY
|
||||
FUN name:foo visibility:public modality:OPEN <> ($this:<root>.KotlinInterface, t:kotlin.Number, t2:kotlin.Int) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
VALUE_PARAMETER name:t index:0 type:kotlin.Number
|
||||
VALUE_PARAMETER name:t2 index:1 type:kotlin.Int
|
||||
EXPRESSION_BODY
|
||||
CONST Int type=kotlin.Int value=7
|
||||
BLOCK_BODY
|
||||
FUN name:foo visibility:public modality:OPEN <T> ($this:<root>.KotlinInterface, t:T of <root>.KotlinInterface.foo) returnType:kotlin.Unit
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
VALUE_PARAMETER name:t index:0 type:T of <root>.KotlinInterface.foo
|
||||
BLOCK_BODY
|
||||
FUN name:test visibility:public modality:FINAL <> (a:<root>.A, b:<root>.B, c:<root>.C, d:<root>.D) returnType:kotlin.Unit
|
||||
VALUE_PARAMETER name:a index:0 type:<root>.A
|
||||
VALUE_PARAMETER name:b index:1 type:<root>.B
|
||||
VALUE_PARAMETER name:c index:2 type:<root>.C
|
||||
VALUE_PARAMETER name:d index:3 type:<root>.D
|
||||
BLOCK_BODY
|
||||
CALL 'public final fun test1 (): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
|
||||
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
|
||||
CALL 'public final fun test2 (): kotlin.Int declared in <root>.A' type=kotlin.Int origin=null
|
||||
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
|
||||
CALL 'public final fun test3 (): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
|
||||
CALL 'public final fun test4 (): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
|
||||
CALL 'public final fun test5 (): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
|
||||
CALL 'public final fun test1 (): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
|
||||
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
|
||||
CALL 'public final fun test2 (): @[FlexibleNullability] kotlin.Int? declared in <root>.B' type=@[FlexibleNullability] kotlin.Int? origin=null
|
||||
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
|
||||
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
|
||||
CALL 'public final fun test3 (): @[FlexibleNullability] kotlin.Number? declared in <root>.B' type=@[FlexibleNullability] kotlin.Number? origin=null
|
||||
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
|
||||
CALL 'public final fun test4 (): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
|
||||
CALL 'public final fun test5 (): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
|
||||
CALL 'public final fun test6 (): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
|
||||
CALL 'public final fun test7 (): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
|
||||
CALL 'public final fun test1 (): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
|
||||
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
|
||||
CALL 'public final fun test2 (): kotlin.Int declared in <root>.C' type=kotlin.Int origin=null
|
||||
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
|
||||
CALL 'public final fun test3 (): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
|
||||
CALL 'public final fun test4 (): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
|
||||
CALL 'public final fun test5 (): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
|
||||
CALL 'public final fun test6 (): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
|
||||
CALL 'public final fun test1 (): kotlin.Unit declared in <root>.D' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
|
||||
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
|
||||
CALL 'public final fun test2 (): kotlin.Int declared in <root>.D' type=kotlin.Int origin=null
|
||||
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
|
||||
CALL 'public final fun test3 (): kotlin.Unit declared in <root>.D' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
|
||||
CALL 'public final fun test4 (): kotlin.Unit declared in <root>.D' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
|
||||
CALL 'public final fun test5 (): kotlin.Unit declared in <root>.D' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
|
||||
CALL 'public final fun test6 (): kotlin.Unit declared in <root>.D' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
|
||||
Vendored
+106
@@ -0,0 +1,106 @@
|
||||
// TARGET_BACKEND: JVM
|
||||
|
||||
// FILE: Java1.java
|
||||
public class Java1 {
|
||||
public static <T> void foo(T t) { }
|
||||
public static <T> T bar() {
|
||||
return null;
|
||||
}
|
||||
public static <T> void foo(T t, T t2) {}
|
||||
}
|
||||
|
||||
// FILE: Java2.java
|
||||
public interface Java2 {
|
||||
static int bar() {
|
||||
return 1;
|
||||
}
|
||||
static void foo(int t) { }
|
||||
static void foo(int t, int t2) {}
|
||||
}
|
||||
|
||||
// FILE: Java3.java
|
||||
public interface Java3 {
|
||||
default Number bar() {
|
||||
return 1;
|
||||
}
|
||||
default void foo(Number t) { }
|
||||
default void foo(Number t, Number t2) { }
|
||||
}
|
||||
|
||||
// FILE: Java4.java
|
||||
public class Java4 extends Java1 { }
|
||||
|
||||
// FILE: 1.kt
|
||||
class A : Java1(), Java2, KotlinInterface { //Kotlin ← Java1, Java2, Kotlin2
|
||||
fun test1() = foo(1)
|
||||
fun test2(): Int = bar()
|
||||
fun test3() = foo("")
|
||||
fun test4() = foo(1.5)
|
||||
fun test5() = foo(1.5, 8)
|
||||
}
|
||||
|
||||
class B : Java1(), Java2, Java3 { //Kotlin ← Java1, Java2, Java3
|
||||
fun test1() = foo(1)
|
||||
fun test2()= bar<Int>()
|
||||
fun test3()= bar()
|
||||
fun test4() = foo("")
|
||||
fun test5() = foo(1.5)
|
||||
fun test6() = foo(1.5, 8)
|
||||
fun test7() = foo(1, 8)
|
||||
}
|
||||
|
||||
class C : KotlinClass() , Java2 { //Kotlin ← Java, Kotlin2 ← Java2
|
||||
fun test1() = foo(1)
|
||||
fun test2(): Int = bar()
|
||||
fun test3() = foo("")
|
||||
fun test4() = foo(1.5)
|
||||
fun test5() = foo(1.5, 8)
|
||||
fun test6() = foo(1, 8)
|
||||
}
|
||||
|
||||
class D : Java4(), Java2 { //Kotlin ← Java1, Java2 ← Java3
|
||||
fun test1() = foo(1)
|
||||
fun test2(): Int = bar()
|
||||
fun test3() = foo("")
|
||||
fun test4() = foo(1.5)
|
||||
fun test5() = foo(1.5, 8)
|
||||
fun test6() = foo(1, 8)
|
||||
}
|
||||
|
||||
interface KotlinInterface {
|
||||
fun <T> foo(t: T) { }
|
||||
fun <T> bar(): T {
|
||||
return null!!
|
||||
}
|
||||
fun foo(t: Number){ }
|
||||
fun foo(t: Number, t2: Int = 7) { }
|
||||
}
|
||||
|
||||
open class KotlinClass : Java1()
|
||||
|
||||
fun test(a: A, b: B, c: C, d: D) {
|
||||
a.test1()
|
||||
a.test2()
|
||||
a.test3()
|
||||
a.test4()
|
||||
a.test5()
|
||||
b.test1()
|
||||
b.test2()
|
||||
b.test3()
|
||||
b.test4()
|
||||
b.test5()
|
||||
b.test6()
|
||||
b.test7()
|
||||
c.test1()
|
||||
c.test2()
|
||||
c.test3()
|
||||
c.test4()
|
||||
c.test5()
|
||||
c.test6()
|
||||
d.test1()
|
||||
d.test2()
|
||||
d.test3()
|
||||
d.test4()
|
||||
d.test5()
|
||||
d.test6()
|
||||
}
|
||||
+183
@@ -0,0 +1,183 @@
|
||||
class A : Java1, Java2, KotlinInterface {
|
||||
constructor() /* primary */ {
|
||||
super/*Java1*/()
|
||||
/* <init>() */
|
||||
|
||||
}
|
||||
|
||||
fun test1() {
|
||||
return <this>.foo(t = 1)
|
||||
}
|
||||
|
||||
fun test2(): Int {
|
||||
return <this>.bar<Int>()
|
||||
}
|
||||
|
||||
fun test3() {
|
||||
return <this>.foo<String>(t = "")
|
||||
}
|
||||
|
||||
fun test4() {
|
||||
return <this>.foo(t = 1.5)
|
||||
}
|
||||
|
||||
fun test5() {
|
||||
return <this>.foo(t = 1.5, t2 = 8)
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
class B : Java1, Java2, Java3 {
|
||||
constructor() /* primary */ {
|
||||
super/*Java1*/()
|
||||
/* <init>() */
|
||||
|
||||
}
|
||||
|
||||
fun test1() {
|
||||
return <this>.foo(t = 1)
|
||||
}
|
||||
|
||||
fun test2(): @FlexibleNullability Int? {
|
||||
return bar<@FlexibleNullability Int?>()
|
||||
}
|
||||
|
||||
fun test3(): @FlexibleNullability Number? {
|
||||
return <this>.bar()
|
||||
}
|
||||
|
||||
fun test4() {
|
||||
return foo<@FlexibleNullability String?>(t = "")
|
||||
}
|
||||
|
||||
fun test5() {
|
||||
return <this>.foo(t = 1.5)
|
||||
}
|
||||
|
||||
fun test6() {
|
||||
return <this>.foo(t = 1.5, t2 = 8)
|
||||
}
|
||||
|
||||
fun test7() {
|
||||
return <this>.foo(t = 1, t2 = 8)
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
class C : KotlinClass, Java2 {
|
||||
constructor() /* primary */ {
|
||||
super/*KotlinClass*/()
|
||||
/* <init>() */
|
||||
|
||||
}
|
||||
|
||||
fun test1() {
|
||||
return foo<@FlexibleNullability Int?>(t = 1)
|
||||
}
|
||||
|
||||
fun test2(): Int {
|
||||
return bar<@FlexibleNullability Int?>() /*!! Int */
|
||||
}
|
||||
|
||||
fun test3() {
|
||||
return foo<@FlexibleNullability String?>(t = "")
|
||||
}
|
||||
|
||||
fun test4() {
|
||||
return foo<@FlexibleNullability Double?>(t = 1.5)
|
||||
}
|
||||
|
||||
fun test5() {
|
||||
return foo<@FlexibleNullability Any?>(t = 1.5, t2 = 8)
|
||||
}
|
||||
|
||||
fun test6() {
|
||||
return foo<@FlexibleNullability Int?>(t = 1, t2 = 8)
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
class D : Java4, Java2 {
|
||||
constructor() /* primary */ {
|
||||
super/*Java4*/()
|
||||
/* <init>() */
|
||||
|
||||
}
|
||||
|
||||
fun test1() {
|
||||
return foo<@FlexibleNullability Int?>(t = 1)
|
||||
}
|
||||
|
||||
fun test2(): Int {
|
||||
return bar<@FlexibleNullability Int?>() /*!! Int */
|
||||
}
|
||||
|
||||
fun test3() {
|
||||
return foo<@FlexibleNullability String?>(t = "")
|
||||
}
|
||||
|
||||
fun test4() {
|
||||
return foo<@FlexibleNullability Double?>(t = 1.5)
|
||||
}
|
||||
|
||||
fun test5() {
|
||||
return foo<@FlexibleNullability Any?>(t = 1.5, t2 = 8)
|
||||
}
|
||||
|
||||
fun test6() {
|
||||
return foo<@FlexibleNullability Int?>(t = 1, t2 = 8)
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
open class KotlinClass : Java1 {
|
||||
constructor() /* primary */ {
|
||||
super/*Java1*/()
|
||||
/* <init>() */
|
||||
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
interface KotlinInterface {
|
||||
fun <T : Any?> bar(): T {
|
||||
return CHECK_NOT_NULL<Nothing>(arg0 = null)
|
||||
}
|
||||
|
||||
fun foo(t: Number) {
|
||||
}
|
||||
|
||||
fun foo(t: Number, t2: Int = 7) {
|
||||
}
|
||||
|
||||
fun <T : Any?> foo(t: T) {
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
fun test(a: A, b: B, c: C, d: D) {
|
||||
a.test1()
|
||||
a.test2() /*~> Unit */
|
||||
a.test3()
|
||||
a.test4()
|
||||
a.test5()
|
||||
b.test1()
|
||||
b.test2() /*~> Unit */
|
||||
b.test3() /*~> Unit */
|
||||
b.test4()
|
||||
b.test5()
|
||||
b.test6()
|
||||
b.test7()
|
||||
c.test1()
|
||||
c.test2() /*~> Unit */
|
||||
c.test3()
|
||||
c.test4()
|
||||
c.test5()
|
||||
c.test6()
|
||||
d.test1()
|
||||
d.test2() /*~> Unit */
|
||||
d.test3()
|
||||
d.test4()
|
||||
d.test5()
|
||||
d.test6()
|
||||
}
|
||||
+281
@@ -0,0 +1,281 @@
|
||||
// CHECK:
|
||||
// Mangled name: A
|
||||
// Public signature: /A|null[0]
|
||||
class A : Java1, Java2, KotlinInterface {
|
||||
// CHECK:
|
||||
// Mangled name: A#<init>(){}
|
||||
// Public signature: /A.<init>|-5645683436151566731[0]
|
||||
// Public signature debug description: <init>(){}
|
||||
constructor() /* primary */
|
||||
|
||||
// CHECK JVM_IR:
|
||||
// Mangled name: A#bar(){0§<kotlin.Any?>}0:0
|
||||
// Public signature: /A.bar|-3730887172686175993[0]
|
||||
// Public signature debug description: bar(){0§<kotlin.Any?>}0:0
|
||||
/* fake */ override fun <T : Any?> bar(): T
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: A#foo(kotlin.Number){}
|
||||
// Public signature: /A.foo|97687418835402471[0]
|
||||
// Public signature debug description: foo(kotlin.Number){}
|
||||
/* fake */ override fun foo(t: Number): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: A#foo(kotlin.Number;kotlin.Int){}
|
||||
// Public signature: /A.foo|-582544100250830393[0]
|
||||
// Public signature debug description: foo(kotlin.Number;kotlin.Int){}
|
||||
/* fake */ override fun foo(t: Number, t2: Int): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: A#foo(0:0){0§<kotlin.Any?>}
|
||||
// Public signature: /A.foo|-6838606926256314363[0]
|
||||
// Public signature debug description: foo(0:0){0§<kotlin.Any?>}
|
||||
/* fake */ override fun <T : Any?> foo(t: T): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: A#test1(){}
|
||||
// Public signature: /A.test1|4297044443957252634[0]
|
||||
// Public signature debug description: test1(){}
|
||||
fun test1(): Unit
|
||||
|
||||
// CHECK JVM_IR:
|
||||
// Mangled name: A#test2(){}kotlin.Int
|
||||
// Public signature: /A.test2|5542371834528279174[0]
|
||||
// Public signature debug description: test2(){}kotlin.Int
|
||||
fun test2(): Int
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: A#test3(){}
|
||||
// Public signature: /A.test3|-3759735065270951803[0]
|
||||
// Public signature debug description: test3(){}
|
||||
fun test3(): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: A#test4(){}
|
||||
// Public signature: /A.test4|5588455914500386239[0]
|
||||
// Public signature debug description: test4(){}
|
||||
fun test4(): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: A#test5(){}
|
||||
// Public signature: /A.test5|-2461239215881954159[0]
|
||||
// Public signature debug description: test5(){}
|
||||
fun test5(): Unit
|
||||
|
||||
}
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: B
|
||||
// Public signature: /B|null[0]
|
||||
class B : Java1, Java2, Java3 {
|
||||
// CHECK:
|
||||
// Mangled name: B#<init>(){}
|
||||
// Public signature: /B.<init>|-5645683436151566731[0]
|
||||
// Public signature debug description: <init>(){}
|
||||
constructor() /* primary */
|
||||
|
||||
// CHECK JVM_IR:
|
||||
// Mangled name: B#bar(){}kotlin.Number?
|
||||
// Public signature: /B.bar|-1679062975122643439[0]
|
||||
// Public signature debug description: bar(){}kotlin.Number?
|
||||
/* fake */ override fun bar(): Number?
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: B#foo(kotlin.Number?){}
|
||||
// Public signature: /B.foo|2831167016207060641[0]
|
||||
// Public signature debug description: foo(kotlin.Number?){}
|
||||
/* fake */ override fun foo(t: Number?): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: B#foo(kotlin.Number?;kotlin.Number?){}
|
||||
// Public signature: /B.foo|-7463972333851766982[0]
|
||||
// Public signature debug description: foo(kotlin.Number?;kotlin.Number?){}
|
||||
/* fake */ override fun foo(t: Number?, t2: Number?): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: B#test1(){}
|
||||
// Public signature: /B.test1|4297044443957252634[0]
|
||||
// Public signature debug description: test1(){}
|
||||
fun test1(): Unit
|
||||
|
||||
// CHECK JVM_IR:
|
||||
// Mangled name: B#test2(){}kotlin.Int?
|
||||
// Public signature: /B.test2|-5765850018663628420[0]
|
||||
// Public signature debug description: test2(){}kotlin.Int?
|
||||
fun test2(): Int?
|
||||
|
||||
// CHECK JVM_IR:
|
||||
// Mangled name: B#test3(){}kotlin.Number?
|
||||
// Public signature: /B.test3|-6251483702542360946[0]
|
||||
// Public signature debug description: test3(){}kotlin.Number?
|
||||
fun test3(): Number?
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: B#test4(){}
|
||||
// Public signature: /B.test4|5588455914500386239[0]
|
||||
// Public signature debug description: test4(){}
|
||||
fun test4(): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: B#test5(){}
|
||||
// Public signature: /B.test5|-2461239215881954159[0]
|
||||
// Public signature debug description: test5(){}
|
||||
fun test5(): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: B#test6(){}
|
||||
// Public signature: /B.test6|-6357717956567725919[0]
|
||||
// Public signature debug description: test6(){}
|
||||
fun test6(): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: B#test7(){}
|
||||
// Public signature: /B.test7|-8173197202779127520[0]
|
||||
// Public signature debug description: test7(){}
|
||||
fun test7(): Unit
|
||||
|
||||
}
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: C
|
||||
// Public signature: /C|null[0]
|
||||
class C : KotlinClass, Java2 {
|
||||
// CHECK:
|
||||
// Mangled name: C#<init>(){}
|
||||
// Public signature: /C.<init>|-5645683436151566731[0]
|
||||
// Public signature debug description: <init>(){}
|
||||
constructor() /* primary */
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: C#test1(){}
|
||||
// Public signature: /C.test1|4297044443957252634[0]
|
||||
// Public signature debug description: test1(){}
|
||||
fun test1(): Unit
|
||||
|
||||
// CHECK JVM_IR:
|
||||
// Mangled name: C#test2(){}kotlin.Int
|
||||
// Public signature: /C.test2|5542371834528279174[0]
|
||||
// Public signature debug description: test2(){}kotlin.Int
|
||||
fun test2(): Int
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: C#test3(){}
|
||||
// Public signature: /C.test3|-3759735065270951803[0]
|
||||
// Public signature debug description: test3(){}
|
||||
fun test3(): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: C#test4(){}
|
||||
// Public signature: /C.test4|5588455914500386239[0]
|
||||
// Public signature debug description: test4(){}
|
||||
fun test4(): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: C#test5(){}
|
||||
// Public signature: /C.test5|-2461239215881954159[0]
|
||||
// Public signature debug description: test5(){}
|
||||
fun test5(): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: C#test6(){}
|
||||
// Public signature: /C.test6|-6357717956567725919[0]
|
||||
// Public signature debug description: test6(){}
|
||||
fun test6(): Unit
|
||||
|
||||
}
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: D
|
||||
// Public signature: /D|null[0]
|
||||
class D : Java4, Java2 {
|
||||
// CHECK:
|
||||
// Mangled name: D#<init>(){}
|
||||
// Public signature: /D.<init>|-5645683436151566731[0]
|
||||
// Public signature debug description: <init>(){}
|
||||
constructor() /* primary */
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: D#test1(){}
|
||||
// Public signature: /D.test1|4297044443957252634[0]
|
||||
// Public signature debug description: test1(){}
|
||||
fun test1(): Unit
|
||||
|
||||
// CHECK JVM_IR:
|
||||
// Mangled name: D#test2(){}kotlin.Int
|
||||
// Public signature: /D.test2|5542371834528279174[0]
|
||||
// Public signature debug description: test2(){}kotlin.Int
|
||||
fun test2(): Int
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: D#test3(){}
|
||||
// Public signature: /D.test3|-3759735065270951803[0]
|
||||
// Public signature debug description: test3(){}
|
||||
fun test3(): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: D#test4(){}
|
||||
// Public signature: /D.test4|5588455914500386239[0]
|
||||
// Public signature debug description: test4(){}
|
||||
fun test4(): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: D#test5(){}
|
||||
// Public signature: /D.test5|-2461239215881954159[0]
|
||||
// Public signature debug description: test5(){}
|
||||
fun test5(): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: D#test6(){}
|
||||
// Public signature: /D.test6|-6357717956567725919[0]
|
||||
// Public signature debug description: test6(){}
|
||||
fun test6(): Unit
|
||||
|
||||
}
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: KotlinClass
|
||||
// Public signature: /KotlinClass|null[0]
|
||||
open class KotlinClass : Java1 {
|
||||
// CHECK:
|
||||
// Mangled name: KotlinClass#<init>(){}
|
||||
// Public signature: /KotlinClass.<init>|-5645683436151566731[0]
|
||||
// Public signature debug description: <init>(){}
|
||||
constructor() /* primary */
|
||||
|
||||
}
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: KotlinInterface
|
||||
// Public signature: /KotlinInterface|null[0]
|
||||
interface KotlinInterface {
|
||||
// CHECK JVM_IR:
|
||||
// Mangled name: KotlinInterface#bar(){0§<kotlin.Any?>}0:0
|
||||
// Public signature: /KotlinInterface.bar|-3730887172686175993[0]
|
||||
// Public signature debug description: bar(){0§<kotlin.Any?>}0:0
|
||||
fun <T : Any?> bar(): T
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: KotlinInterface#foo(kotlin.Number){}
|
||||
// Public signature: /KotlinInterface.foo|97687418835402471[0]
|
||||
// Public signature debug description: foo(kotlin.Number){}
|
||||
fun foo(t: Number): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: KotlinInterface#foo(kotlin.Number;kotlin.Int){}
|
||||
// Public signature: /KotlinInterface.foo|-582544100250830393[0]
|
||||
// Public signature debug description: foo(kotlin.Number;kotlin.Int){}
|
||||
fun foo(t: Number, t2: Int): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: KotlinInterface#foo(0:0){0§<kotlin.Any?>}
|
||||
// Public signature: /KotlinInterface.foo|-6838606926256314363[0]
|
||||
// Public signature debug description: foo(0:0){0§<kotlin.Any?>}
|
||||
fun <T : Any?> foo(t: T): Unit
|
||||
|
||||
}
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: #test(A;B;C;D){}
|
||||
// Public signature: /test|7656439746344069424[0]
|
||||
// Public signature debug description: test(A;B;C;D){}
|
||||
fun test(a: A, b: B, c: C, d: D): Unit
|
||||
Vendored
+238
@@ -0,0 +1,238 @@
|
||||
FILE fqName:<root> fileName:/1.kt
|
||||
CLASS CLASS name:A modality:FINAL visibility:public superTypes:[<root>.Java1; <root>.KotlinInterface]
|
||||
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.A
|
||||
CONSTRUCTOR visibility:public <> () returnType:<root>.A [primary]
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in <root>.Java1'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:A modality:FINAL visibility:public superTypes:[<root>.Java1; <root>.KotlinInterface]'
|
||||
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <T> ($this:<root>.KotlinInterface) returnType:T of <root>.A.bar [fake_override]
|
||||
overridden:
|
||||
public open fun bar <T> (): T of <root>.KotlinInterface.bar declared in <root>.KotlinInterface
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <T> () returnType:@[FlexibleNullability] T of <root>.A.bar? [fake_override]
|
||||
overridden:
|
||||
public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java1.bar? declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
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 declared in <root>.Java1
|
||||
public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in <root>.KotlinInterface
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <> ($this:<root>.KotlinInterface, t:kotlin.Number) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo (t: kotlin.Number): kotlin.Unit declared in <root>.KotlinInterface
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
VALUE_PARAMETER name:t index:0 type:kotlin.Number
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <> ($this:<root>.KotlinInterface, t:kotlin.Number, t2:kotlin.Int) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo (t: kotlin.Number, t2: kotlin.Int): kotlin.Unit declared in <root>.KotlinInterface
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
VALUE_PARAMETER name:t index:0 type:kotlin.Number
|
||||
VALUE_PARAMETER name:t2 index:1 type:kotlin.Int
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <> (t:@[FlexibleNullability] kotlin.Number?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo (t: @[FlexibleNullability] kotlin.Number?): kotlin.Unit declared in <root>.Java1
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] kotlin.Number?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <> (t:@[FlexibleNullability] kotlin.Number?, t2:@[FlexibleNullability] kotlin.Int?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo (t: @[FlexibleNullability] kotlin.Number?, t2: @[FlexibleNullability] kotlin.Int?): kotlin.Unit declared in <root>.Java1
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] kotlin.Number?
|
||||
VALUE_PARAMETER name:t2 index:1 type:@[FlexibleNullability] kotlin.Int?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> ($this:<root>.KotlinInterface, t:T of <root>.A.foo) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: T of <root>.KotlinInterface.foo): kotlin.Unit declared in <root>.KotlinInterface
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
VALUE_PARAMETER name:t index:0 type:T of <root>.A.foo
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.A.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.A.foo?
|
||||
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 <root>.Java1
|
||||
public open fun hashCode (): kotlin.Int declared in <root>.KotlinInterface
|
||||
$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 <root>.Java1
|
||||
public open fun toString (): kotlin.String declared in <root>.KotlinInterface
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
FUN name:test1 visibility:public modality:FINAL <> ($this:<root>.A) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.A
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test1 (): kotlin.Unit declared in <root>.A'
|
||||
CALL 'public open fun foo (t: kotlin.Number): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR '<this>: <root>.A declared in <root>.A.test1' type=<root>.A origin=null
|
||||
t: CONST Int type=kotlin.Int value=1
|
||||
FUN name:test2 visibility:public modality:FINAL <> ($this:<root>.A) returnType:kotlin.Int
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.A
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test2 (): kotlin.Int declared in <root>.A'
|
||||
CALL 'public open fun bar <T> (): T of <root>.A.bar declared in <root>.A' type=kotlin.Int origin=null
|
||||
<T>: kotlin.Int
|
||||
$this: GET_VAR '<this>: <root>.A declared in <root>.A.test2' type=<root>.A origin=null
|
||||
FUN name:test3 visibility:public modality:FINAL <> ($this:<root>.A) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.A
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test3 (): kotlin.Unit declared in <root>.A'
|
||||
CALL 'public open fun foo <T> (t: T of <root>.A.foo): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
<T>: kotlin.String
|
||||
$this: GET_VAR '<this>: <root>.A declared in <root>.A.test3' type=<root>.A origin=null
|
||||
t: CONST String type=kotlin.String value=""
|
||||
FUN name:test4 visibility:public modality:FINAL <> ($this:<root>.A) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.A
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test4 (): kotlin.Unit declared in <root>.A'
|
||||
CALL 'public open fun foo (t: kotlin.Number): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR '<this>: <root>.A declared in <root>.A.test4' type=<root>.A origin=null
|
||||
t: CONST Double type=kotlin.Double value=1.5
|
||||
FUN name:test5 visibility:public modality:FINAL <> ($this:<root>.A) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.A
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test5 (): kotlin.Unit declared in <root>.A'
|
||||
CALL 'public open fun foo (t: kotlin.Number, t2: kotlin.Int): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR '<this>: <root>.A declared in <root>.A.test5' type=<root>.A origin=null
|
||||
t: CONST Double type=kotlin.Double value=1.5
|
||||
t2: CONST Int type=kotlin.Int value=8
|
||||
CLASS CLASS name:B modality:FINAL visibility:public superTypes:[<root>.Java1; <root>.Java2]
|
||||
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.B
|
||||
CONSTRUCTOR visibility:public <> () returnType:<root>.B [primary]
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in <root>.Java1'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:B modality:FINAL visibility:public superTypes:[<root>.Java1; <root>.Java2]'
|
||||
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <T> () returnType:@[FlexibleNullability] T of <root>.B.bar? [fake_override]
|
||||
overridden:
|
||||
public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java1.bar? declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
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 declared in <root>.Java1
|
||||
public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in <root>.Java2
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <> (t:@[FlexibleNullability] kotlin.Number?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo (t: @[FlexibleNullability] kotlin.Number?): kotlin.Unit declared in <root>.Java1
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] kotlin.Number?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <> (t:@[FlexibleNullability] kotlin.Number?, t2:@[FlexibleNullability] kotlin.Int?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo (t: @[FlexibleNullability] kotlin.Number?, t2: @[FlexibleNullability] kotlin.Int?): kotlin.Unit declared in <root>.Java1
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] kotlin.Number?
|
||||
VALUE_PARAMETER name:t2 index:1 type:@[FlexibleNullability] kotlin.Int?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.B.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.B.foo?
|
||||
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 <root>.Java1
|
||||
public open fun hashCode (): kotlin.Int declared in <root>.Java2
|
||||
$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 <root>.Java1
|
||||
public open fun toString (): kotlin.String declared in <root>.Java2
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
FUN name:test1 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.B
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test1 (): kotlin.Unit declared in <root>.B'
|
||||
CALL 'public open fun foo (t: @[FlexibleNullability] kotlin.Number?): kotlin.Unit declared in <root>.Java1' type=kotlin.Unit origin=null
|
||||
t: CONST Int type=kotlin.Int value=1
|
||||
FUN name:test2 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Int
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.B
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test2 (): kotlin.Int declared in <root>.B'
|
||||
TYPE_OP type=kotlin.Int origin=IMPLICIT_NOTNULL typeOperand=kotlin.Int
|
||||
CALL 'public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java1.bar? declared in <root>.Java1' type=@[FlexibleNullability] kotlin.Int? origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.Int?
|
||||
FUN name:test3 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.B
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test3 (): kotlin.Unit declared in <root>.B'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1' type=kotlin.Unit origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.String?
|
||||
t: CONST String type=kotlin.String value=""
|
||||
FUN name:test4 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.B
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test4 (): kotlin.Unit declared in <root>.B'
|
||||
CALL 'public open fun foo (t: @[FlexibleNullability] kotlin.Number?): kotlin.Unit declared in <root>.Java1' type=kotlin.Unit origin=null
|
||||
t: CONST Double type=kotlin.Double value=1.5
|
||||
FUN name:test5 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.B
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test5 (): kotlin.Unit declared in <root>.B'
|
||||
CALL 'public open fun foo (t: @[FlexibleNullability] kotlin.Number?, t2: @[FlexibleNullability] kotlin.Int?): kotlin.Unit declared in <root>.Java1' type=kotlin.Unit origin=null
|
||||
t: CONST Double type=kotlin.Double value=1.5
|
||||
t2: CONST Int type=kotlin.Int value=8
|
||||
CLASS INTERFACE name:KotlinInterface modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
|
||||
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.KotlinInterface
|
||||
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 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:bar visibility:public modality:OPEN <T> ($this:<root>.KotlinInterface) returnType:T of <root>.KotlinInterface.bar
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public open fun bar <T> (): T of <root>.KotlinInterface.bar declared in <root>.KotlinInterface'
|
||||
CALL 'public final fun CHECK_NOT_NULL <T0> (arg0: T0 of kotlin.internal.ir.CHECK_NOT_NULL?): {T0 of kotlin.internal.ir.CHECK_NOT_NULL & Any} declared in kotlin.internal.ir' type=kotlin.Nothing origin=EXCLEXCL
|
||||
<T0>: kotlin.Nothing
|
||||
arg0: CONST Null type=kotlin.Nothing? value=null
|
||||
FUN name:foo visibility:public modality:OPEN <> ($this:<root>.KotlinInterface, t:kotlin.Number) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
VALUE_PARAMETER name:t index:0 type:kotlin.Number
|
||||
BLOCK_BODY
|
||||
FUN name:foo visibility:public modality:OPEN <> ($this:<root>.KotlinInterface, t:kotlin.Number, t2:kotlin.Int) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
VALUE_PARAMETER name:t index:0 type:kotlin.Number
|
||||
VALUE_PARAMETER name:t2 index:1 type:kotlin.Int
|
||||
EXPRESSION_BODY
|
||||
CONST Int type=kotlin.Int value=7
|
||||
BLOCK_BODY
|
||||
FUN name:foo visibility:public modality:OPEN <T> ($this:<root>.KotlinInterface, t:T of <root>.KotlinInterface.foo) returnType:kotlin.Unit
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
|
||||
VALUE_PARAMETER name:t index:0 type:T of <root>.KotlinInterface.foo
|
||||
BLOCK_BODY
|
||||
FUN name:test visibility:public modality:FINAL <> (a:<root>.A, b:<root>.B) returnType:kotlin.Unit
|
||||
VALUE_PARAMETER name:a index:0 type:<root>.A
|
||||
VALUE_PARAMETER name:b index:1 type:<root>.B
|
||||
BLOCK_BODY
|
||||
CALL 'public final fun test1 (): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
|
||||
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
|
||||
CALL 'public final fun test2 (): kotlin.Int declared in <root>.A' type=kotlin.Int origin=null
|
||||
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
|
||||
CALL 'public final fun test3 (): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
|
||||
CALL 'public final fun test4 (): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
|
||||
CALL 'public final fun test5 (): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
|
||||
CALL 'public final fun test1 (): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
|
||||
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
|
||||
CALL 'public final fun test2 (): kotlin.Int declared in <root>.B' type=kotlin.Int origin=null
|
||||
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
|
||||
CALL 'public final fun test3 (): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
|
||||
CALL 'public final fun test4 (): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
|
||||
CALL 'public final fun test5 (): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
|
||||
+61
@@ -0,0 +1,61 @@
|
||||
// FIR_IDENTICAL
|
||||
// TARGET_BACKEND: JVM
|
||||
|
||||
// FILE: Java1.java
|
||||
public class Java1 {
|
||||
public static <T> void foo(T t) {}
|
||||
public static <T> T bar() {
|
||||
return null;
|
||||
}
|
||||
public static void foo(Number t) {}
|
||||
public static void foo(Number t, Integer t2) {}
|
||||
}
|
||||
|
||||
// FILE: Java2.java
|
||||
public interface Java2 {
|
||||
static <T> void foo(T t) {}
|
||||
static <T> T bar() {
|
||||
return null;
|
||||
}
|
||||
static void foo(int t) {}
|
||||
static void foo(int t, int t2) {}
|
||||
}
|
||||
|
||||
// FILE: 1.kt
|
||||
class A : Java1(), KotlinInterface {
|
||||
fun test1() = foo(1)
|
||||
fun test2(): Int = bar()
|
||||
fun test3() = foo("")
|
||||
fun test4() = foo(1.5)
|
||||
fun test5() = foo(1.5, 8)
|
||||
}
|
||||
|
||||
class B : Java1(), Java2 {
|
||||
fun test1() = foo(1)
|
||||
fun test2(): Int = bar()
|
||||
fun test3() = foo("")
|
||||
fun test4() = foo(1.5)
|
||||
fun test5() = foo(1.5, 8)
|
||||
}
|
||||
|
||||
interface KotlinInterface {
|
||||
fun <T> foo(t: T) {}
|
||||
fun <T> bar(): T {
|
||||
return null!!
|
||||
}
|
||||
fun foo(t: Number) {}
|
||||
fun foo(t: Number, t2: Int = 7) {}
|
||||
}
|
||||
|
||||
fun test(a: A, b: B) {
|
||||
a.test1()
|
||||
a.test2()
|
||||
a.test3()
|
||||
a.test4()
|
||||
a.test5()
|
||||
b.test1()
|
||||
b.test2()
|
||||
b.test3()
|
||||
b.test4()
|
||||
b.test5()
|
||||
}
|
||||
Vendored
+86
@@ -0,0 +1,86 @@
|
||||
class A : Java1, KotlinInterface {
|
||||
constructor() /* primary */ {
|
||||
super/*Java1*/()
|
||||
/* <init>() */
|
||||
|
||||
}
|
||||
|
||||
fun test1() {
|
||||
return <this>.foo(t = 1)
|
||||
}
|
||||
|
||||
fun test2(): Int {
|
||||
return <this>.bar<Int>()
|
||||
}
|
||||
|
||||
fun test3() {
|
||||
return <this>.foo<String>(t = "")
|
||||
}
|
||||
|
||||
fun test4() {
|
||||
return <this>.foo(t = 1.5)
|
||||
}
|
||||
|
||||
fun test5() {
|
||||
return <this>.foo(t = 1.5, t2 = 8)
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
class B : Java1, Java2 {
|
||||
constructor() /* primary */ {
|
||||
super/*Java1*/()
|
||||
/* <init>() */
|
||||
|
||||
}
|
||||
|
||||
fun test1() {
|
||||
return foo(t = 1)
|
||||
}
|
||||
|
||||
fun test2(): Int {
|
||||
return bar<@FlexibleNullability Int?>() /*!! Int */
|
||||
}
|
||||
|
||||
fun test3() {
|
||||
return foo<@FlexibleNullability String?>(t = "")
|
||||
}
|
||||
|
||||
fun test4() {
|
||||
return foo(t = 1.5)
|
||||
}
|
||||
|
||||
fun test5() {
|
||||
return foo(t = 1.5, t2 = 8)
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
interface KotlinInterface {
|
||||
fun <T : Any?> bar(): T {
|
||||
return CHECK_NOT_NULL<Nothing>(arg0 = null)
|
||||
}
|
||||
|
||||
fun foo(t: Number) {
|
||||
}
|
||||
|
||||
fun foo(t: Number, t2: Int = 7) {
|
||||
}
|
||||
|
||||
fun <T : Any?> foo(t: T) {
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
fun test(a: A, b: B) {
|
||||
a.test1()
|
||||
a.test2() /*~> Unit */
|
||||
a.test3()
|
||||
a.test4()
|
||||
a.test5()
|
||||
b.test1()
|
||||
b.test2() /*~> Unit */
|
||||
b.test3()
|
||||
b.test4()
|
||||
b.test5()
|
||||
}
|
||||
Vendored
+143
@@ -0,0 +1,143 @@
|
||||
// CHECK:
|
||||
// Mangled name: A
|
||||
// Public signature: /A|null[0]
|
||||
class A : Java1, KotlinInterface {
|
||||
// CHECK:
|
||||
// Mangled name: A#<init>(){}
|
||||
// Public signature: /A.<init>|-5645683436151566731[0]
|
||||
// Public signature debug description: <init>(){}
|
||||
constructor() /* primary */
|
||||
|
||||
// CHECK JVM_IR:
|
||||
// Mangled name: A#bar(){0§<kotlin.Any?>}0:0
|
||||
// Public signature: /A.bar|-3730887172686175993[0]
|
||||
// Public signature debug description: bar(){0§<kotlin.Any?>}0:0
|
||||
/* fake */ override fun <T : Any?> bar(): T
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: A#foo(kotlin.Number){}
|
||||
// Public signature: /A.foo|97687418835402471[0]
|
||||
// Public signature debug description: foo(kotlin.Number){}
|
||||
/* fake */ override fun foo(t: Number): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: A#foo(kotlin.Number;kotlin.Int){}
|
||||
// Public signature: /A.foo|-582544100250830393[0]
|
||||
// Public signature debug description: foo(kotlin.Number;kotlin.Int){}
|
||||
/* fake */ override fun foo(t: Number, t2: Int): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: A#foo(0:0){0§<kotlin.Any?>}
|
||||
// Public signature: /A.foo|-6838606926256314363[0]
|
||||
// Public signature debug description: foo(0:0){0§<kotlin.Any?>}
|
||||
/* fake */ override fun <T : Any?> foo(t: T): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: A#test1(){}
|
||||
// Public signature: /A.test1|4297044443957252634[0]
|
||||
// Public signature debug description: test1(){}
|
||||
fun test1(): Unit
|
||||
|
||||
// CHECK JVM_IR:
|
||||
// Mangled name: A#test2(){}kotlin.Int
|
||||
// Public signature: /A.test2|5542371834528279174[0]
|
||||
// Public signature debug description: test2(){}kotlin.Int
|
||||
fun test2(): Int
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: A#test3(){}
|
||||
// Public signature: /A.test3|-3759735065270951803[0]
|
||||
// Public signature debug description: test3(){}
|
||||
fun test3(): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: A#test4(){}
|
||||
// Public signature: /A.test4|5588455914500386239[0]
|
||||
// Public signature debug description: test4(){}
|
||||
fun test4(): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: A#test5(){}
|
||||
// Public signature: /A.test5|-2461239215881954159[0]
|
||||
// Public signature debug description: test5(){}
|
||||
fun test5(): Unit
|
||||
|
||||
}
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: B
|
||||
// Public signature: /B|null[0]
|
||||
class B : Java1, Java2 {
|
||||
// CHECK:
|
||||
// Mangled name: B#<init>(){}
|
||||
// Public signature: /B.<init>|-5645683436151566731[0]
|
||||
// Public signature debug description: <init>(){}
|
||||
constructor() /* primary */
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: B#test1(){}
|
||||
// Public signature: /B.test1|4297044443957252634[0]
|
||||
// Public signature debug description: test1(){}
|
||||
fun test1(): Unit
|
||||
|
||||
// CHECK JVM_IR:
|
||||
// Mangled name: B#test2(){}kotlin.Int
|
||||
// Public signature: /B.test2|5542371834528279174[0]
|
||||
// Public signature debug description: test2(){}kotlin.Int
|
||||
fun test2(): Int
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: B#test3(){}
|
||||
// Public signature: /B.test3|-3759735065270951803[0]
|
||||
// Public signature debug description: test3(){}
|
||||
fun test3(): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: B#test4(){}
|
||||
// Public signature: /B.test4|5588455914500386239[0]
|
||||
// Public signature debug description: test4(){}
|
||||
fun test4(): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: B#test5(){}
|
||||
// Public signature: /B.test5|-2461239215881954159[0]
|
||||
// Public signature debug description: test5(){}
|
||||
fun test5(): Unit
|
||||
|
||||
}
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: KotlinInterface
|
||||
// Public signature: /KotlinInterface|null[0]
|
||||
interface KotlinInterface {
|
||||
// CHECK JVM_IR:
|
||||
// Mangled name: KotlinInterface#bar(){0§<kotlin.Any?>}0:0
|
||||
// Public signature: /KotlinInterface.bar|-3730887172686175993[0]
|
||||
// Public signature debug description: bar(){0§<kotlin.Any?>}0:0
|
||||
fun <T : Any?> bar(): T
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: KotlinInterface#foo(kotlin.Number){}
|
||||
// Public signature: /KotlinInterface.foo|97687418835402471[0]
|
||||
// Public signature debug description: foo(kotlin.Number){}
|
||||
fun foo(t: Number): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: KotlinInterface#foo(kotlin.Number;kotlin.Int){}
|
||||
// Public signature: /KotlinInterface.foo|-582544100250830393[0]
|
||||
// Public signature debug description: foo(kotlin.Number;kotlin.Int){}
|
||||
fun foo(t: Number, t2: Int): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: KotlinInterface#foo(0:0){0§<kotlin.Any?>}
|
||||
// Public signature: /KotlinInterface.foo|-6838606926256314363[0]
|
||||
// Public signature debug description: foo(0:0){0§<kotlin.Any?>}
|
||||
fun <T : Any?> foo(t: T): Unit
|
||||
|
||||
}
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: #test(A;B){}
|
||||
// Public signature: /test|-2533013708701322011[0]
|
||||
// Public signature debug description: test(A;B){}
|
||||
fun test(a: A, b: B): Unit
|
||||
+214
@@ -0,0 +1,214 @@
|
||||
FILE fqName:<root> fileName:/1.kt
|
||||
CLASS CLASS name:A modality:OPEN visibility:public superTypes:[<root>.Java1]
|
||||
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.A
|
||||
CONSTRUCTOR visibility:public <> () returnType:<root>.A [primary]
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in <root>.Java1'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:A modality:OPEN visibility:public superTypes:[<root>.Java1]'
|
||||
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <T> () returnType:@[FlexibleNullability] T of <root>.A.bar? [fake_override]
|
||||
overridden:
|
||||
public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java1.bar? declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
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 declared in <root>.Java1
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <> (t:@[FlexibleNullability] kotlin.Number?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo (t: @[FlexibleNullability] kotlin.Number?): kotlin.Unit declared in <root>.Java1
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] kotlin.Number?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <> (t:@[FlexibleNullability] kotlin.Number?, t2:@[FlexibleNullability] kotlin.Int?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo (t: @[FlexibleNullability] kotlin.Number?, t2: @[FlexibleNullability] kotlin.Int?): kotlin.Unit declared in <root>.Java1
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] kotlin.Number?
|
||||
VALUE_PARAMETER name:t2 index:1 type:@[FlexibleNullability] kotlin.Int?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.A.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.A.foo?
|
||||
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 <root>.Java1
|
||||
$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 <root>.Java1
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
FUN name:test1 visibility:public modality:OPEN <> ($this:<root>.A) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.A
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public open fun test1 (): kotlin.Unit declared in <root>.A'
|
||||
CALL 'public open fun foo (t: @[FlexibleNullability] kotlin.Number?): kotlin.Unit declared in <root>.Java1' type=kotlin.Unit origin=null
|
||||
t: CONST Int type=kotlin.Int value=1
|
||||
FUN name:test2 visibility:public modality:OPEN <> ($this:<root>.A) returnType:kotlin.Int
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.A
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public open fun test2 (): kotlin.Int declared in <root>.A'
|
||||
TYPE_OP type=kotlin.Int origin=IMPLICIT_NOTNULL typeOperand=kotlin.Int
|
||||
CALL 'public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java1.bar? declared in <root>.Java1' type=@[FlexibleNullability] kotlin.Int? origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.Int?
|
||||
FUN name:test3 visibility:public modality:OPEN <> ($this:<root>.A) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.A
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public open fun test3 (): kotlin.Unit declared in <root>.A'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1' type=kotlin.Unit origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.String?
|
||||
t: CONST String type=kotlin.String value=""
|
||||
FUN name:test4 visibility:public modality:OPEN <> ($this:<root>.A) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.A
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public open fun test4 (): kotlin.Unit declared in <root>.A'
|
||||
CALL 'public open fun foo (t: @[FlexibleNullability] kotlin.Number?, t2: @[FlexibleNullability] kotlin.Int?): kotlin.Unit declared in <root>.Java1' type=kotlin.Unit origin=null
|
||||
t: CONST Int type=kotlin.Int value=1
|
||||
t2: CONST Int type=kotlin.Int value=1
|
||||
CLASS CLASS name:B modality:FINAL visibility:public superTypes:[<root>.Java2]
|
||||
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.B
|
||||
CONSTRUCTOR visibility:public <> () returnType:<root>.B [primary]
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in <root>.Java2'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:B modality:FINAL visibility:public superTypes:[<root>.Java2]'
|
||||
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <T> () returnType:@[FlexibleNullability] T of <root>.B.bar? [fake_override]
|
||||
overridden:
|
||||
public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java2.bar? declared in <root>.Java2
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
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 declared in <root>.Java2
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <> (t:@[FlexibleNullability] kotlin.Number?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo (t: @[FlexibleNullability] kotlin.Number?): kotlin.Unit declared in <root>.Java2
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] kotlin.Number?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <> (t:@[FlexibleNullability] kotlin.Number?, t2:@[FlexibleNullability] kotlin.Int?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo (t: @[FlexibleNullability] kotlin.Number?, t2: @[FlexibleNullability] kotlin.Int?): kotlin.Unit declared in <root>.Java2
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] kotlin.Number?
|
||||
VALUE_PARAMETER name:t2 index:1 type:@[FlexibleNullability] kotlin.Int?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.B.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java2.foo?): kotlin.Unit declared in <root>.Java2
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.B.foo?
|
||||
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 <root>.Java2
|
||||
$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 <root>.Java2
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
FUN name:test1 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.B
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test1 (): kotlin.Unit declared in <root>.B'
|
||||
CALL 'public open fun foo (t: @[FlexibleNullability] kotlin.Number?): kotlin.Unit declared in <root>.Java2' type=kotlin.Unit origin=null
|
||||
t: CONST Int type=kotlin.Int value=1
|
||||
FUN name:test2 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Int
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.B
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test2 (): kotlin.Int declared in <root>.B'
|
||||
TYPE_OP type=kotlin.Int origin=IMPLICIT_NOTNULL typeOperand=kotlin.Int
|
||||
CALL 'public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java2.bar? declared in <root>.Java2' type=@[FlexibleNullability] kotlin.Int? origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.Int?
|
||||
FUN name:test3 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.B
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test3 (): kotlin.Unit declared in <root>.B'
|
||||
CALL 'public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java2.foo?): kotlin.Unit declared in <root>.Java2' type=kotlin.Unit origin=null
|
||||
<T>: @[FlexibleNullability] kotlin.String?
|
||||
t: CONST String type=kotlin.String value=""
|
||||
FUN name:test4 visibility:public modality:FINAL <> ($this:<root>.B) returnType:kotlin.Unit
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.B
|
||||
BLOCK_BODY
|
||||
RETURN type=kotlin.Nothing from='public final fun test4 (): kotlin.Unit declared in <root>.B'
|
||||
CALL 'public open fun foo (t: @[FlexibleNullability] kotlin.Number?, t2: @[FlexibleNullability] kotlin.Int?): kotlin.Unit declared in <root>.Java2' type=kotlin.Unit origin=null
|
||||
t: CONST Int type=kotlin.Int value=1
|
||||
t2: CONST Int type=kotlin.Int value=1
|
||||
CLASS CLASS name:C modality:FINAL visibility:public superTypes:[<root>.Java3]
|
||||
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.C
|
||||
CONSTRUCTOR visibility:public <> () returnType:<root>.C [primary]
|
||||
BLOCK_BODY
|
||||
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in <root>.Java3'
|
||||
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:C modality:FINAL visibility:public superTypes:[<root>.Java3]'
|
||||
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <T> () returnType:@[FlexibleNullability] T of <root>.C.bar? [fake_override]
|
||||
overridden:
|
||||
public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java3.bar? declared in <root>.Java3
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
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 declared in <root>.Java3
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <> (t:@[FlexibleNullability] kotlin.Number?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo (t: @[FlexibleNullability] kotlin.Number?): kotlin.Unit declared in <root>.Java3
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] kotlin.Number?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <> (t:@[FlexibleNullability] kotlin.Number?, t2:@[FlexibleNullability] kotlin.Int?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo (t: @[FlexibleNullability] kotlin.Number?, t2: @[FlexibleNullability] kotlin.Int?): kotlin.Unit declared in <root>.Java3
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] kotlin.Number?
|
||||
VALUE_PARAMETER name:t2 index:1 type:@[FlexibleNullability] kotlin.Int?
|
||||
FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN <T> (t:@[FlexibleNullability] T of <root>.C.foo?) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun foo <T> (t: @[FlexibleNullability] T of <root>.Java3.foo?): kotlin.Unit declared in <root>.Java3
|
||||
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
|
||||
VALUE_PARAMETER name:t index:0 type:@[FlexibleNullability] T of <root>.C.foo?
|
||||
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 <root>.Java3
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
FUN FAKE_OVERRIDE name:test1 visibility:public modality:OPEN <> ($this:<root>.A) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun test1 (): kotlin.Unit declared in <root>.Java3
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.A
|
||||
FUN FAKE_OVERRIDE name:test2 visibility:public modality:OPEN <> ($this:<root>.A) returnType:kotlin.Int [fake_override]
|
||||
overridden:
|
||||
public open fun test2 (): kotlin.Int declared in <root>.Java3
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.A
|
||||
FUN FAKE_OVERRIDE name:test3 visibility:public modality:OPEN <> ($this:<root>.A) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun test3 (): kotlin.Unit declared in <root>.Java3
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.A
|
||||
FUN FAKE_OVERRIDE name:test4 visibility:public modality:OPEN <> ($this:<root>.A) returnType:kotlin.Unit [fake_override]
|
||||
overridden:
|
||||
public open fun test4 (): kotlin.Unit declared in <root>.Java3
|
||||
$this: VALUE_PARAMETER name:<this> type:<root>.A
|
||||
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 <root>.Java3
|
||||
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||
FUN name:test visibility:public modality:FINAL <> (a:<root>.A, b:<root>.B, c:<root>.C) returnType:kotlin.Unit
|
||||
VALUE_PARAMETER name:a index:0 type:<root>.A
|
||||
VALUE_PARAMETER name:b index:1 type:<root>.B
|
||||
VALUE_PARAMETER name:c index:2 type:<root>.C
|
||||
BLOCK_BODY
|
||||
CALL 'public open fun test1 (): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
|
||||
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
|
||||
CALL 'public open fun test2 (): kotlin.Int declared in <root>.A' type=kotlin.Int origin=null
|
||||
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
|
||||
CALL 'public open fun test3 (): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
|
||||
CALL 'public open fun test4 (): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
|
||||
CALL 'public final fun test1 (): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
|
||||
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
|
||||
CALL 'public final fun test2 (): kotlin.Int declared in <root>.B' type=kotlin.Int origin=null
|
||||
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
|
||||
CALL 'public final fun test3 (): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
|
||||
CALL 'public final fun test4 (): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
|
||||
CALL 'public open fun test1 (): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
|
||||
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
|
||||
CALL 'public open fun test2 (): kotlin.Int declared in <root>.C' type=kotlin.Int origin=null
|
||||
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
|
||||
CALL 'public open fun test3 (): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
|
||||
CALL 'public open fun test4 (): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
|
||||
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
|
||||
+52
@@ -0,0 +1,52 @@
|
||||
// FIR_IDENTICAL
|
||||
// TARGET_BACKEND: JVM
|
||||
|
||||
// FILE: Java1.java
|
||||
public class Java1 {
|
||||
public static <T> void foo(T t) {}
|
||||
public static <T> T bar() {
|
||||
return null;
|
||||
}
|
||||
public static void foo(Number t) {}
|
||||
public static void foo(Number t, Integer t2) {}
|
||||
}
|
||||
|
||||
// FILE: Java2.java
|
||||
public class Java2 extends Java1 { }
|
||||
|
||||
// FILE: Java3.java
|
||||
public class Java3 extends A { }
|
||||
|
||||
// FILE: 1.kt
|
||||
|
||||
open class A : Java1() {
|
||||
open fun test1() = foo(1)
|
||||
open fun test2(): Int = bar()
|
||||
open fun test3() = foo("")
|
||||
open fun test4() = foo(1, 1)
|
||||
}
|
||||
|
||||
class B: Java2() { // Kotlin ← Java1 ← Java2
|
||||
fun test1() = foo(1)
|
||||
fun test2(): Int = bar()
|
||||
fun test3() = foo("")
|
||||
fun test4() = foo(1, 1)
|
||||
}
|
||||
|
||||
class C : Java3() //Kotlin ← Java ← Kotlin ← Java
|
||||
|
||||
|
||||
fun test(a: A, b: B, c: C) {
|
||||
a.test1()
|
||||
a.test2()
|
||||
a.test3()
|
||||
a.test4()
|
||||
b.test1()
|
||||
b.test2()
|
||||
b.test3()
|
||||
b.test4()
|
||||
c.test1()
|
||||
c.test2()
|
||||
c.test3()
|
||||
c.test4()
|
||||
}
|
||||
+73
@@ -0,0 +1,73 @@
|
||||
open class A : Java1 {
|
||||
constructor() /* primary */ {
|
||||
super/*Java1*/()
|
||||
/* <init>() */
|
||||
|
||||
}
|
||||
|
||||
open fun test1() {
|
||||
return foo(t = 1)
|
||||
}
|
||||
|
||||
open fun test2(): Int {
|
||||
return bar<@FlexibleNullability Int?>() /*!! Int */
|
||||
}
|
||||
|
||||
open fun test3() {
|
||||
return foo<@FlexibleNullability String?>(t = "")
|
||||
}
|
||||
|
||||
open fun test4() {
|
||||
return foo(t = 1, t2 = 1)
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
class B : Java2 {
|
||||
constructor() /* primary */ {
|
||||
super/*Java2*/()
|
||||
/* <init>() */
|
||||
|
||||
}
|
||||
|
||||
fun test1() {
|
||||
return foo(t = 1)
|
||||
}
|
||||
|
||||
fun test2(): Int {
|
||||
return bar<@FlexibleNullability Int?>() /*!! Int */
|
||||
}
|
||||
|
||||
fun test3() {
|
||||
return foo<@FlexibleNullability String?>(t = "")
|
||||
}
|
||||
|
||||
fun test4() {
|
||||
return foo(t = 1, t2 = 1)
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
class C : Java3 {
|
||||
constructor() /* primary */ {
|
||||
super/*Java3*/()
|
||||
/* <init>() */
|
||||
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
fun test(a: A, b: B, c: C) {
|
||||
a.test1()
|
||||
a.test2() /*~> Unit */
|
||||
a.test3()
|
||||
a.test4()
|
||||
b.test1()
|
||||
b.test2() /*~> Unit */
|
||||
b.test3()
|
||||
b.test4()
|
||||
c.test1()
|
||||
c.test2() /*~> Unit */
|
||||
c.test3()
|
||||
c.test4()
|
||||
}
|
||||
+113
@@ -0,0 +1,113 @@
|
||||
// CHECK:
|
||||
// Mangled name: A
|
||||
// Public signature: /A|null[0]
|
||||
open class A : Java1 {
|
||||
// CHECK:
|
||||
// Mangled name: A#<init>(){}
|
||||
// Public signature: /A.<init>|-5645683436151566731[0]
|
||||
// Public signature debug description: <init>(){}
|
||||
constructor() /* primary */
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: A#test1(){}
|
||||
// Public signature: /A.test1|4297044443957252634[0]
|
||||
// Public signature debug description: test1(){}
|
||||
open fun test1(): Unit
|
||||
|
||||
// CHECK JVM_IR:
|
||||
// Mangled name: A#test2(){}kotlin.Int
|
||||
// Public signature: /A.test2|5542371834528279174[0]
|
||||
// Public signature debug description: test2(){}kotlin.Int
|
||||
open fun test2(): Int
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: A#test3(){}
|
||||
// Public signature: /A.test3|-3759735065270951803[0]
|
||||
// Public signature debug description: test3(){}
|
||||
open fun test3(): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: A#test4(){}
|
||||
// Public signature: /A.test4|5588455914500386239[0]
|
||||
// Public signature debug description: test4(){}
|
||||
open fun test4(): Unit
|
||||
|
||||
}
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: B
|
||||
// Public signature: /B|null[0]
|
||||
class B : Java2 {
|
||||
// CHECK:
|
||||
// Mangled name: B#<init>(){}
|
||||
// Public signature: /B.<init>|-5645683436151566731[0]
|
||||
// Public signature debug description: <init>(){}
|
||||
constructor() /* primary */
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: B#test1(){}
|
||||
// Public signature: /B.test1|4297044443957252634[0]
|
||||
// Public signature debug description: test1(){}
|
||||
fun test1(): Unit
|
||||
|
||||
// CHECK JVM_IR:
|
||||
// Mangled name: B#test2(){}kotlin.Int
|
||||
// Public signature: /B.test2|5542371834528279174[0]
|
||||
// Public signature debug description: test2(){}kotlin.Int
|
||||
fun test2(): Int
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: B#test3(){}
|
||||
// Public signature: /B.test3|-3759735065270951803[0]
|
||||
// Public signature debug description: test3(){}
|
||||
fun test3(): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: B#test4(){}
|
||||
// Public signature: /B.test4|5588455914500386239[0]
|
||||
// Public signature debug description: test4(){}
|
||||
fun test4(): Unit
|
||||
|
||||
}
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: C
|
||||
// Public signature: /C|null[0]
|
||||
class C : Java3 {
|
||||
// CHECK:
|
||||
// Mangled name: C#<init>(){}
|
||||
// Public signature: /C.<init>|-5645683436151566731[0]
|
||||
// Public signature debug description: <init>(){}
|
||||
constructor() /* primary */
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: C#test1(){}
|
||||
// Public signature: /C.test1|4297044443957252634[0]
|
||||
// Public signature debug description: test1(){}
|
||||
/* fake */ override fun test1(): Unit
|
||||
|
||||
// CHECK JVM_IR:
|
||||
// Mangled name: C#test2(){}kotlin.Int
|
||||
// Public signature: /C.test2|5542371834528279174[0]
|
||||
// Public signature debug description: test2(){}kotlin.Int
|
||||
/* fake */ override fun test2(): Int
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: C#test3(){}
|
||||
// Public signature: /C.test3|-3759735065270951803[0]
|
||||
// Public signature debug description: test3(){}
|
||||
/* fake */ override fun test3(): Unit
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: C#test4(){}
|
||||
// Public signature: /C.test4|5588455914500386239[0]
|
||||
// Public signature debug description: test4(){}
|
||||
/* fake */ override fun test4(): Unit
|
||||
|
||||
}
|
||||
|
||||
// CHECK:
|
||||
// Mangled name: #test(A;B;C){}
|
||||
// Public signature: /test|-4981009800298118531[0]
|
||||
// Public signature debug description: test(A;B;C){}
|
||||
fun test(a: A, b: B, c: C): Unit
|
||||
+18
@@ -3361,6 +3361,18 @@ public class ClassicJvmIrTextTestGenerated extends AbstractClassicJvmIrTextTest
|
||||
runTest("compiler/testData/ir/irText/fakeOverrides/javastatic/intersectionOverrideOnStaticKJK.kt");
|
||||
}
|
||||
|
||||
@Test
|
||||
@TestMetadata("intersectionWithGenericOnComplexHierarchy.kt")
|
||||
public void testIntersectionWithGenericOnComplexHierarchy() {
|
||||
runTest("compiler/testData/ir/irText/fakeOverrides/javastatic/intersectionWithGenericOnComplexHierarchy.kt");
|
||||
}
|
||||
|
||||
@Test
|
||||
@TestMetadata("intersectionWithGenericOverride.kt")
|
||||
public void testIntersectionWithGenericOverride() {
|
||||
runTest("compiler/testData/ir/irText/fakeOverrides/javastatic/intersectionWithGenericOverride.kt");
|
||||
}
|
||||
|
||||
@Test
|
||||
@TestMetadata("staticOverrideOnComplexHierarchy.kt")
|
||||
public void testStaticOverrideOnComplexHierarchy() {
|
||||
@@ -3390,6 +3402,12 @@ public class ClassicJvmIrTextTestGenerated extends AbstractClassicJvmIrTextTest
|
||||
public void testStaticOverrideOnKJKJ() {
|
||||
runTest("compiler/testData/ir/irText/fakeOverrides/javastatic/staticOverrideOnKJKJ.kt");
|
||||
}
|
||||
|
||||
@Test
|
||||
@TestMetadata("substitutionStaticOverride.kt")
|
||||
public void testSubstitutionStaticOverride() {
|
||||
runTest("compiler/testData/ir/irText/fakeOverrides/javastatic/substitutionStaticOverride.kt");
|
||||
}
|
||||
}
|
||||
|
||||
@Nested
|
||||
|
||||
Reference in New Issue
Block a user