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

Fix test data for IR fake override tests

Browse Source
This commit is contained in:
Mikhail Glukhikh
2024-03-05 16:47:31 +01:00
committed by Space Team
parent 266669272d
commit 60f9206d3b
36 changed files with 101 additions and 1468 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/ir/irText/fakeOverrides/collections/list/intersectionListOverrideKJK.fir.ir.txt
Vendored
+1 -1
View File
@@ -1291,7 +1291,7 @@ FILE fqName:<root> fileName:/1.kt
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
p0: CONST Int type=kotlin.Int value=0
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CALL 'public open fun remove (): @[FlexibleNullability] kotlin.Int? declared in <root>.C' type=@[FlexibleNullability] kotlin.Int? origin=null
CALL 'public open fun remove (): @[FlexibleNullability] 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
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CALL 'public open fun removeAt (p0: kotlin.Int): @[EnhancedNullability] kotlin.Int? declared in <root>.C' type=@[EnhancedNullability] kotlin.Int? origin=null
compiler/testData/ir/irText/fakeOverrides/collections/list/listOverrideOnComplexHierarchy.fir.ir.txt
Vendored
+8 -8
View File
@@ -1325,15 +1325,15 @@ FILE fqName:<root> fileName:/1.kt
$this: VALUE_PARAMETER name:<this> type:kotlin.collections.MutableList<kotlin.Any?>
VALUE_PARAMETER name:fromIndex index:0 type:kotlin.Int
VALUE_PARAMETER name:toIndex index:1 type:kotlin.Int
FUN FAKE_OVERRIDE name:toArray visibility:public modality:OPEN <> ($this:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Any?>) returnType:@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] kotlin.Any?>? [fake_override]
FUN FAKE_OVERRIDE name:toArray visibility:public modality:OPEN <> ($this:java.util.AbstractCollection<kotlin.Any?>) returnType:@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] kotlin.Any?>? [fake_override]
overridden:
public open fun toArray (): @[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] kotlin.Any?>? declared in <root>.Java1
$this: VALUE_PARAMETER name:<this> type:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Any?>
FUN FAKE_OVERRIDE name:toArray visibility:public modality:OPEN <T> ($this:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Any?>, p0:@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] kotlin.Any?>?) returnType:@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] kotlin.Any?>? [fake_override]
$this: VALUE_PARAMETER name:<this> type:java.util.AbstractCollection<kotlin.Any?>
FUN FAKE_OVERRIDE name:toArray visibility:public modality:OPEN <T> ($this:java.util.AbstractCollection<kotlin.Any?>, p0:@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] kotlin.Any?>?) returnType:@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] kotlin.Any?>? [fake_override]
overridden:
public open fun toArray <T> (p0: @[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] kotlin.Any?>?): @[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] kotlin.Any?>? declared in <root>.Java1
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
$this: VALUE_PARAMETER name:<this> type:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Any?>
$this: VALUE_PARAMETER name:<this> type:java.util.AbstractCollection<kotlin.Any?>
VALUE_PARAMETER name:p0 index:0 type:@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] kotlin.Any?>?
FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
overridden:
@@ -1501,15 +1501,15 @@ FILE fqName:<root> fileName:/1.kt
$this: VALUE_PARAMETER name:<this> type:kotlin.collections.MutableList<kotlin.Any?>
VALUE_PARAMETER name:fromIndex index:0 type:kotlin.Int
VALUE_PARAMETER name:toIndex index:1 type:kotlin.Int
FUN FAKE_OVERRIDE name:toArray visibility:public modality:OPEN <> ($this:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Any?>) returnType:@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] kotlin.Any?>? [fake_override]
FUN FAKE_OVERRIDE name:toArray visibility:public modality:OPEN <> ($this:java.util.AbstractCollection<kotlin.Any?>) returnType:@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] kotlin.Any?>? [fake_override]
overridden:
public open fun toArray (): @[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] kotlin.Any?>? declared in <root>.E
$this: VALUE_PARAMETER name:<this> type:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Any?>
FUN FAKE_OVERRIDE name:toArray visibility:public modality:OPEN <T> ($this:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Any?>, p0:@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] kotlin.Any?>?) returnType:@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] kotlin.Any?>? [fake_override]
$this: VALUE_PARAMETER name:<this> type:java.util.AbstractCollection<kotlin.Any?>
FUN FAKE_OVERRIDE name:toArray visibility:public modality:OPEN <T> ($this:java.util.AbstractCollection<kotlin.Any?>, p0:@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] kotlin.Any?>?) returnType:@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] kotlin.Any?>? [fake_override]
overridden:
public open fun toArray <T> (p0: @[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] kotlin.Any?>?): @[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] kotlin.Any?>? declared in <root>.E
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
$this: VALUE_PARAMETER name:<this> type:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Any?>
$this: VALUE_PARAMETER name:<this> type:java.util.AbstractCollection<kotlin.Any?>
VALUE_PARAMETER name:p0 index:0 type:@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] kotlin.Any?>?
FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
overridden:
compiler/testData/ir/irText/fakeOverrides/collections/list/substitutionListOverrideKJJ.fir.ir.txt
Vendored
+1 -1
View File
@@ -437,7 +437,7 @@ FILE fqName:<root> fileName:/1.kt
p0: CONST Int type=kotlin.Int value=2
p1: CONST Int type=kotlin.Int value=2
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CALL 'public open fun get (p0: kotlin.Int): @[FlexibleNullability] @[EnhancedNullability] T of <root>.B? declared in <root>.B' type=@[EnhancedNullability] @[FlexibleNullability] kotlin.Int? origin=null
CALL 'public open fun get (p0: kotlin.Int): @[FlexibleNullability] @[EnhancedNullability] T of <root>.B? declared in <root>.B' type=@[EnhancedNullability] kotlin.Int? origin=null
$this: GET_VAR 'b: <root>.B<kotlin.Int?> declared in <root>.test' type=<root>.B<kotlin.Int?> origin=null
p0: CONST Int type=kotlin.Int value=1
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
compiler/testData/ir/irText/fakeOverrides/collections/list/substitutionListOverrideKJK.fir.ir.txt
Vendored
+2 -2
View File
@@ -394,7 +394,7 @@ FILE fqName:<root> fileName:/1.kt
$this: GET_VAR 'a: <root>.A<kotlin.Int?> declared in <root>.test' type=<root>.A<kotlin.Int?> origin=null
element: CONST Null type=kotlin.Nothing? value=null
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CALL 'public open fun get (index: kotlin.Int): @[FlexibleNullability] T of <root>.A? declared in <root>.A' type=@[FlexibleNullability] kotlin.Int? origin=null
CALL 'public open fun get (index: kotlin.Int): @[FlexibleNullability] T of <root>.A? declared in <root>.A' type=kotlin.Int? origin=null
$this: GET_VAR 'a: <root>.A<kotlin.Int?> declared in <root>.test' type=<root>.A<kotlin.Int?> origin=null
index: CONST Int type=kotlin.Int value=1
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
@@ -406,7 +406,7 @@ FILE fqName:<root> fileName:/1.kt
$this: GET_VAR 'a: <root>.A<kotlin.Int?> declared in <root>.test' type=<root>.A<kotlin.Int?> origin=null
element: CONST Null type=kotlin.Nothing? value=null
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CALL 'public abstract fun removeAt (index: kotlin.Int): @[FlexibleNullability] T of <root>.A? declared in <root>.A' type=@[FlexibleNullability] kotlin.Int? origin=null
CALL 'public abstract fun removeAt (index: kotlin.Int): @[FlexibleNullability] T of <root>.A? declared in <root>.A' type=kotlin.Int? origin=null
$this: GET_VAR 'a: <root>.A<kotlin.Int?> declared in <root>.test' type=<root>.A<kotlin.Int?> origin=null
index: CONST Int type=kotlin.Int value=1
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
compiler/testData/ir/irText/fakeOverrides/collections/map/intersectionWithGenericMapOverrideKJK.fir.ir.txt
Vendored
+2 -2
View File
@@ -468,8 +468,8 @@ FILE fqName:<root> fileName:/1.kt
key: CONST Boolean type=kotlin.Boolean value=false
value: CONST Boolean type=kotlin.Boolean value=false
CALL 'public final fun set <K, V> (key: K of kotlin.collections.set, value: V of kotlin.collections.set): kotlin.Unit declared in kotlin.collections' type=kotlin.Unit origin=null
<K>: @[FlexibleNullability] kotlin.Boolean?
<V>: @[FlexibleNullability] kotlin.Boolean?
<K>: kotlin.Boolean?
<V>: kotlin.Boolean?
$receiver: GET_VAR 'b: <root>.B<kotlin.Boolean?> declared in <root>.test' type=<root>.B<kotlin.Boolean?> origin=null
key: CONST Boolean type=kotlin.Boolean value=true
value: CONST Boolean type=kotlin.Boolean value=true
compiler/testData/ir/irText/fakeOverrides/collections/map/intersectionWithGenericMapOverrideKJK.fir.kt.txt
Vendored
+1 -1
View File
@@ -34,6 +34,6 @@ fun test(a: A<Boolean>, b: B<Boolean?>) {
a.remove(key = true) /*~> Unit */
b.<get-size>() /*~> Unit */
b.put(key = false, value = false) /*~> Unit */
b.set<@FlexibleNullability Boolean?, @FlexibleNullability Boolean?>(key = true, value = true)
b.set<Boolean?, Boolean?>(key = true, value = true)
b.remove(key = null) /*~> Unit */
}
compiler/testData/ir/irText/fakeOverrides/collections/map/substitutionMapOverrideKJJ.fir.ir.txt
Vendored
+4 -4
View File
@@ -444,14 +444,14 @@ FILE fqName:<root> fileName:/1.kt
key: CONST Null type=kotlin.Nothing? value=null
value: CONST Null type=kotlin.Nothing? value=null
CALL 'public final fun set <K, V> (key: K of kotlin.collections.set, value: V of kotlin.collections.set): kotlin.Unit declared in kotlin.collections' type=kotlin.Unit origin=null
<K>: @[FlexibleNullability] kotlin.Boolean?
<V>: @[FlexibleNullability] kotlin.Boolean?
<K>: kotlin.Boolean?
<V>: kotlin.Boolean?
$receiver: GET_VAR 'b: <root>.B<kotlin.Boolean?> declared in <root>.test' type=<root>.B<kotlin.Boolean?> origin=null
key: CONST Null type=kotlin.Nothing? value=null
value: CONST Null type=kotlin.Nothing? value=null
CALL 'public final fun set <K, V> (key: K of kotlin.collections.set, value: V of kotlin.collections.set): kotlin.Unit declared in kotlin.collections' type=kotlin.Unit origin=null
<K>: @[FlexibleNullability] kotlin.Boolean?
<V>: @[FlexibleNullability] kotlin.Boolean?
<K>: kotlin.Boolean?
<V>: kotlin.Boolean?
$receiver: GET_VAR 'b: <root>.B<kotlin.Boolean?> declared in <root>.test' type=<root>.B<kotlin.Boolean?> origin=null
key: CONST Boolean type=kotlin.Boolean value=true
value: CONST Boolean type=kotlin.Boolean value=true
compiler/testData/ir/irText/fakeOverrides/collections/map/substitutionMapOverrideKJJ.fir.kt.txt
Vendored
+2 -2
View File
@@ -39,8 +39,8 @@ fun test(a: A<Boolean>, b: B<Boolean?>) {
b.<get-size>() /*~> Unit */
b.put(key = false, value = false) /*~> Unit */
b.put(key = null, value = null) /*~> Unit */
b.set<@FlexibleNullability Boolean?, @FlexibleNullability Boolean?>(key = null, value = null)
b.set<@FlexibleNullability Boolean?, @FlexibleNullability Boolean?>(key = true, value = true)
b.set<Boolean?, Boolean?>(key = null, value = null)
b.set<Boolean?, Boolean?>(key = true, value = true)
b.get(key = null) /*~> Unit */
b.get(key = true) /*~> Unit */
b.remove(key = null) /*~> Unit */
compiler/testData/ir/irText/fakeOverrides/collections/map/substitutionMapOverrideKJK.fir.ir.txt
Vendored
+4 -4
View File
@@ -394,14 +394,14 @@ FILE fqName:<root> fileName:/1.kt
key: CONST Null type=kotlin.Nothing? value=null
value: CONST Null type=kotlin.Nothing? value=null
CALL 'public final fun set <K, V> (key: K of kotlin.collections.set, value: V of kotlin.collections.set): kotlin.Unit declared in kotlin.collections' type=kotlin.Unit origin=null
<K>: @[FlexibleNullability] kotlin.Boolean?
<V>: @[FlexibleNullability] kotlin.Boolean?
<K>: kotlin.Boolean?
<V>: kotlin.Boolean?
$receiver: GET_VAR 'b: <root>.B<kotlin.Boolean?> declared in <root>.test' type=<root>.B<kotlin.Boolean?> origin=null
key: CONST Null type=kotlin.Nothing? value=null
value: CONST Null type=kotlin.Nothing? value=null
CALL 'public final fun set <K, V> (key: K of kotlin.collections.set, value: V of kotlin.collections.set): kotlin.Unit declared in kotlin.collections' type=kotlin.Unit origin=null
<K>: @[FlexibleNullability] kotlin.Boolean?
<V>: @[FlexibleNullability] kotlin.Boolean?
<K>: kotlin.Boolean?
<V>: kotlin.Boolean?
$receiver: GET_VAR 'b: <root>.B<kotlin.Boolean?> declared in <root>.test' type=<root>.B<kotlin.Boolean?> origin=null
key: CONST Boolean type=kotlin.Boolean value=true
value: CONST Boolean type=kotlin.Boolean value=true
compiler/testData/ir/irText/fakeOverrides/collections/map/substitutionMapOverrideKJK.fir.kt.txt
Vendored
+2 -2
View File
@@ -35,8 +35,8 @@ fun test(a: A<Boolean>, b: B<Boolean?>) {
b.<get-size>() /*~> Unit */
b.put(key = false, value = false) /*~> Unit */
b.put(key = null, value = null) /*~> Unit */
b.set<@FlexibleNullability Boolean?, @FlexibleNullability Boolean?>(key = null, value = null)
b.set<@FlexibleNullability Boolean?, @FlexibleNullability Boolean?>(key = true, value = true)
b.set<Boolean?, Boolean?>(key = null, value = null)
b.set<Boolean?, Boolean?>(key = true, value = true)
b.get(key = null) /*~> Unit */
b.get(key = true) /*~> Unit */
b.remove(key = null) /*~> Unit */
compiler/testData/ir/irText/fakeOverrides/collections/map/substitutionMapOverrideOnKJKJ.fir.ir.txt
Vendored
+4 -4
View File
@@ -640,14 +640,14 @@ FILE fqName:<root> fileName:/1.kt
key: CONST Null type=kotlin.Nothing? value=null
value: CONST Null type=kotlin.Nothing? value=null
CALL 'public final fun set <K, V> (key: K of kotlin.collections.set, value: V of kotlin.collections.set): kotlin.Unit declared in kotlin.collections' type=kotlin.Unit origin=null
<K>: @[FlexibleNullability] kotlin.Boolean?
<V>: @[FlexibleNullability] kotlin.Boolean?
<K>: kotlin.Boolean?
<V>: kotlin.Boolean?
$receiver: GET_VAR 'b: <root>.B<kotlin.Boolean?> declared in <root>.test' type=<root>.B<kotlin.Boolean?> origin=null
key: CONST Null type=kotlin.Nothing? value=null
value: CONST Null type=kotlin.Nothing? value=null
CALL 'public final fun set <K, V> (key: K of kotlin.collections.set, value: V of kotlin.collections.set): kotlin.Unit declared in kotlin.collections' type=kotlin.Unit origin=null
<K>: @[FlexibleNullability] kotlin.Boolean?
<V>: @[FlexibleNullability] kotlin.Boolean?
<K>: kotlin.Boolean?
<V>: kotlin.Boolean?
$receiver: GET_VAR 'b: <root>.B<kotlin.Boolean?> declared in <root>.test' type=<root>.B<kotlin.Boolean?> origin=null
key: CONST Boolean type=kotlin.Boolean value=true
value: CONST Boolean type=kotlin.Boolean value=true
compiler/testData/ir/irText/fakeOverrides/collections/map/substitutionMapOverrideOnKJKJ.fir.kt.txt
Vendored
+2 -2
View File
@@ -50,8 +50,8 @@ fun test(a: A<Boolean>, b: B<Boolean?>) {
b.<get-size>() /*~> Unit */
b.put(key = false, value = false) /*~> Unit */
b.put(key = null, value = null) /*~> Unit */
b.set<@FlexibleNullability Boolean?, @FlexibleNullability Boolean?>(key = null, value = null)
b.set<@FlexibleNullability Boolean?, @FlexibleNullability Boolean?>(key = true, value = true)
b.set<Boolean?, Boolean?>(key = null, value = null)
b.set<Boolean?, Boolean?>(key = true, value = true)
b.get(key = null) /*~> Unit */
b.get(key = true) /*~> Unit */
b.remove(key = null) /*~> Unit */
compiler/testData/ir/irText/fakeOverrides/generics/basicGenericMethodsOverride.fir.ir.txt
Vendored
-138
View File
@@ -1,138 +0,0 @@
FILE fqName:<root> fileName:/1.kt
CLASS CLASS name:A modality:FINAL 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:FINAL visibility:public superTypes:[<root>.Java1]'
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <T> ($this:<root>.Java1) 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
$this: VALUE_PARAMETER name:<this> type:<root>.Java1
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> ($this:<root>.Java1, a:@[FlexibleNullability] T of <root>.A.foo?) returnType:kotlin.Unit [fake_override]
overridden:
public open fun foo <T> (a: @[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
$this: VALUE_PARAMETER name:<this> type:<root>.Java1
VALUE_PARAMETER name:a 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
CLASS CLASS name:B modality:FINAL visibility:public superTypes:[<root>.Java1]
$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]'
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: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:bar visibility:public modality:OPEN <T> ($this:<root>.B) returnType:T of <root>.B.bar?
overridden:
public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java1.bar? declared in <root>.Java1
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any] reified:false
$this: VALUE_PARAMETER name:<this> type:<root>.B
BLOCK_BODY
RETURN type=kotlin.Nothing from='public open fun bar <T> (): T of <root>.B.bar? declared in <root>.B'
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 <T> ($this:<root>.B, a:T of <root>.B.foo?) returnType:kotlin.Unit
overridden:
public open fun foo <T> (a: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any] reified:false
$this: VALUE_PARAMETER name:<this> type:<root>.B
VALUE_PARAMETER name:a index:0 type:T of <root>.B.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
VAR name:k type:kotlin.Int [val]
TYPE_OP type=kotlin.Int origin=IMPLICIT_NOTNULL typeOperand=kotlin.Int
CALL 'public open fun bar <T> (): @[FlexibleNullability] T of <root>.A.bar? declared in <root>.A' type=@[FlexibleNullability] kotlin.Int? origin=null
<T>: @[FlexibleNullability] kotlin.Int?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
VAR name:k2 type:kotlin.Int? [val]
CALL 'public open fun bar <T> (): @[FlexibleNullability] T of <root>.A.bar? declared in <root>.A' type=@[FlexibleNullability] kotlin.Int? origin=null
<T>: @[FlexibleNullability] kotlin.Int?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
VAR name:k3 type:kotlin.Any [val]
TYPE_OP type=kotlin.Any origin=IMPLICIT_NOTNULL typeOperand=kotlin.Any
CALL 'public open fun bar <T> (): @[FlexibleNullability] T of <root>.A.bar? declared in <root>.A' type=@[FlexibleNullability] kotlin.Any? origin=null
<T>: @[FlexibleNullability] kotlin.Any?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
VAR name:k4 type:kotlin.Nothing [val]
TYPE_OP type=kotlin.Nothing origin=IMPLICIT_NOTNULL typeOperand=kotlin.Nothing
CALL 'public open fun bar <T> (): @[FlexibleNullability] T of <root>.A.bar? declared in <root>.A' type=@[FlexibleNullability] kotlin.Nothing? origin=null
<T>: @[FlexibleNullability] kotlin.Nothing?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.A.foo?): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.Int?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
a: CONST Int type=kotlin.Int value=1
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.A.foo?): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.Nothing?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.A.foo?): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
<T>: kotlin.Int?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.A.foo?): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.collections.List<kotlin.Nothing?>?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
a: CALL 'public final fun listOf <T> (element: T of kotlin.collections.listOf): kotlin.collections.List<T of kotlin.collections.listOf> declared in kotlin.collections' type=kotlin.collections.List<kotlin.Nothing?> origin=null
<T>: kotlin.Nothing?
element: CONST Null type=kotlin.Nothing? value=null
VAR name:k5 type:kotlin.Int? [val]
CALL 'public open fun bar <T> (): T of <root>.B.bar? declared in <root>.B' type=kotlin.Int? origin=null
<T>: kotlin.Int
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
VAR name:k7 type:kotlin.Any? [val]
CALL 'public open fun bar <T> (): T of <root>.B.bar? declared in <root>.B' type=kotlin.Any? origin=null
<T>: kotlin.Any
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
VAR name:k8 type:kotlin.Nothing? [val]
CALL 'public open fun bar <T> (): T of <root>.B.bar? declared in <root>.B' type=kotlin.Nothing? origin=null
<T>: kotlin.Nothing
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
CALL 'public open fun foo <T> (a: T of <root>.B.foo?): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
<T>: kotlin.Int
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
a: CONST Int type=kotlin.Int value=1
CALL 'public open fun foo <T> (a: T of <root>.B.foo?): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
<T>: kotlin.Nothing
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: T of <root>.B.foo?): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
<T>: kotlin.Int
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: T of <root>.B.foo?): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
<T>: kotlin.collections.List<kotlin.Nothing?>
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
a: CALL 'public final fun listOf <T> (element: T of kotlin.collections.listOf): kotlin.collections.List<T of kotlin.collections.listOf> declared in kotlin.collections' type=kotlin.collections.List<kotlin.Nothing?> origin=null
<T>: kotlin.Nothing?
element: CONST Null type=kotlin.Nothing? value=null
compiler/testData/ir/irText/fakeOverrides/generics/basicGenericMethodsOverride.fir.kt.txt
Vendored
-42
View File
@@ -1,42 +0,0 @@
class A : Java1 {
constructor() /* primary */ {
super/*Java1*/()
/* <init>() */
}
}
class B : Java1 {
constructor() /* primary */ {
super/*Java1*/()
/* <init>() */
}
override fun <T : Any> bar(): T? {
return CHECK_NOT_NULL<Nothing>(arg0 = null)
}
override fun <T : Any> foo(a: T?) {
}
}
fun test(a: A, b: B) {
val k: Int = a.bar<@FlexibleNullability Int?>() /*!! Int */
val k2: Int? = a.bar<@FlexibleNullability Int?>()
val k3: Any = a.bar<@FlexibleNullability Any?>() /*!! Any */
val k4: Nothing = a.bar<@FlexibleNullability Nothing?>() /*!! Nothing */
a.foo<@FlexibleNullability Int?>(a = 1)
a.foo<@FlexibleNullability Nothing?>(a = null)
a.foo<Int?>(a = null)
a.foo<@FlexibleNullability List<Nothing?>?>(a = listOf<Nothing?>(element = null))
val k5: Int? = b.bar<Int>()
val k7: Any? = b.bar<Any>()
val k8: Nothing? = b.bar<Nothing>()
b.foo<Int>(a = 1)
b.foo<Nothing>(a = null)
b.foo<Int>(a = null)
b.foo<List<Nothing?>>(a = listOf<Nothing?>(element = null))
}
compiler/testData/ir/irText/fakeOverrides/generics/basicGenericMethodsOverride.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_IDENTICAL
// TARGET_BACKEND: JVM
// FULL_JDK
// WITH_STDLIB
compiler/testData/ir/irText/fakeOverrides/generics/basicGenericWithBoundsOverride.fir.ir.txt
Vendored
+1 -1
View File
@@ -234,7 +234,7 @@ FILE fqName:<root> fileName:/1.kt
a: CONST Int type=kotlin.Int value=1
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CALL 'public abstract fun bar <U> (): @[FlexibleNullability] U of <root>.E.bar? declared in <root>.E' type=@[FlexibleNullability] kotlin.Int? origin=null
<U>: kotlin.Int
<U>: @[FlexibleNullability] kotlin.Int?
$this: GET_VAR 'e: <root>.E declared in <root>.test' type=<root>.E origin=null
CALL 'public open fun foo <U> (a: U of <root>.F.foo): kotlin.Unit declared in <root>.F' type=kotlin.Unit origin=null
<U>: kotlin.Double
compiler/testData/ir/irText/fakeOverrides/generics/basicGenericWithBoundsOverride.fir.kt.txt
Vendored
+1 -1
View File
@@ -86,7 +86,7 @@ fun test(a: A, b: B, c: C, d: D, e: E, f: F) {
d.foo(t = 1.1)
d.bar() /*~> Unit */
e.foo<@FlexibleNullability Int?>(a = 1)
e.bar<Int>() /*~> Unit */
e.bar<@FlexibleNullability Int?>() /*~> Unit */
f.foo<Double>(a = 2.2)
f.bar<Double>() /*~> Unit */
}
compiler/testData/ir/irText/fakeOverrides/generics/genericMethodOverrideOnComplexHierarchy.fir.ir.txt
Vendored
+13 -13
View File
@@ -525,11 +525,11 @@ FILE fqName:<root> fileName:/1.kt
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
a: CONST Int type=kotlin.Int value=1
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.A.foo?): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.Nothing?
<T>: kotlin.Nothing?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.A.foo?): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
<T>: kotlin.Int?
<T>: @[FlexibleNullability] kotlin.Int?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.A.foo?): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
@@ -655,11 +655,11 @@ FILE fqName:<root> fileName:/1.kt
$this: GET_VAR 'f: <root>.F declared in <root>.test' type=<root>.F origin=null
a: CONST Int type=kotlin.Int value=1
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.F.foo?): kotlin.Unit declared in <root>.F' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.Nothing?
<T>: kotlin.Nothing?
$this: GET_VAR 'f: <root>.F declared in <root>.test' type=<root>.F origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.F.foo?): kotlin.Unit declared in <root>.F' type=kotlin.Unit origin=null
<T>: kotlin.Int?
<T>: @[FlexibleNullability] kotlin.Int?
$this: GET_VAR 'f: <root>.F declared in <root>.test' type=<root>.F origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.F.foo?): kotlin.Unit declared in <root>.F' type=kotlin.Unit origin=null
@@ -681,11 +681,11 @@ FILE fqName:<root> fileName:/1.kt
$this: GET_VAR 'g: <root>.G declared in <root>.test' type=<root>.G origin=null
a: CONST Int type=kotlin.Int value=1
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.G.foo?): kotlin.Unit declared in <root>.G' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.Nothing?
<T>: kotlin.Nothing?
$this: GET_VAR 'g: <root>.G declared in <root>.test' type=<root>.G origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.G.foo?): kotlin.Unit declared in <root>.G' type=kotlin.Unit origin=null
<T>: kotlin.Int?
<T>: @[FlexibleNullability] kotlin.Int?
$this: GET_VAR 'g: <root>.G declared in <root>.test' type=<root>.G origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.G.foo?): kotlin.Unit declared in <root>.G' type=kotlin.Unit origin=null
@@ -707,11 +707,11 @@ FILE fqName:<root> fileName:/1.kt
$this: GET_VAR 'h: <root>.H declared in <root>.test' type=<root>.H origin=null
a: CONST Int type=kotlin.Int value=1
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.H.foo?): kotlin.Unit declared in <root>.H' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.Nothing?
<T>: kotlin.Nothing?
$this: GET_VAR 'h: <root>.H declared in <root>.test' type=<root>.H origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.H.foo?): kotlin.Unit declared in <root>.H' type=kotlin.Unit origin=null
<T>: kotlin.Int?
<T>: @[FlexibleNullability] kotlin.Int?
$this: GET_VAR 'h: <root>.H declared in <root>.test' type=<root>.H origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.H.foo?): kotlin.Unit declared in <root>.H' type=kotlin.Unit origin=null
@@ -748,23 +748,23 @@ FILE fqName:<root> fileName:/1.kt
element: CONST Null type=kotlin.Nothing? value=null
VAR name:k21 type:kotlin.Int? [val]
CALL 'public open fun bar <T> (): @[FlexibleNullability] T of <root>.J.bar? declared in <root>.J' type=@[FlexibleNullability] kotlin.Int? origin=null
<T>: kotlin.Int?
<T>: @[FlexibleNullability] kotlin.Int?
$this: GET_VAR 'j: <root>.J declared in <root>.test' type=<root>.J origin=null
VAR name:k22 type:kotlin.Any [val]
TYPE_OP type=kotlin.Any origin=IMPLICIT_NOTNULL typeOperand=kotlin.Any
CALL 'public open fun bar <T> (): @[FlexibleNullability] T of <root>.J.bar? declared in <root>.J' type=@[FlexibleNullability] kotlin.Any? origin=null
<T>: kotlin.Any
<T>: @[FlexibleNullability] kotlin.Any?
$this: GET_VAR 'j: <root>.J declared in <root>.test' type=<root>.J origin=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.J.foo?): kotlin.Unit declared in <root>.J' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.Int?
$this: GET_VAR 'j: <root>.J declared in <root>.test' type=<root>.J origin=null
a: CONST Int type=kotlin.Int value=1
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.J.foo?): kotlin.Unit declared in <root>.J' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.Nothing?
<T>: kotlin.Nothing?
$this: GET_VAR 'j: <root>.J declared in <root>.test' type=<root>.J origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.J.foo?): kotlin.Unit declared in <root>.J' type=kotlin.Unit origin=null
<T>: kotlin.Int?
<T>: @[FlexibleNullability] kotlin.Int?
$this: GET_VAR 'j: <root>.J declared in <root>.test' type=<root>.J origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.J.foo?): kotlin.Unit declared in <root>.J' type=kotlin.Unit origin=null
@@ -779,5 +779,5 @@ FILE fqName:<root> fileName:/1.kt
a: CONST Int type=kotlin.Int value=1
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CALL 'public open fun bar <T> (): @[FlexibleNullability] T of <root>.L.bar? declared in <root>.L' type=@[FlexibleNullability] kotlin.Int? origin=null
<T>: kotlin.Int
<T>: @[FlexibleNullability] kotlin.Int?
$this: GET_VAR 'l: <root>.L declared in <root>.test' type=<root>.L origin=null
compiler/testData/ir/irText/fakeOverrides/generics/genericMethodOverrideOnComplexHierarchy.fir.kt.txt
Vendored
+13 -13
View File
@@ -155,8 +155,8 @@ fun test(a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, l: L) {
val k: Int = a.bar<Int>()
val k3: Any = a.bar<Any>()
a.foo<@FlexibleNullability Int?>(a = 1)
a.foo<@FlexibleNullability Nothing?>(a = null)
a.foo<Int?>(a = null)
a.foo<Nothing?>(a = null)
a.foo<@FlexibleNullability Int?>(a = null)
a.foo<@FlexibleNullability List<Nothing?>?>(a = listOf<Nothing?>(element = null))
val k5: Int? = b.bar<Int?>()
val k6: Any = b.bar<Any>()
@@ -185,20 +185,20 @@ fun test(a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, l: L) {
val k13: Int? = f.bar<Int?>()
val k14: Any = f.bar<Any>()
f.foo<@FlexibleNullability Int?>(a = 1)
f.foo<@FlexibleNullability Nothing?>(a = null)
f.foo<Int?>(a = null)
f.foo<Nothing?>(a = null)
f.foo<@FlexibleNullability Int?>(a = null)
f.foo<@FlexibleNullability List<Nothing?>?>(a = listOf<Nothing?>(element = null))
val k15: Int? = g.bar<Int?>()
val k16: Any = g.bar<Any>()
g.foo<@FlexibleNullability Int?>(a = 1)
g.foo<@FlexibleNullability Nothing?>(a = null)
g.foo<Int?>(a = null)
g.foo<Nothing?>(a = null)
g.foo<@FlexibleNullability Int?>(a = null)
g.foo<@FlexibleNullability List<Nothing?>?>(a = listOf<Nothing?>(element = null))
val k17: Int? = h.bar<Int?>()
val k18: Any = h.bar<Any>()
h.foo<@FlexibleNullability Int?>(a = 1)
h.foo<@FlexibleNullability Nothing?>(a = null)
h.foo<Int?>(a = null)
h.foo<Nothing?>(a = null)
h.foo<@FlexibleNullability Int?>(a = null)
h.foo<@FlexibleNullability List<Nothing?>?>(a = listOf<Nothing?>(element = null))
val k19: Int? = i.bar<Int?>()
val k20: Any = i.bar<Any>()
@@ -206,12 +206,12 @@ fun test(a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, l: L) {
i.foo<Nothing?>(a = null)
i.foo<Int?>(a = null)
i.foo<List<Nothing?>>(a = listOf<Nothing?>(element = null))
val k21: Int? = j.bar<Int?>()
val k22: Any = j.bar<Any>() /*!! Any */
val k21: Int? = j.bar<@FlexibleNullability Int?>()
val k22: Any = j.bar<@FlexibleNullability Any?>() /*!! Any */
j.foo<@FlexibleNullability Int?>(a = 1)
j.foo<@FlexibleNullability Nothing?>(a = null)
j.foo<Int?>(a = null)
j.foo<Nothing?>(a = null)
j.foo<@FlexibleNullability Int?>(a = null)
j.foo<@FlexibleNullability List<Nothing?>?>(a = listOf<Nothing?>(element = null))
l.foo<Int>(a = 1)
l.bar<Int>() /*~> Unit */
l.bar<@FlexibleNullability Int?>() /*~> Unit */
}
compiler/testData/ir/irText/fakeOverrides/generics/genericMethodOverrideOnKJJ.fir.ir.txt
Vendored
-252
View File
@@ -1,252 +0,0 @@
FILE fqName:<root> fileName:/1.kt
CLASS CLASS name:A modality:ABSTRACT visibility:public superTypes:[<root>.Java2]
$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>.Java2'
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:A modality:ABSTRACT visibility:public superTypes:[<root>.Java2]'
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <T> ($this:<root>.Java1) returnType:@[FlexibleNullability] T of <root>.A.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
$this: VALUE_PARAMETER name:<this> type:<root>.Java1
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> ($this:<root>.Java1, a:@[FlexibleNullability] T of <root>.A.foo?) returnType:kotlin.Unit [fake_override]
overridden:
public open fun foo <T> (a: @[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
$this: VALUE_PARAMETER name:<this> type:<root>.Java1
VALUE_PARAMETER name:a 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>.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
CLASS CLASS name:B modality:FINAL visibility:public superTypes:[<root>.A]
$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>.A'
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:B modality:FINAL visibility:public superTypes:[<root>.A]'
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>.A
$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 <root>.A
$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>.A
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
FUN name:bar visibility:public modality:OPEN <T> ($this:<root>.B) returnType:T of <root>.B.bar
overridden:
public open fun bar <T> (): @[FlexibleNullability] T of <root>.A.bar? declared in <root>.A
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
$this: VALUE_PARAMETER name:<this> type:<root>.B
BLOCK_BODY
RETURN type=kotlin.Nothing from='public open fun bar <T> (): T of <root>.B.bar declared in <root>.B'
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 <T> ($this:<root>.B, a:T of <root>.B.foo) returnType:kotlin.Unit
overridden:
public open fun foo <T> (a: @[FlexibleNullability] T of <root>.A.foo?): kotlin.Unit declared in <root>.A
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
$this: VALUE_PARAMETER name:<this> type:<root>.B
VALUE_PARAMETER name:a index:0 type:T of <root>.B.foo
BLOCK_BODY
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> ($this:<root>.Java3) returnType:@[FlexibleNullability] T of <root>.C.bar? [fake_override]
annotations:
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
$this: VALUE_PARAMETER name:<this> type:<root>.Java3
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> ($this:<root>.Java3, a:@[FlexibleNullability] T of <root>.C.foo?) returnType:kotlin.Unit [fake_override]
annotations:
Override
overridden:
public open fun foo <T> (a: @[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
$this: VALUE_PARAMETER name:<this> type:<root>.Java3
VALUE_PARAMETER name:a 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: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
CLASS CLASS name:D modality:FINAL visibility:public superTypes:[<root>.Java1]
$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>.Java1'
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:D modality:FINAL visibility:public superTypes:[<root>.Java1]'
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: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:bar visibility:public modality:OPEN <T> ($this:<root>.D) returnType:T of <root>.D.bar
overridden:
public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java1.bar? declared in <root>.Java1
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
$this: VALUE_PARAMETER name:<this> type:<root>.D
BLOCK_BODY
RETURN type=kotlin.Nothing from='public open fun bar <T> (): T of <root>.D.bar declared in <root>.D'
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 <T> ($this:<root>.D, a:T of <root>.D.foo) returnType:kotlin.Unit
overridden:
public open fun foo <T> (a: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
$this: VALUE_PARAMETER name:<this> type:<root>.D
VALUE_PARAMETER name:a index:0 type:T of <root>.D.foo
BLOCK_BODY
CALL 'public final fun println (message: kotlin.Any?): kotlin.Unit declared in kotlin.io' type=kotlin.Unit origin=null
message: GET_VAR 'a: T of <root>.D.foo declared in <root>.D.foo' type=T of <root>.D.foo origin=null
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
VAR name:k type:kotlin.Int [val]
TYPE_OP type=kotlin.Int origin=IMPLICIT_NOTNULL typeOperand=kotlin.Int
CALL 'public open fun bar <T> (): @[FlexibleNullability] T of <root>.A.bar? declared in <root>.A' type=@[FlexibleNullability] kotlin.Int? origin=null
<T>: kotlin.Int
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
VAR name:k3 type:kotlin.Any [val]
TYPE_OP type=kotlin.Any origin=IMPLICIT_NOTNULL typeOperand=kotlin.Any
CALL 'public open fun bar <T> (): @[FlexibleNullability] T of <root>.A.bar? declared in <root>.A' type=@[FlexibleNullability] kotlin.Any? origin=null
<T>: @[FlexibleNullability] kotlin.Any?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.A.foo?): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.Int?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
a: CONST Int type=kotlin.Int value=1
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.A.foo?): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.Nothing?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.A.foo?): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
<T>: kotlin.Int?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.A.foo?): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.collections.List<kotlin.Nothing?>?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
a: CALL 'public final fun listOf <T> (element: T of kotlin.collections.listOf): kotlin.collections.List<T of kotlin.collections.listOf> declared in kotlin.collections' type=kotlin.collections.List<kotlin.Nothing?> origin=null
<T>: kotlin.Nothing?
element: CONST Null type=kotlin.Nothing? value=null
VAR name:k5 type:kotlin.Int? [val]
CALL 'public open fun bar <T> (): T of <root>.B.bar declared in <root>.B' type=kotlin.Int? origin=null
<T>: kotlin.Int?
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
VAR name:k6 type:kotlin.Any [val]
CALL 'public open fun bar <T> (): T of <root>.B.bar declared in <root>.B' type=kotlin.Any origin=null
<T>: kotlin.Any
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
CALL 'public open fun foo <T> (a: T of <root>.B.foo): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
<T>: kotlin.Int
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
a: CONST Int type=kotlin.Int value=1
CALL 'public open fun foo <T> (a: T of <root>.B.foo): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
<T>: kotlin.Nothing?
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: T of <root>.B.foo): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
<T>: kotlin.Int?
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: T of <root>.B.foo): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
<T>: kotlin.collections.List<kotlin.Nothing?>
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
a: CALL 'public final fun listOf <T> (element: T of kotlin.collections.listOf): kotlin.collections.List<T of kotlin.collections.listOf> declared in kotlin.collections' type=kotlin.collections.List<kotlin.Nothing?> origin=null
<T>: kotlin.Nothing?
element: CONST Null type=kotlin.Nothing? value=null
VAR name:k7 type:kotlin.Int? [val]
CALL 'public open fun bar <T> (): @[FlexibleNullability] T of <root>.C.bar? declared in <root>.C' type=@[FlexibleNullability] kotlin.Int? origin=null
<T>: kotlin.Int?
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
VAR name:k8 type:kotlin.Any [val]
TYPE_OP type=kotlin.Any origin=IMPLICIT_NOTNULL typeOperand=kotlin.Any
CALL 'public open fun bar <T> (): @[FlexibleNullability] T of <root>.C.bar? declared in <root>.C' type=@[FlexibleNullability] kotlin.Any? origin=null
<T>: kotlin.Any
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.C.foo?): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.Int?
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
a: CONST Int type=kotlin.Int value=1
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.C.foo?): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.Nothing?
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.C.foo?): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
<T>: kotlin.Int?
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.C.foo?): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.collections.List<kotlin.Nothing?>?
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
a: CALL 'public final fun listOf <T> (element: T of kotlin.collections.listOf): kotlin.collections.List<T of kotlin.collections.listOf> declared in kotlin.collections' type=kotlin.collections.List<kotlin.Nothing?> origin=null
<T>: kotlin.Nothing?
element: CONST Null type=kotlin.Nothing? value=null
VAR name:k9 type:kotlin.Int? [val]
CALL 'public open fun bar <T> (): T of <root>.D.bar declared in <root>.D' type=kotlin.Int? origin=null
<T>: kotlin.Int?
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
VAR name:k10 type:kotlin.Any [val]
CALL 'public open fun bar <T> (): T of <root>.D.bar declared in <root>.D' type=kotlin.Any origin=null
<T>: kotlin.Any
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
CALL 'public open fun foo <T> (a: T of <root>.D.foo): kotlin.Unit declared in <root>.D' type=kotlin.Unit origin=null
<T>: kotlin.Int
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
a: CONST Int type=kotlin.Int value=1
CALL 'public open fun foo <T> (a: T of <root>.D.foo): kotlin.Unit declared in <root>.D' type=kotlin.Unit origin=null
<T>: kotlin.Nothing?
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: T of <root>.D.foo): kotlin.Unit declared in <root>.D' type=kotlin.Unit origin=null
<T>: kotlin.Int?
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: T of <root>.D.foo): kotlin.Unit declared in <root>.D' type=kotlin.Unit origin=null
<T>: kotlin.collections.List<kotlin.Nothing?>
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
a: CALL 'public final fun listOf <T> (element: T of kotlin.collections.listOf): kotlin.collections.List<T of kotlin.collections.listOf> declared in kotlin.collections' type=kotlin.collections.List<kotlin.Nothing?> origin=null
<T>: kotlin.Nothing?
element: CONST Null type=kotlin.Nothing? value=null
compiler/testData/ir/irText/fakeOverrides/generics/genericMethodOverrideOnKJJ.fir.kt.txt
Vendored
-77
View File
@@ -1,77 +0,0 @@
abstract class A : Java2 {
constructor() /* primary */ {
super/*Java2*/()
/* <init>() */
}
}
class B : A {
constructor() /* primary */ {
super/*A*/()
/* <init>() */
}
override fun <T : Any?> bar(): T {
return CHECK_NOT_NULL<Nothing>(arg0 = null)
}
override fun <T : Any?> foo(a: T) {
}
}
class C : Java3 {
constructor() /* primary */ {
super/*Java3*/()
/* <init>() */
}
}
class D : Java1 {
constructor() /* primary */ {
super/*Java1*/()
/* <init>() */
}
override fun <T : Any?> bar(): T {
return CHECK_NOT_NULL<Nothing>(arg0 = null)
}
override fun <T : Any?> foo(a: T) {
println(message = a)
}
}
fun test(a: A, b: B, c: C, d: D) {
val k: Int = a.bar<Int>() /*!! Int */
val k3: Any = a.bar<@FlexibleNullability Any?>() /*!! Any */
a.foo<@FlexibleNullability Int?>(a = 1)
a.foo<@FlexibleNullability Nothing?>(a = null)
a.foo<Int?>(a = null)
a.foo<@FlexibleNullability List<Nothing?>?>(a = listOf<Nothing?>(element = null))
val k5: Int? = b.bar<Int?>()
val k6: Any = b.bar<Any>()
b.foo<Int>(a = 1)
b.foo<Nothing?>(a = null)
b.foo<Int?>(a = null)
b.foo<List<Nothing?>>(a = listOf<Nothing?>(element = null))
val k7: Int? = c.bar<Int?>()
val k8: Any = c.bar<Any>() /*!! Any */
c.foo<@FlexibleNullability Int?>(a = 1)
c.foo<@FlexibleNullability Nothing?>(a = null)
c.foo<Int?>(a = null)
c.foo<@FlexibleNullability List<Nothing?>?>(a = listOf<Nothing?>(element = null))
val k9: Int? = d.bar<Int?>()
val k10: Any = d.bar<Any>()
d.foo<Int>(a = 1)
d.foo<Nothing?>(a = null)
d.foo<Int?>(a = null)
d.foo<List<Nothing?>>(a = listOf<Nothing?>(element = null))
}
compiler/testData/ir/irText/fakeOverrides/generics/genericMethodOverrideOnKJJ.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_IDENTICAL
// TARGET_BACKEND: JVM
// WITH_STDLIB
compiler/testData/ir/irText/fakeOverrides/generics/genericMethodOverrideOnKJK.fir.ir.txt
Vendored
-270
View File
@@ -1,270 +0,0 @@
FILE fqName:<root> fileName:/1.kt
CLASS CLASS name:A modality:ABSTRACT visibility:public superTypes:[<root>.Java2]
$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 kotlin.Any'
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:A modality:ABSTRACT visibility:public superTypes:[<root>.Java2]'
FUN FAKE_OVERRIDE name:bar visibility:public modality:ABSTRACT <T> ($this:<root>.KotlinInterface) returnType:T of <root>.A.bar [fake_override]
overridden:
public abstract fun bar <T> (): T of <root>.Java2.bar declared in <root>.Java2
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
$this: VALUE_PARAMETER 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 <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:ABSTRACT <T> ($this:<root>.KotlinInterface, a:T of <root>.A.foo) returnType:kotlin.Unit [fake_override]
overridden:
public abstract fun foo <T> (a: T of <root>.Java2.foo): kotlin.Unit declared in <root>.Java2
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
$this: VALUE_PARAMETER name:<this> type:<root>.KotlinInterface
VALUE_PARAMETER name:a index:0 type: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>.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
CLASS CLASS name:B modality:FINAL visibility:public superTypes:[<root>.A]
$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>.A'
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:B modality:FINAL visibility:public superTypes:[<root>.A]'
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>.A
$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 <root>.A
$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>.A
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
FUN name:bar visibility:public modality:OPEN <T> ($this:<root>.B) returnType:T of <root>.B.bar
overridden:
public abstract fun bar <T> (): T of <root>.A.bar declared in <root>.A
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
$this: VALUE_PARAMETER name:<this> type:<root>.B
BLOCK_BODY
RETURN type=kotlin.Nothing from='public open fun bar <T> (): T of <root>.B.bar declared in <root>.B'
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 <T> ($this:<root>.B, a:T of <root>.B.foo) returnType:kotlin.Unit
overridden:
public abstract fun foo <T> (a: T of <root>.A.foo): kotlin.Unit declared in <root>.A
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
$this: VALUE_PARAMETER name:<this> type:<root>.B
VALUE_PARAMETER name:a index:0 type:T of <root>.B.foo
BLOCK_BODY
CLASS CLASS name:C modality:FINAL visibility:public superTypes:[<root>.Java1]
$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>.Java1'
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:C modality:FINAL visibility:public superTypes:[<root>.Java1]'
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <T> ($this:<root>.Java1) returnType:@[EnhancedNullability] T of <root>.C.bar [fake_override]
annotations:
Override
overridden:
public open fun bar <T> (): @[EnhancedNullability] T of <root>.Java1.bar declared in <root>.Java1
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
$this: VALUE_PARAMETER name:<this> type:<root>.Java1
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> ($this:<root>.Java1, a:@[EnhancedNullability] T of <root>.C.foo) returnType:kotlin.Unit [fake_override]
annotations:
Override
overridden:
public open fun foo <T> (a: @[EnhancedNullability] T of <root>.Java1.foo): kotlin.Unit declared in <root>.Java1
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
$this: VALUE_PARAMETER name:<this> type:<root>.Java1
VALUE_PARAMETER name:a index:0 type:@[EnhancedNullability] 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>.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 CLASS name:D modality:FINAL visibility:public superTypes:[<root>.Java1]
$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>.Java1'
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:D modality:FINAL visibility:public superTypes:[<root>.Java1]'
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: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:bar visibility:public modality:OPEN <T> ($this:<root>.D) returnType:T of <root>.D.bar
overridden:
public open fun bar <T> (): @[EnhancedNullability] T of <root>.Java1.bar declared in <root>.Java1
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
$this: VALUE_PARAMETER name:<this> type:<root>.D
BLOCK_BODY
RETURN type=kotlin.Nothing from='public open fun bar <T> (): T of <root>.D.bar declared in <root>.D'
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 <T> ($this:<root>.D, a:T of <root>.D.foo) returnType:kotlin.Unit
overridden:
public open fun foo <T> (a: @[EnhancedNullability] T of <root>.Java1.foo): kotlin.Unit declared in <root>.Java1
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
$this: VALUE_PARAMETER name:<this> type:<root>.D
VALUE_PARAMETER name:a index:0 type:T of <root>.D.foo
BLOCK_BODY
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:ABSTRACT <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
FUN name:foo visibility:public modality:ABSTRACT <T> ($this:<root>.KotlinInterface, a: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:a index:0 type:T of <root>.KotlinInterface.foo
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
VAR name:k type:kotlin.Int [val]
CALL 'public abstract fun bar <T> (): T of <root>.A.bar declared in <root>.A' type=kotlin.Int origin=null
<T>: kotlin.Int
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
VAR name:k3 type:kotlin.Any [val]
CALL 'public abstract fun bar <T> (): T of <root>.A.bar declared in <root>.A' type=kotlin.Any origin=null
<T>: kotlin.Any
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
CALL 'public abstract fun foo <T> (a: T of <root>.A.foo): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
<T>: kotlin.Int
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
a: CONST Int type=kotlin.Int value=1
CALL 'public abstract fun foo <T> (a: T of <root>.A.foo): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
<T>: kotlin.Nothing?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public abstract fun foo <T> (a: T of <root>.A.foo): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
<T>: kotlin.Int?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public abstract fun foo <T> (a: T of <root>.A.foo): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
<T>: kotlin.collections.List<kotlin.Nothing?>
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
a: CALL 'public final fun listOf <T> (element: T of kotlin.collections.listOf): kotlin.collections.List<T of kotlin.collections.listOf> declared in kotlin.collections' type=kotlin.collections.List<kotlin.Nothing?> origin=null
<T>: kotlin.Nothing?
element: CONST Null type=kotlin.Nothing? value=null
VAR name:k5 type:kotlin.Int? [val]
CALL 'public open fun bar <T> (): T of <root>.B.bar declared in <root>.B' type=kotlin.Int? origin=null
<T>: kotlin.Int?
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
VAR name:k6 type:kotlin.Any [val]
CALL 'public open fun bar <T> (): T of <root>.B.bar declared in <root>.B' type=kotlin.Any origin=null
<T>: kotlin.Any
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
CALL 'public open fun foo <T> (a: T of <root>.B.foo): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
<T>: kotlin.Int
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
a: CONST Int type=kotlin.Int value=1
CALL 'public open fun foo <T> (a: T of <root>.B.foo): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
<T>: kotlin.Nothing?
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: T of <root>.B.foo): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
<T>: kotlin.Int?
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: T of <root>.B.foo): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
<T>: kotlin.collections.List<kotlin.Nothing?>
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
a: CALL 'public final fun listOf <T> (element: T of kotlin.collections.listOf): kotlin.collections.List<T of kotlin.collections.listOf> declared in kotlin.collections' type=kotlin.collections.List<kotlin.Nothing?> origin=null
<T>: kotlin.Nothing?
element: CONST Null type=kotlin.Nothing? value=null
VAR name:k7 type:kotlin.Int? [val]
CALL 'public open fun bar <T> (): @[EnhancedNullability] T of <root>.C.bar declared in <root>.C' type=@[EnhancedNullability] kotlin.Int? origin=null
<T>: kotlin.Int?
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
VAR name:k8 type:kotlin.Any [val]
TYPE_OP type=kotlin.Any origin=IMPLICIT_NOTNULL typeOperand=kotlin.Any
CALL 'public open fun bar <T> (): @[EnhancedNullability] T of <root>.C.bar declared in <root>.C' type=@[EnhancedNullability] kotlin.Any origin=null
<T>: kotlin.Any
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
CALL 'public open fun foo <T> (a: @[EnhancedNullability] T of <root>.C.foo): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
<T>: kotlin.Int
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
a: CONST Int type=kotlin.Int value=1
CALL 'public open fun foo <T> (a: @[EnhancedNullability] T of <root>.C.foo): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
<T>: kotlin.Nothing?
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: @[EnhancedNullability] T of <root>.C.foo): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
<T>: kotlin.Int?
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: @[EnhancedNullability] T of <root>.C.foo): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
<T>: kotlin.collections.List<kotlin.Nothing?>
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
a: CALL 'public final fun listOf <T> (element: T of kotlin.collections.listOf): kotlin.collections.List<T of kotlin.collections.listOf> declared in kotlin.collections' type=kotlin.collections.List<kotlin.Nothing?> origin=null
<T>: kotlin.Nothing?
element: CONST Null type=kotlin.Nothing? value=null
VAR name:k9 type:kotlin.Int? [val]
CALL 'public open fun bar <T> (): T of <root>.D.bar declared in <root>.D' type=kotlin.Int? origin=null
<T>: kotlin.Int?
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
VAR name:k10 type:kotlin.Any [val]
CALL 'public open fun bar <T> (): T of <root>.D.bar declared in <root>.D' type=kotlin.Any origin=null
<T>: kotlin.Any
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
CALL 'public open fun foo <T> (a: T of <root>.D.foo): kotlin.Unit declared in <root>.D' type=kotlin.Unit origin=null
<T>: kotlin.Int
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
a: CONST Int type=kotlin.Int value=1
CALL 'public open fun foo <T> (a: T of <root>.D.foo): kotlin.Unit declared in <root>.D' type=kotlin.Unit origin=null
<T>: kotlin.Nothing?
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: T of <root>.D.foo): kotlin.Unit declared in <root>.D' type=kotlin.Unit origin=null
<T>: kotlin.Int?
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: T of <root>.D.foo): kotlin.Unit declared in <root>.D' type=kotlin.Unit origin=null
<T>: kotlin.collections.List<kotlin.Nothing?>
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
a: CALL 'public final fun listOf <T> (element: T of kotlin.collections.listOf): kotlin.collections.List<T of kotlin.collections.listOf> declared in kotlin.collections' type=kotlin.collections.List<kotlin.Nothing?> origin=null
<T>: kotlin.Nothing?
element: CONST Null type=kotlin.Nothing? value=null
compiler/testData/ir/irText/fakeOverrides/generics/genericMethodOverrideOnKJK.fir.kt.txt
Vendored
-83
View File
@@ -1,83 +0,0 @@
abstract class A : Java2 {
constructor() /* primary */ {
super/*Any*/()
/* <init>() */
}
}
class B : A {
constructor() /* primary */ {
super/*A*/()
/* <init>() */
}
override fun <T : Any?> bar(): T {
return CHECK_NOT_NULL<Nothing>(arg0 = null)
}
override fun <T : Any?> foo(a: T) {
}
}
class C : Java1 {
constructor() /* primary */ {
super/*Java1*/()
/* <init>() */
}
}
class D : Java1 {
constructor() /* primary */ {
super/*Java1*/()
/* <init>() */
}
override fun <T : Any?> bar(): T {
return CHECK_NOT_NULL<Nothing>(arg0 = null)
}
override fun <T : Any?> foo(a: T) {
}
}
interface KotlinInterface {
abstract fun <T : Any?> bar(): T
abstract fun <T : Any?> foo(a: T)
}
fun test(a: A, b: B, c: C, d: D) {
val k: Int = a.bar<Int>()
val k3: Any = a.bar<Any>()
a.foo<Int>(a = 1)
a.foo<Nothing?>(a = null)
a.foo<Int?>(a = null)
a.foo<List<Nothing?>>(a = listOf<Nothing?>(element = null))
val k5: Int? = b.bar<Int?>()
val k6: Any = b.bar<Any>()
b.foo<Int>(a = 1)
b.foo<Nothing?>(a = null)
b.foo<Int?>(a = null)
b.foo<List<Nothing?>>(a = listOf<Nothing?>(element = null))
val k7: Int? = c.bar<Int?>()
val k8: Any = c.bar<Any>() /*!! Any */
c.foo<Int>(a = 1)
c.foo<Nothing?>(a = null)
c.foo<Int?>(a = null)
c.foo<List<Nothing?>>(a = listOf<Nothing?>(element = null))
val k9: Int? = d.bar<Int?>()
val k10: Any = d.bar<Any>()
d.foo<Int>(a = 1)
d.foo<Nothing?>(a = null)
d.foo<Int?>(a = null)
d.foo<List<Nothing?>>(a = listOf<Nothing?>(element = null))
}
compiler/testData/ir/irText/fakeOverrides/generics/genericMethodOverrideOnKJK.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_IDENTICAL
// TARGET_BACKEND: JVM
// WITH_STDLIB
compiler/testData/ir/irText/fakeOverrides/generics/intersectionGenericMethodOverride.fir.ir.txt
Vendored
-399
View File
@@ -1,399 +0,0 @@
FILE fqName:<root> fileName:/1.kt
CLASS CLASS name:A modality:FINAL visibility:public superTypes:[<root>.Java1; <root>.Java2]
$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]'
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <T> ($this:<root>.Java1) 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
public abstract 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
$this: VALUE_PARAMETER name:<this> type:<root>.Java1
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> ($this:<root>.Java1, a:@[FlexibleNullability] T of <root>.A.foo?) returnType:kotlin.Unit [fake_override]
overridden:
public open fun foo <T> (a: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
public abstract fun foo <T> (a: @[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
$this: VALUE_PARAMETER name:<this> type:<root>.Java1
VALUE_PARAMETER name:a 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>.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
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: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: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:bar visibility:public modality:OPEN <T> ($this:<root>.B) returnType:T of <root>.B.bar
overridden:
public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java1.bar? declared in <root>.Java1
public abstract fun bar <T> (): @[FlexibleNullability] T of <root>.Java2.bar? declared in <root>.Java2
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
$this: VALUE_PARAMETER name:<this> type:<root>.B
BLOCK_BODY
RETURN type=kotlin.Nothing from='public open fun bar <T> (): T of <root>.B.bar declared in <root>.B'
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 <T> ($this:<root>.B, a:T of <root>.B.foo) returnType:kotlin.Unit
overridden:
public open fun foo <T> (a: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
public abstract fun foo <T> (a: @[FlexibleNullability] T of <root>.Java2.foo?): kotlin.Unit declared in <root>.Java2
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
$this: VALUE_PARAMETER name:<this> type:<root>.B
VALUE_PARAMETER name:a index:0 type:T of <root>.B.foo
BLOCK_BODY
CLASS CLASS name:C modality:ABSTRACT visibility:public superTypes:[<root>.Java1; <root>.KotlinInterface]
$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>.Java1'
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:C modality:ABSTRACT visibility:public superTypes:[<root>.Java1; <root>.KotlinInterface]'
FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN <T> ($this:<root>.KotlinInterface) returnType:T of <root>.C.bar [fake_override]
overridden:
public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java1.bar? declared in <root>.Java1
public abstract 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: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 <T> ($this:<root>.Java1, a:@[FlexibleNullability] T of <root>.C.foo?) returnType:kotlin.Unit [fake_override]
overridden:
public open fun foo <T> (a: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
public abstract fun foo <T> (a: T of <root>.KotlinInterface.foo): kotlin.Unit declared in <root>.KotlinInterface
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
$this: VALUE_PARAMETER name:<this> type:<root>.Java1
VALUE_PARAMETER name:a 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>.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
CLASS CLASS name:D modality:FINAL visibility:public superTypes:[<root>.Java1; <root>.KotlinInterface]
$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>.Java1'
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:D modality:FINAL visibility:public superTypes:[<root>.Java1; <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 <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: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:bar visibility:public modality:OPEN <T> ($this:<root>.D) returnType:T of <root>.D.bar
overridden:
public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java1.bar? declared in <root>.Java1
public abstract 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>.D
BLOCK_BODY
RETURN type=kotlin.Nothing from='public open fun bar <T> (): T of <root>.D.bar declared in <root>.D'
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 <T> ($this:<root>.D, a:T of <root>.D.foo) returnType:kotlin.Unit
overridden:
public open fun foo <T> (a: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
public abstract fun foo <T> (a: 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>.D
VALUE_PARAMETER name:a index:0 type:T of <root>.D.foo
BLOCK_BODY
CLASS CLASS name:E modality:FINAL visibility:public superTypes:[<root>.Java1; <root>.Java2; <root>.KotlinInterface]
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.E
CONSTRUCTOR visibility:public <> () returnType:<root>.E [primary]
BLOCK_BODY
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in <root>.Java1'
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:E 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>.E.bar [fake_override]
overridden:
public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java1.bar? declared in <root>.Java1
public abstract fun bar <T> (): @[FlexibleNullability] T of <root>.Java2.bar? declared in <root>.Java2
public abstract 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: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 <T> ($this:<root>.Java1, a:@[FlexibleNullability] T of <root>.E.foo?) returnType:kotlin.Unit [fake_override]
overridden:
public open fun foo <T> (a: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
public abstract fun foo <T> (a: @[FlexibleNullability] T of <root>.Java2.foo?): kotlin.Unit declared in <root>.Java2
public abstract fun foo <T> (a: T of <root>.KotlinInterface.foo): kotlin.Unit declared in <root>.KotlinInterface
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
$this: VALUE_PARAMETER name:<this> type:<root>.Java1
VALUE_PARAMETER name:a index:0 type:@[FlexibleNullability] T of <root>.E.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
CLASS CLASS name:F modality:FINAL visibility:public superTypes:[<root>.Java1; <root>.Java2; <root>.KotlinInterface]
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.F
CONSTRUCTOR visibility:public <> () returnType:<root>.F [primary]
BLOCK_BODY
DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in <root>.Java1'
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:F modality:FINAL visibility:public superTypes:[<root>.Java1; <root>.Java2; <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 <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 <T> ($this:<root>.Java1, a:@[FlexibleNullability] T of <root>.F.foo?) returnType:kotlin.Unit [fake_override]
overridden:
public open fun foo <T> (a: @[FlexibleNullability] T of <root>.Java1.foo?): kotlin.Unit declared in <root>.Java1
public abstract fun foo <T> (a: @[FlexibleNullability] T of <root>.Java2.foo?): kotlin.Unit declared in <root>.Java2
public abstract fun foo <T> (a: T of <root>.KotlinInterface.foo): kotlin.Unit declared in <root>.KotlinInterface
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
$this: VALUE_PARAMETER name:<this> type:<root>.Java1
VALUE_PARAMETER name:a index:0 type:@[FlexibleNullability] T of <root>.F.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:bar visibility:public modality:OPEN <T> ($this:<root>.F) returnType:T of <root>.F.bar
overridden:
public open fun bar <T> (): @[FlexibleNullability] T of <root>.Java1.bar? declared in <root>.Java1
public abstract fun bar <T> (): @[FlexibleNullability] T of <root>.Java2.bar? declared in <root>.Java2
public abstract 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>.F
BLOCK_BODY
RETURN type=kotlin.Nothing from='public open fun bar <T> (): T of <root>.F.bar declared in <root>.F'
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
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:ABSTRACT <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
FUN name:foo visibility:public modality:ABSTRACT <T> ($this:<root>.KotlinInterface, a: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:a index:0 type:T of <root>.KotlinInterface.foo
FUN name:test visibility:public modality:FINAL <> (a:<root>.A, b:<root>.B, c:<root>.C, d:<root>.D, e:<root>.E, f:<root>.F) 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
VALUE_PARAMETER name:e index:4 type:<root>.E
VALUE_PARAMETER name:f index:5 type:<root>.F
BLOCK_BODY
VAR name:k type:kotlin.Int [val]
TYPE_OP type=kotlin.Int origin=IMPLICIT_NOTNULL typeOperand=kotlin.Int
CALL 'public open fun bar <T> (): @[FlexibleNullability] T of <root>.A.bar? declared in <root>.A' type=@[FlexibleNullability] kotlin.Int? origin=null
<T>: kotlin.Int?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
VAR name:k3 type:kotlin.Any [val]
TYPE_OP type=kotlin.Any origin=IMPLICIT_NOTNULL typeOperand=kotlin.Any
CALL 'public open fun bar <T> (): @[FlexibleNullability] T of <root>.A.bar? declared in <root>.A' type=@[FlexibleNullability] kotlin.Any? origin=null
<T>: @[FlexibleNullability] kotlin.Any?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
VAR name:k4 type:kotlin.Nothing [val]
TYPE_OP type=kotlin.Nothing origin=IMPLICIT_NOTNULL typeOperand=kotlin.Nothing
CALL 'public open fun bar <T> (): @[FlexibleNullability] T of <root>.A.bar? declared in <root>.A' type=@[FlexibleNullability] kotlin.Nothing? origin=null
<T>: @[FlexibleNullability] kotlin.Nothing?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.A.foo?): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.Int?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
a: CONST Int type=kotlin.Int value=1
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.A.foo?): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.Nothing?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.A.foo?): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
<T>: kotlin.Int?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.A.foo?): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.collections.List<kotlin.Nothing?>?
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
a: CALL 'public final fun listOf <T> (element: T of kotlin.collections.listOf): kotlin.collections.List<T of kotlin.collections.listOf> declared in kotlin.collections' type=kotlin.collections.List<kotlin.Nothing?> origin=null
<T>: kotlin.Nothing?
element: CONST Null type=kotlin.Nothing? value=null
VAR name:k5 type:kotlin.Int? [val]
CALL 'public open fun bar <T> (): T of <root>.B.bar declared in <root>.B' type=kotlin.Int? origin=null
<T>: kotlin.Int?
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
VAR name:k6 type:kotlin.Any [val]
CALL 'public open fun bar <T> (): T of <root>.B.bar declared in <root>.B' type=kotlin.Any origin=null
<T>: kotlin.Any
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
CALL 'public open fun foo <T> (a: T of <root>.B.foo): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
<T>: kotlin.Int
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
a: CONST Int type=kotlin.Int value=1
CALL 'public open fun foo <T> (a: T of <root>.B.foo): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
<T>: kotlin.Nothing?
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: T of <root>.B.foo): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
<T>: kotlin.Int?
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: T of <root>.B.foo): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null
<T>: kotlin.collections.List<kotlin.Nothing?>
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
a: CALL 'public final fun listOf <T> (element: T of kotlin.collections.listOf): kotlin.collections.List<T of kotlin.collections.listOf> declared in kotlin.collections' type=kotlin.collections.List<kotlin.Nothing?> origin=null
<T>: kotlin.Nothing?
element: CONST Null type=kotlin.Nothing? value=null
VAR name:k7 type:kotlin.Int? [val]
CALL 'public open fun bar <T> (): T of <root>.C.bar declared in <root>.C' type=kotlin.Int? origin=null
<T>: kotlin.Int?
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
VAR name:k8 type:kotlin.Any [val]
CALL 'public open fun bar <T> (): T of <root>.C.bar declared in <root>.C' type=kotlin.Any origin=null
<T>: kotlin.Any
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.C.foo?): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.Int?
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
a: CONST Int type=kotlin.Int value=1
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.C.foo?): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.Nothing?
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.C.foo?): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
<T>: kotlin.Int?
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.C.foo?): kotlin.Unit declared in <root>.C' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.collections.List<kotlin.Nothing?>?
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
a: CALL 'public final fun listOf <T> (element: T of kotlin.collections.listOf): kotlin.collections.List<T of kotlin.collections.listOf> declared in kotlin.collections' type=kotlin.collections.List<kotlin.Nothing?> origin=null
<T>: kotlin.Nothing?
element: CONST Null type=kotlin.Nothing? value=null
VAR name:k9 type:kotlin.Int? [val]
CALL 'public open fun bar <T> (): T of <root>.D.bar declared in <root>.D' type=kotlin.Int? origin=null
<T>: kotlin.Int?
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
VAR name:k10 type:kotlin.Any [val]
CALL 'public open fun bar <T> (): T of <root>.D.bar declared in <root>.D' type=kotlin.Any origin=null
<T>: kotlin.Any
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
CALL 'public open fun foo <T> (a: T of <root>.D.foo): kotlin.Unit declared in <root>.D' type=kotlin.Unit origin=null
<T>: kotlin.Int
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
a: CONST Int type=kotlin.Int value=1
CALL 'public open fun foo <T> (a: T of <root>.D.foo): kotlin.Unit declared in <root>.D' type=kotlin.Unit origin=null
<T>: kotlin.Nothing?
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: T of <root>.D.foo): kotlin.Unit declared in <root>.D' type=kotlin.Unit origin=null
<T>: kotlin.Int?
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
a: CONST Null type=kotlin.Nothing? value=null
CALL 'public open fun foo <T> (a: T of <root>.D.foo): kotlin.Unit declared in <root>.D' type=kotlin.Unit origin=null
<T>: kotlin.collections.List<kotlin.Nothing?>
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
a: CALL 'public final fun listOf <T> (element: T of kotlin.collections.listOf): kotlin.collections.List<T of kotlin.collections.listOf> declared in kotlin.collections' type=kotlin.collections.List<kotlin.Nothing?> origin=null
<T>: kotlin.Nothing?
element: CONST Null type=kotlin.Nothing? value=null
VAR name:k11 type:kotlin.Int? [val]
CALL 'public open fun bar <T> (): T of <root>.E.bar declared in <root>.E' type=kotlin.Int? origin=null
<T>: kotlin.Int?
$this: GET_VAR 'e: <root>.E declared in <root>.test' type=<root>.E origin=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.E.foo?): kotlin.Unit declared in <root>.E' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.Int?
$this: GET_VAR 'e: <root>.E declared in <root>.test' type=<root>.E origin=null
a: CONST Int type=kotlin.Int value=1
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.E.foo?): kotlin.Unit declared in <root>.E' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.Nothing?
$this: GET_VAR 'e: <root>.E declared in <root>.test' type=<root>.E origin=null
a: CONST Null type=kotlin.Nothing? value=null
VAR name:k12 type:kotlin.Any? [val]
CALL 'public open fun bar <T> (): T of <root>.F.bar declared in <root>.F' type=kotlin.Any? origin=null
<T>: kotlin.Any?
$this: GET_VAR 'f: <root>.F declared in <root>.test' type=<root>.F origin=null
CALL 'public open fun foo <T> (a: @[FlexibleNullability] T of <root>.F.foo?): kotlin.Unit declared in <root>.F' type=kotlin.Unit origin=null
<T>: @[FlexibleNullability] kotlin.Int?
$this: GET_VAR 'f: <root>.F declared in <root>.test' type=<root>.F origin=null
a: CONST Int type=kotlin.Int value=1
compiler/testData/ir/irText/fakeOverrides/generics/intersectionGenericMethodOverride.fir.kt.txt
Vendored
-111
View File
@@ -1,111 +0,0 @@
class A : Java1, Java2 {
constructor() /* primary */ {
super/*Java1*/()
/* <init>() */
}
}
class B : Java1, Java2 {
constructor() /* primary */ {
super/*Java1*/()
/* <init>() */
}
override fun <T : Any?> bar(): T {
return CHECK_NOT_NULL<Nothing>(arg0 = null)
}
override fun <T : Any?> foo(a: T) {
}
}
abstract class C : Java1, KotlinInterface {
constructor() /* primary */ {
super/*Java1*/()
/* <init>() */
}
}
class D : Java1, KotlinInterface {
constructor() /* primary */ {
super/*Java1*/()
/* <init>() */
}
override fun <T : Any?> bar(): T {
return CHECK_NOT_NULL<Nothing>(arg0 = null)
}
override fun <T : Any?> foo(a: T) {
}
}
class E : Java1, Java2, KotlinInterface {
constructor() /* primary */ {
super/*Java1*/()
/* <init>() */
}
}
class F : Java1, Java2, KotlinInterface {
constructor() /* primary */ {
super/*Java1*/()
/* <init>() */
}
override fun <T : Any?> bar(): T {
return CHECK_NOT_NULL<Nothing>(arg0 = null)
}
}
interface KotlinInterface {
abstract fun <T : Any?> bar(): T
abstract fun <T : Any?> foo(a: T)
}
fun test(a: A, b: B, c: C, d: D, e: E, f: F) {
val k: Int = a.bar<Int?>() /*!! Int */
val k3: Any = a.bar<@FlexibleNullability Any?>() /*!! Any */
val k4: Nothing = a.bar<@FlexibleNullability Nothing?>() /*!! Nothing */
a.foo<@FlexibleNullability Int?>(a = 1)
a.foo<@FlexibleNullability Nothing?>(a = null)
a.foo<Int?>(a = null)
a.foo<@FlexibleNullability List<Nothing?>?>(a = listOf<Nothing?>(element = null))
val k5: Int? = b.bar<Int?>()
val k6: Any = b.bar<Any>()
b.foo<Int>(a = 1)
b.foo<Nothing?>(a = null)
b.foo<Int?>(a = null)
b.foo<List<Nothing?>>(a = listOf<Nothing?>(element = null))
val k7: Int? = c.bar<Int?>()
val k8: Any = c.bar<Any>()
c.foo<@FlexibleNullability Int?>(a = 1)
c.foo<@FlexibleNullability Nothing?>(a = null)
c.foo<Int?>(a = null)
c.foo<@FlexibleNullability List<Nothing?>?>(a = listOf<Nothing?>(element = null))
val k9: Int? = d.bar<Int?>()
val k10: Any = d.bar<Any>()
d.foo<Int>(a = 1)
d.foo<Nothing?>(a = null)
d.foo<Int?>(a = null)
d.foo<List<Nothing?>>(a = listOf<Nothing?>(element = null))
val k11: Int? = e.bar<Int?>()
e.foo<@FlexibleNullability Int?>(a = 1)
e.foo<@FlexibleNullability Nothing?>(a = null)
val k12: Any? = f.bar<Any?>()
f.foo<@FlexibleNullability Int?>(a = 1)
}
compiler/testData/ir/irText/fakeOverrides/generics/intersectionGenericMethodOverride.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// FIR_IDENTICAL
// TARGET_BACKEND: JVM
// WITH_STDLIB
compiler/testData/ir/irText/fakeOverrides/java21/sequenceCollectionIntersectionOverrideKJK.fir.ir.txt
Vendored
+5 -5
View File
@@ -1381,7 +1381,7 @@ FILE fqName:<root> fileName:/1.kt
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
p0: CONST Int type=kotlin.Int value=0
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CALL 'public open fun remove (): @[FlexibleNullability] kotlin.Int? declared in <root>.C' type=@[FlexibleNullability] kotlin.Int? origin=null
CALL 'public open fun remove (): @[FlexibleNullability] 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
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CALL 'public open fun removeAt (p0: kotlin.Int): @[EnhancedNullability] kotlin.Int? declared in <root>.C' type=@[EnhancedNullability] kotlin.Int? origin=null
@@ -1398,10 +1398,10 @@ FILE fqName:<root> fileName:/1.kt
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
p0: CONST Null type=kotlin.Nothing? value=null
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CALL 'public open fun removeFirst (): @[FlexibleNullability] kotlin.Int? declared in <root>.C' type=@[FlexibleNullability] kotlin.Int? origin=null
CALL 'public open fun removeFirst (): @[FlexibleNullability] 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
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CALL 'public open fun removeLast (): @[FlexibleNullability] kotlin.Int? declared in <root>.C' type=@[FlexibleNullability] kotlin.Int? origin=null
CALL 'public open fun removeLast (): @[FlexibleNullability] 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
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CALL 'public open fun <get-size> (): kotlin.Int declared in <root>.D' type=kotlin.Int origin=GET_PROPERTY
@@ -1432,8 +1432,8 @@ FILE fqName:<root> fileName:/1.kt
$this: GET_VAR 'd: <root>.D declared in <root>.test' type=<root>.D origin=null
e: CONST Null type=kotlin.Nothing? value=null
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CALL 'public open fun removeFirst (): @[FlexibleNullability] kotlin.Int? declared in <root>.D' type=@[FlexibleNullability] kotlin.Int? origin=null
CALL 'public open fun removeFirst (): @[FlexibleNullability] 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
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CALL 'public open fun removeLast (): @[FlexibleNullability] kotlin.Int? declared in <root>.D' type=@[FlexibleNullability] kotlin.Int? origin=null
CALL 'public open fun removeLast (): @[FlexibleNullability] 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
compiler/testData/ir/irText/fakeOverrides/java21/sequenceSetIntersectionOverrideKJK.fir.ir.txt
Vendored
+4 -4
View File
@@ -790,16 +790,16 @@ FILE fqName:<root> fileName:/1.kt
$this: GET_VAR 'c: <root>.C declared in <root>.test' type=<root>.C origin=null
p0: CONST Null type=kotlin.Nothing? value=null
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CALL 'public open fun removeFirst (): @[FlexibleNullability] kotlin.Int? declared in <root>.C' type=@[FlexibleNullability] kotlin.Int? origin=null
CALL 'public open fun removeFirst (): @[FlexibleNullability] 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
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CALL 'public open fun removeLast (): @[FlexibleNullability] kotlin.Int? declared in <root>.C' type=@[FlexibleNullability] kotlin.Int? origin=null
CALL 'public open fun removeLast (): @[FlexibleNullability] 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
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CALL 'public open fun reversed (): @[FlexibleNullability] java.util.SortedSet<@[FlexibleNullability] kotlin.Int?>? declared in <root>.C' type=@[FlexibleNullability] java.util.SortedSet<@[FlexibleNullability] kotlin.Int?>? origin=null
CALL 'public open fun reversed (): @[FlexibleNullability] java.util.SortedSet<@[FlexibleNullability] kotlin.Int?>? declared in <root>.C' type=@[FlexibleNullability] java.util.SortedSet<kotlin.Int?>? 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 getFirst (): @[FlexibleNullability] kotlin.Int? declared in <root>.C' type=@[FlexibleNullability] kotlin.Int? origin=GET_PROPERTY
CALL 'public open fun getFirst (): @[FlexibleNullability] kotlin.Int? declared in <root>.C' type=kotlin.Int? origin=GET_PROPERTY
$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 reversed (): java.util.SortedSet<kotlin.Int?>? declared in <root>.D' type=java.util.SortedSet<kotlin.Int?>? origin=null
compiler/testData/ir/irText/fakeOverrides/kjkWithRawTypes.overrides.txt
Vendored
+4 -3
View File
@@ -4,6 +4,7 @@ A:
[SubstitutionOverride(DeclarationSite)]: public open override fun foo(t: R|kotlin/Number!|): R|kotlin/Unit| from Use site scope of /A [id: 0]
[SubstitutionOverride(DeclarationSite)]: public open override fun foo(t: R|kotlin/Number!|): R|kotlin/Unit| from Java enhancement scope for /Java2 [id: 0]
[SubstitutionOverride(DeclarationSite)]: public open override fun foo(t: R|kotlin/Number!|): R|kotlin/Unit| from Substitution scope for [Use site scope of /KotlinClass] for type Java2 [id: 0]
[SubstitutionOverride(DeclarationSite)]: public open override fun foo(t: R|ft<T & Any, T?>|): R|kotlin/Unit| from Use site scope of /KotlinClass [id: 1]
[SubstitutionOverride(DeclarationSite)]: public open override fun foo(t: R|ft<T & Any, T?>|): R|kotlin/Unit| from Substitution scope for [Java enhancement scope for /Java1] for type KotlinClass<T> [id: 1]
[Enhancement]: public open fun foo(t: R|ft<T & Any, T?>|): R|kotlin/Unit| from Java enhancement scope for /Java1 [id: 2]
[SubstitutionOverride(DeclarationSite)]: public open override fun foo(t: R|T!|): R|kotlin/Unit| from Use site scope of /KotlinClass [id: 1]
[SubstitutionOverride(DeclarationSite)]: public open override fun foo(t: R|T!|): R|kotlin/Unit| from Substitution scope for [Java enhancement scope for /Java1] for type KotlinClass<T> [id: 1]
[Enhancement]: public open fun foo(t: R|T!|): R|kotlin/Unit| from Java enhancement scope for /Java1 [id: 2]
compiler/testData/ir/irText/fakeOverrides/operators/substitutionOperatorsOverride.fir.ir.txt
Vendored
+1 -1
View File
@@ -89,7 +89,7 @@ FILE fqName:<root> fileName:/1.kt
$this: GET_VAR 'val a: <root>.A declared in <root>.test' type=<root>.A origin=null
i: CONST Int type=kotlin.Int value=1
VAR name:k2 type:kotlin.Int? [val]
CALL 'public open fun get (i: @[FlexibleNullability] kotlin.Int?): @[FlexibleNullability] kotlin.Int? declared in <root>.A' type=@[FlexibleNullability] kotlin.Int? origin=GET_ARRAY_ELEMENT
CALL 'public open fun get (i: @[FlexibleNullability] kotlin.Int?): @[FlexibleNullability] kotlin.Int? declared in <root>.A' type=kotlin.Int? origin=GET_ARRAY_ELEMENT
$this: GET_VAR 'val a: <root>.A declared in <root>.test' type=<root>.A origin=null
i: CONST Int type=kotlin.Int value=1
VAR name:b type:<root>.B [val]
compiler/testData/ir/irText/fakeOverrides/platformtypes/intersectionWithGenericOnComplexHierarchy.fir.ir.txt
Vendored
+2 -2
View File
@@ -497,7 +497,7 @@ FILE fqName:<root> fileName:/1.kt
CALL 'public open fun foo (): T of <root>.C declared in <root>.C' type=kotlin.Any origin=null
$this: GET_VAR 'c: <root>.C<kotlin.Any> declared in <root>.test' type=<root>.C<kotlin.Any> origin=null
VAR name:k9 type:kotlin.Any? [val]
CALL 'public abstract fun <get-a> (): @[FlexibleNullability] T of <root>.D? declared in <root>.D' type=@[FlexibleNullability] kotlin.Any? origin=GET_PROPERTY
CALL 'public abstract fun <get-a> (): @[FlexibleNullability] T of <root>.D? declared in <root>.D' type=kotlin.Any? origin=GET_PROPERTY
$this: GET_VAR 'd: <root>.D<kotlin.Any?> declared in <root>.test' type=<root>.D<kotlin.Any?> origin=null
CALL 'public abstract fun <set-a> (<set-?>: @[FlexibleNullability] T of <root>.D?): kotlin.Unit declared in <root>.D' type=kotlin.Unit origin=EQ
$this: GET_VAR 'd: <root>.D<kotlin.Any?> declared in <root>.test' type=<root>.D<kotlin.Any?> origin=null
@@ -566,7 +566,7 @@ FILE fqName:<root> fileName:/1.kt
$this: GET_VAR 'h: <root>.H<kotlin.Any?> declared in <root>.test' type=<root>.H<kotlin.Any?> origin=null
o: CONST Null type=kotlin.Nothing? value=null
VAR name:k26 type:kotlin.Any? [val]
CALL 'public abstract fun foo (): @[FlexibleNullability] T of <root>.H? declared in <root>.H' type=@[FlexibleNullability] kotlin.Any? origin=null
CALL 'public abstract fun foo (): @[FlexibleNullability] T of <root>.H? declared in <root>.H' type=kotlin.Any? origin=null
$this: GET_VAR 'h: <root>.H<kotlin.Any?> declared in <root>.test' type=<root>.H<kotlin.Any?> origin=null
VAR name:k27 type:kotlin.Unit [val]
CALL 'public open fun bar (o: T of <root>.I): kotlin.Unit declared in <root>.I' type=kotlin.Unit origin=null
compiler/testData/ir/irText/fakeOverrides/platformtypes/substitutionOverrideOnCollections.fir.ir.txt
Vendored
+12 -12
View File
@@ -355,16 +355,16 @@ FILE fqName:<root> fileName:/1.kt
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
c: GET_VAR 'val k3: kotlin.collections.MutableSet<kotlin.Int> declared in <root>.test' type=kotlin.collections.MutableSet<kotlin.Int> origin=null
VAR name:k19 type:kotlin.collections.MutableList<kotlin.String?> [val]
TYPE_OP type=@[FlexibleMutability] kotlin.collections.MutableList<@[FlexibleNullability] kotlin.String?> origin=IMPLICIT_NOTNULL typeOperand=@[FlexibleMutability] kotlin.collections.MutableList<@[FlexibleNullability] kotlin.String?>
GET_FIELD 'FIELD IR_EXTERNAL_JAVA_DECLARATION_STUB name:a type:@[FlexibleNullability] @[FlexibleMutability] kotlin.collections.MutableList<@[FlexibleNullability] T of <root>.Java1?>? visibility:public' type=@[FlexibleNullability] @[FlexibleMutability] kotlin.collections.MutableList<@[FlexibleNullability] kotlin.String?>? origin=null
TYPE_OP type=@[FlexibleMutability] kotlin.collections.MutableList<kotlin.String?> origin=IMPLICIT_NOTNULL typeOperand=@[FlexibleMutability] kotlin.collections.MutableList<kotlin.String?>
GET_FIELD 'FIELD IR_EXTERNAL_JAVA_DECLARATION_STUB name:a type:@[FlexibleNullability] @[FlexibleMutability] kotlin.collections.MutableList<@[FlexibleNullability] T of <root>.Java1?>? visibility:public' type=@[FlexibleNullability] @[FlexibleMutability] kotlin.collections.MutableList<kotlin.String?>? origin=null
receiver: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
VAR name:k20 type:java.util.Queue<kotlin.String?> [val]
TYPE_OP type=java.util.Queue<@[FlexibleNullability] kotlin.String?> origin=IMPLICIT_NOTNULL typeOperand=java.util.Queue<@[FlexibleNullability] kotlin.String?>
GET_FIELD 'FIELD IR_EXTERNAL_JAVA_DECLARATION_STUB name:b type:@[FlexibleNullability] java.util.Queue<@[FlexibleNullability] T of <root>.Java1?>? visibility:public' type=@[FlexibleNullability] java.util.Queue<@[FlexibleNullability] kotlin.String?>? origin=null
TYPE_OP type=java.util.Queue<kotlin.String?> origin=IMPLICIT_NOTNULL typeOperand=java.util.Queue<kotlin.String?>
GET_FIELD 'FIELD IR_EXTERNAL_JAVA_DECLARATION_STUB name:b type:@[FlexibleNullability] java.util.Queue<@[FlexibleNullability] T of <root>.Java1?>? visibility:public' type=@[FlexibleNullability] java.util.Queue<kotlin.String?>? origin=null
receiver: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
VAR name:k21 type:kotlin.collections.MutableSet<kotlin.String?> [val]
TYPE_OP type=@[FlexibleMutability] kotlin.collections.MutableSet<@[FlexibleNullability] kotlin.String?> origin=IMPLICIT_NOTNULL typeOperand=@[FlexibleMutability] kotlin.collections.MutableSet<@[FlexibleNullability] kotlin.String?>
GET_FIELD 'FIELD IR_EXTERNAL_JAVA_DECLARATION_STUB name:c type:@[FlexibleNullability] @[FlexibleMutability] kotlin.collections.MutableSet<@[FlexibleNullability] T of <root>.Java1?>? visibility:public' type=@[FlexibleNullability] @[FlexibleMutability] kotlin.collections.MutableSet<@[FlexibleNullability] kotlin.String?>? origin=null
TYPE_OP type=@[FlexibleMutability] kotlin.collections.MutableSet<kotlin.String?> origin=IMPLICIT_NOTNULL typeOperand=@[FlexibleMutability] kotlin.collections.MutableSet<kotlin.String?>
GET_FIELD 'FIELD IR_EXTERNAL_JAVA_DECLARATION_STUB name:c type:@[FlexibleNullability] @[FlexibleMutability] kotlin.collections.MutableSet<@[FlexibleNullability] T of <root>.Java1?>? visibility:public' type=@[FlexibleNullability] @[FlexibleMutability] kotlin.collections.MutableSet<kotlin.String?>? origin=null
receiver: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
SET_FIELD 'FIELD IR_EXTERNAL_JAVA_DECLARATION_STUB name:a type:@[FlexibleNullability] @[FlexibleMutability] kotlin.collections.MutableList<@[FlexibleNullability] T of <root>.Java1?>? visibility:public' type=kotlin.Unit origin=EQ
receiver: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
@@ -379,16 +379,16 @@ FILE fqName:<root> fileName:/1.kt
value: CALL 'public final fun mutableSetOf <T> (): kotlin.collections.MutableSet<T of kotlin.collections.mutableSetOf> declared in kotlin.collections' type=kotlin.collections.MutableSet<kotlin.String?> origin=null
<T>: kotlin.String?
VAR name:k22 type:kotlin.collections.MutableList<kotlin.String?> [val]
TYPE_OP type=@[FlexibleMutability] kotlin.collections.MutableList<@[FlexibleNullability] kotlin.String?> origin=IMPLICIT_NOTNULL typeOperand=@[FlexibleMutability] kotlin.collections.MutableList<@[FlexibleNullability] kotlin.String?>
CALL 'public open fun bar (): @[FlexibleNullability] @[FlexibleMutability] kotlin.collections.MutableList<@[FlexibleNullability] kotlin.String?>? declared in <root>.B' type=@[FlexibleNullability] @[FlexibleMutability] kotlin.collections.MutableList<@[FlexibleNullability] kotlin.String?>? origin=null
TYPE_OP type=@[FlexibleMutability] kotlin.collections.MutableList<kotlin.String?> origin=IMPLICIT_NOTNULL typeOperand=@[FlexibleMutability] kotlin.collections.MutableList<kotlin.String?>
CALL 'public open fun bar (): @[FlexibleNullability] @[FlexibleMutability] kotlin.collections.MutableList<@[FlexibleNullability] kotlin.String?>? declared in <root>.B' type=@[FlexibleNullability] @[FlexibleMutability] kotlin.collections.MutableList<kotlin.String?>? origin=null
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
VAR name:k23 type:java.util.Queue<kotlin.String?> [val]
TYPE_OP type=java.util.Queue<@[FlexibleNullability] kotlin.String?> origin=IMPLICIT_NOTNULL typeOperand=java.util.Queue<@[FlexibleNullability] kotlin.String?>
CALL 'public open fun bar2 (): @[FlexibleNullability] java.util.Queue<@[FlexibleNullability] kotlin.String?>? declared in <root>.B' type=@[FlexibleNullability] java.util.Queue<@[FlexibleNullability] kotlin.String?>? origin=null
TYPE_OP type=java.util.Queue<kotlin.String?> origin=IMPLICIT_NOTNULL typeOperand=java.util.Queue<kotlin.String?>
CALL 'public open fun bar2 (): @[FlexibleNullability] java.util.Queue<@[FlexibleNullability] kotlin.String?>? declared in <root>.B' type=@[FlexibleNullability] java.util.Queue<kotlin.String?>? origin=null
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
VAR name:k24 type:kotlin.collections.MutableSet<kotlin.String?> [val]
TYPE_OP type=@[FlexibleMutability] kotlin.collections.MutableSet<@[FlexibleNullability] kotlin.String?> origin=IMPLICIT_NOTNULL typeOperand=@[FlexibleMutability] kotlin.collections.MutableSet<@[FlexibleNullability] kotlin.String?>
CALL 'public open fun bar3 (): @[FlexibleNullability] @[FlexibleMutability] kotlin.collections.MutableSet<@[FlexibleNullability] kotlin.String?>? declared in <root>.B' type=@[FlexibleNullability] @[FlexibleMutability] kotlin.collections.MutableSet<@[FlexibleNullability] kotlin.String?>? origin=null
TYPE_OP type=@[FlexibleMutability] kotlin.collections.MutableSet<kotlin.String?> origin=IMPLICIT_NOTNULL typeOperand=@[FlexibleMutability] kotlin.collections.MutableSet<kotlin.String?>
CALL 'public open fun bar3 (): @[FlexibleNullability] @[FlexibleMutability] kotlin.collections.MutableSet<@[FlexibleNullability] kotlin.String?>? declared in <root>.B' type=@[FlexibleNullability] @[FlexibleMutability] kotlin.collections.MutableSet<kotlin.String?>? origin=null
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
CALL 'public open fun foo (a: @[FlexibleNullability] @[FlexibleMutability] kotlin.collections.MutableList<@[FlexibleNullability] kotlin.String?>?): 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
compiler/testData/ir/irText/fakeOverrides/platformtypes/substitutionOverrideOnCollections.fir.kt.txt
Vendored
+6 -6
View File
@@ -90,15 +90,15 @@ fun test(a: A, b: B, c: C, d: D, e: E, f: F) {
a.foo(a = k)
a.foo2(b = k2)
a.foo3(c = k3)
val k19: MutableList<String?> = b.#a /*!! @FlexibleMutability MutableList<@FlexibleNullability String?> */
val k20: Queue<String?> = b.#b /*!! Queue<@FlexibleNullability String?> */
val k21: MutableSet<String?> = b.#c /*!! @FlexibleMutability MutableSet<@FlexibleNullability String?> */
val k19: MutableList<String?> = b.#a /*!! @FlexibleMutability MutableList<String?> */
val k20: Queue<String?> = b.#b /*!! Queue<String?> */
val k21: MutableSet<String?> = b.#c /*!! @FlexibleMutability MutableSet<String?> */
b.#a = mutableListOf<String?>()
b.#b = LinkedList<String>()
b.#c = mutableSetOf<String?>()
val k22: MutableList<String?> = b.bar() /*!! @FlexibleMutability MutableList<@FlexibleNullability String?> */
val k23: Queue<String?> = b.bar2() /*!! Queue<@FlexibleNullability String?> */
val k24: MutableSet<String?> = b.bar3() /*!! @FlexibleMutability MutableSet<@FlexibleNullability String?> */
val k22: MutableList<String?> = b.bar() /*!! @FlexibleMutability MutableList<String?> */
val k23: Queue<String?> = b.bar2() /*!! Queue<String?> */
val k24: MutableSet<String?> = b.bar3() /*!! @FlexibleMutability MutableSet<String?> */
b.foo(a = k19)
b.foo2(b = k20)
b.foo3(c = k21)
compiler/testData/ir/irText/fakeOverrides/typenothing/substitutionOverrideOnNothing.fir.ir.txt
Vendored
+2 -2
View File
@@ -74,10 +74,10 @@ FILE fqName:<root> fileName:/1.kt
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
t: GET_VAR 'val k: kotlin.Nothing declared in <root>.test' type=kotlin.Nothing origin=null
VAR name:k4 type:kotlin.Nothing? [val]
GET_FIELD 'FIELD IR_EXTERNAL_JAVA_DECLARATION_STUB name:a type:@[FlexibleNullability] T of <root>.Java1? visibility:public' type=@[FlexibleNullability] kotlin.Nothing? origin=null
GET_FIELD 'FIELD IR_EXTERNAL_JAVA_DECLARATION_STUB name:a type:@[FlexibleNullability] T of <root>.Java1? visibility:public' type=kotlin.Nothing? origin=null
receiver: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
VAR name:k5 type:kotlin.Nothing? [val]
CALL 'public open fun bar (): @[FlexibleNullability] kotlin.Nothing? declared in <root>.B' type=@[FlexibleNullability] kotlin.Nothing? origin=null
CALL 'public open fun bar (): @[FlexibleNullability] kotlin.Nothing? declared in <root>.B' type=kotlin.Nothing? origin=null
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
VAR name:k6 type:kotlin.Unit [val]
CALL 'public open fun foo (t: @[FlexibleNullability] kotlin.Nothing?): kotlin.Unit declared in <root>.B' type=kotlin.Unit origin=null