Files
kotlin-fork/compiler/testData/ir/irText/fakeOverrides/java21/sequenceSetIntersectionOverrideKJJ.fir.ir.txt
Kirill Rakhman 69a7bf7f68 [FIR] Add equality constraint from expected type for some synthetic function calls
This fixes some cases where we infer some type variable inside one
of the branches to Nothing instead of the expected type because Nothing
appeared in some other branch.

Specifically, we add an equality instead of a subtype constraint during
completion of calls to synthetic functions for if/when, try and !!.
We don't do it when the call contains a (possibly nested) elvis or is
inside the RHS of an assignment.
Otherwise, we would prevent some smart-casts.

#KT-65882 Fixed
2024-03-05 17:38:59 +00:00

382 lines
45 KiB
Plaintext
Vendored

FILE fqName:<root> fileName:/1.kt
CLASS CLASS name:A modality:ABSTRACT visibility:public superTypes:[java.util.HashSet<kotlin.Int>; java.util.SequencedSet<kotlin.Int>]
$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 java.util.HashSet'
<E>: kotlin.Int
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:A modality:ABSTRACT visibility:public superTypes:[java.util.HashSet<kotlin.Int>; java.util.SequencedSet<kotlin.Int>]'
FUN FAKE_OVERRIDE name:add visibility:public modality:OPEN <> ($this:java.util.HashSet<kotlin.Int>, p0:@[EnhancedNullability] kotlin.Int) returnType:kotlin.Boolean [fake_override]
overridden:
public open fun add (p0: @[EnhancedNullability] E of java.util.HashSet): kotlin.Boolean declared in java.util.HashSet
public abstract fun add (element: @[FlexibleNullability] E of java.util.SequencedSet?): kotlin.Boolean declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.HashSet<kotlin.Int>
VALUE_PARAMETER name:p0 index:0 type:@[EnhancedNullability] kotlin.Int
FUN FAKE_OVERRIDE name:addAll visibility:public modality:OPEN <> ($this:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Int?>, p0:@[EnhancedNullability] kotlin.collections.Collection<out @[EnhancedNullability] kotlin.Int>) returnType:kotlin.Boolean [fake_override]
overridden:
public open fun addAll (p0: @[EnhancedNullability] kotlin.collections.Collection<out @[EnhancedNullability] E of java.util.HashSet>): kotlin.Boolean declared in java.util.HashSet
public abstract fun addAll (elements: kotlin.collections.Collection<@[FlexibleNullability] E of java.util.SequencedSet?>): kotlin.Boolean declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Int?>
VALUE_PARAMETER name:p0 index:0 type:@[EnhancedNullability] kotlin.collections.Collection<out @[EnhancedNullability] kotlin.Int>
FUN FAKE_OVERRIDE name:addFirst visibility:public modality:OPEN <> ($this:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>, p0:@[FlexibleNullability] kotlin.Int?) returnType:kotlin.Unit [fake_override]
overridden:
public open fun addFirst (p0: @[FlexibleNullability] E of java.util.SequencedSet?): kotlin.Unit declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>
VALUE_PARAMETER name:p0 index:0 type:@[FlexibleNullability] kotlin.Int?
FUN FAKE_OVERRIDE name:addLast visibility:public modality:OPEN <> ($this:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>, p0:@[FlexibleNullability] kotlin.Int?) returnType:kotlin.Unit [fake_override]
overridden:
public open fun addLast (p0: @[FlexibleNullability] E of java.util.SequencedSet?): kotlin.Unit declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>
VALUE_PARAMETER name:p0 index:0 type:@[FlexibleNullability] kotlin.Int?
FUN FAKE_OVERRIDE name:clear visibility:public modality:OPEN <> ($this:java.util.HashSet<kotlin.Int>) returnType:kotlin.Unit [fake_override]
overridden:
public open fun clear (): kotlin.Unit declared in java.util.HashSet
public abstract fun clear (): kotlin.Unit declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.HashSet<kotlin.Int>
FUN FAKE_OVERRIDE name:clone visibility:public modality:OPEN <> ($this:java.util.HashSet<kotlin.Int>) returnType:@[EnhancedNullability] kotlin.Any [fake_override]
overridden:
public open fun clone (): @[EnhancedNullability] kotlin.Any declared in java.util.HashSet
$this: VALUE_PARAMETER name:<this> type:java.util.HashSet<kotlin.Int>
FUN FAKE_OVERRIDE name:contains visibility:public modality:OPEN <> ($this:java.util.HashSet<kotlin.Int>, p0:@[EnhancedNullability] kotlin.Int) returnType:kotlin.Boolean [fake_override,operator]
overridden:
public open fun contains (p0: @[EnhancedNullability] E of java.util.HashSet): kotlin.Boolean declared in java.util.HashSet
public abstract fun contains (element: @[FlexibleNullability] E of java.util.SequencedSet?): kotlin.Boolean declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.HashSet<kotlin.Int>
VALUE_PARAMETER name:p0 index:0 type:@[EnhancedNullability] kotlin.Int
FUN FAKE_OVERRIDE name:containsAll visibility:public modality:OPEN <> ($this:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Int?>, p0:kotlin.collections.Collection<@[EnhancedNullability] kotlin.Int>) returnType:kotlin.Boolean [fake_override]
overridden:
public open fun containsAll (p0: kotlin.collections.Collection<@[EnhancedNullability] E of java.util.HashSet>): kotlin.Boolean declared in java.util.HashSet
public abstract fun containsAll (elements: kotlin.collections.Collection<@[FlexibleNullability] E of java.util.SequencedSet?>): kotlin.Boolean declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Int?>
VALUE_PARAMETER name:p0 index:0 type:kotlin.collections.Collection<@[EnhancedNullability] kotlin.Int>
FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:java.util.AbstractSet<@[FlexibleNullability] kotlin.Int?>, p0:@[EnhancedNullability] kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
overridden:
public open fun equals (p0: @[EnhancedNullability] kotlin.Any?): kotlin.Boolean declared in java.util.HashSet
public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.AbstractSet<@[FlexibleNullability] kotlin.Int?>
VALUE_PARAMETER name:p0 index:0 type:@[EnhancedNullability] kotlin.Any?
FUN FAKE_OVERRIDE name:forEach visibility:public modality:OPEN <> ($this:kotlin.collections.Iterable<kotlin.Int>, p0:@[FlexibleNullability] java.util.function.Consumer<in @[FlexibleNullability] kotlin.Int?>?) returnType:kotlin.Unit [fake_override]
overridden:
public open fun forEach (p0: @[FlexibleNullability] java.util.function.Consumer<in @[FlexibleNullability] E of java.util.HashSet?>?): kotlin.Unit declared in java.util.HashSet
public open fun forEach (p0: @[FlexibleNullability] java.util.function.Consumer<in @[FlexibleNullability] E of java.util.SequencedSet?>?): kotlin.Unit declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:kotlin.collections.Iterable<kotlin.Int>
VALUE_PARAMETER name:p0 index:0 type:@[FlexibleNullability] java.util.function.Consumer<in @[FlexibleNullability] kotlin.Int?>?
FUN FAKE_OVERRIDE name:getFirst visibility:public modality:OPEN <> ($this:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>) returnType:@[FlexibleNullability] kotlin.Int? [fake_override]
overridden:
public open fun getFirst (): @[FlexibleNullability] E of java.util.SequencedSet? declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>
FUN FAKE_OVERRIDE name:getLast visibility:public modality:OPEN <> ($this:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>) returnType:@[FlexibleNullability] kotlin.Int? [fake_override]
overridden:
public open fun getLast (): @[FlexibleNullability] E of java.util.SequencedSet? declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>
FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:java.util.AbstractSet<@[FlexibleNullability] kotlin.Int?>) returnType:kotlin.Int [fake_override]
overridden:
public open fun hashCode (): kotlin.Int declared in java.util.HashSet
public open fun hashCode (): kotlin.Int declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.AbstractSet<@[FlexibleNullability] kotlin.Int?>
FUN FAKE_OVERRIDE name:isEmpty visibility:public modality:OPEN <> ($this:java.util.HashSet<kotlin.Int>) returnType:kotlin.Boolean [fake_override]
overridden:
public open fun isEmpty (): kotlin.Boolean declared in java.util.HashSet
public abstract fun isEmpty (): kotlin.Boolean declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.HashSet<kotlin.Int>
FUN FAKE_OVERRIDE name:iterator visibility:public modality:OPEN <> ($this:java.util.HashSet<kotlin.Int>) returnType:@[EnhancedNullability] kotlin.collections.MutableIterator<@[EnhancedNullability] kotlin.Int> [fake_override,operator]
overridden:
public open fun iterator (): @[EnhancedNullability] kotlin.collections.MutableIterator<@[EnhancedNullability] E of java.util.HashSet> declared in java.util.HashSet
public abstract fun iterator (): kotlin.collections.MutableIterator<@[FlexibleNullability] E of java.util.SequencedSet?> declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.HashSet<kotlin.Int>
FUN FAKE_OVERRIDE name:newHashSet visibility:public modality:OPEN <T> (p0:kotlin.Int) returnType:@[FlexibleNullability] java.util.HashSet<@[FlexibleNullability] T of <root>.A.newHashSet?>? [fake_override]
overridden:
public open fun newHashSet <T> (p0: kotlin.Int): @[FlexibleNullability] java.util.HashSet<@[FlexibleNullability] T of java.util.HashSet.newHashSet?>? declared in java.util.HashSet
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
VALUE_PARAMETER name:p0 index:0 type:kotlin.Int
FUN FAKE_OVERRIDE name:parallelStream visibility:public modality:OPEN <> ($this:kotlin.collections.Collection<kotlin.Int>) returnType:@[EnhancedNullability] java.util.stream.Stream<@[FlexibleNullability] @[EnhancedNullability] kotlin.Int?> [fake_override]
overridden:
public open fun parallelStream (): @[EnhancedNullability] java.util.stream.Stream<@[EnhancedNullability] @[FlexibleNullability] E of java.util.HashSet?> declared in java.util.HashSet
public open fun parallelStream (): @[EnhancedNullability] java.util.stream.Stream<@[EnhancedNullability] @[FlexibleNullability] E of java.util.SequencedSet?> declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:kotlin.collections.Collection<kotlin.Int>
FUN FAKE_OVERRIDE name:remove visibility:public modality:OPEN <> ($this:java.util.HashSet<kotlin.Int>, p0:@[EnhancedNullability] kotlin.Int) returnType:kotlin.Boolean [fake_override]
overridden:
public open fun remove (p0: @[EnhancedNullability] E of java.util.HashSet): kotlin.Boolean declared in java.util.HashSet
public abstract fun remove (element: @[FlexibleNullability] E of java.util.SequencedSet?): kotlin.Boolean declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.HashSet<kotlin.Int>
VALUE_PARAMETER name:p0 index:0 type:@[EnhancedNullability] kotlin.Int
FUN FAKE_OVERRIDE name:removeAll visibility:public modality:OPEN <> ($this:java.util.AbstractSet<@[FlexibleNullability] kotlin.Int?>, p0:kotlin.collections.Collection<@[EnhancedNullability] kotlin.Int>) returnType:kotlin.Boolean [fake_override]
overridden:
public open fun removeAll (p0: kotlin.collections.Collection<@[EnhancedNullability] E of java.util.HashSet>): kotlin.Boolean declared in java.util.HashSet
public abstract fun removeAll (elements: kotlin.collections.Collection<@[FlexibleNullability] E of java.util.SequencedSet?>): kotlin.Boolean declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.AbstractSet<@[FlexibleNullability] kotlin.Int?>
VALUE_PARAMETER name:p0 index:0 type:kotlin.collections.Collection<@[EnhancedNullability] kotlin.Int>
FUN FAKE_OVERRIDE name:removeFirst visibility:public modality:OPEN <> ($this:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>) returnType:@[FlexibleNullability] kotlin.Int? [fake_override]
overridden:
public open fun removeFirst (): @[FlexibleNullability] E of java.util.SequencedSet? declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>
FUN FAKE_OVERRIDE name:removeIf visibility:public modality:OPEN <> ($this:kotlin.collections.MutableCollection<kotlin.Int>, p0:@[EnhancedNullability] java.util.function.Predicate<in @[FlexibleNullability] @[EnhancedNullability] kotlin.Int?>) returnType:kotlin.Boolean [fake_override]
overridden:
public open fun removeIf (p0: @[EnhancedNullability] java.util.function.Predicate<in @[EnhancedNullability] @[FlexibleNullability] E of java.util.HashSet?>): kotlin.Boolean declared in java.util.HashSet
public open fun removeIf (p0: @[EnhancedNullability] java.util.function.Predicate<in @[EnhancedNullability] @[FlexibleNullability] E of java.util.SequencedSet?>): kotlin.Boolean declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:kotlin.collections.MutableCollection<kotlin.Int>
VALUE_PARAMETER name:p0 index:0 type:@[EnhancedNullability] java.util.function.Predicate<in @[FlexibleNullability] @[EnhancedNullability] kotlin.Int?>
FUN FAKE_OVERRIDE name:removeLast visibility:public modality:OPEN <> ($this:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>) returnType:@[FlexibleNullability] kotlin.Int? [fake_override]
overridden:
public open fun removeLast (): @[FlexibleNullability] E of java.util.SequencedSet? declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>
FUN FAKE_OVERRIDE name:retainAll visibility:public modality:OPEN <> ($this:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Int?>, p0:kotlin.collections.Collection<@[EnhancedNullability] kotlin.Int>) returnType:kotlin.Boolean [fake_override]
overridden:
public open fun retainAll (p0: kotlin.collections.Collection<@[EnhancedNullability] E of java.util.HashSet>): kotlin.Boolean declared in java.util.HashSet
public abstract fun retainAll (elements: kotlin.collections.Collection<@[FlexibleNullability] E of java.util.SequencedSet?>): kotlin.Boolean declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Int?>
VALUE_PARAMETER name:p0 index:0 type:kotlin.collections.Collection<@[EnhancedNullability] kotlin.Int>
FUN FAKE_OVERRIDE name:reversed visibility:public modality:ABSTRACT <> ($this:java.util.SequencedSet<kotlin.Int>) returnType:@[FlexibleNullability] java.util.SequencedSet<@[FlexibleNullability] kotlin.Int?>? [fake_override]
overridden:
public abstract fun reversed (): @[FlexibleNullability] java.util.SequencedSet<@[FlexibleNullability] E of java.util.SequencedSet?>? declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.SequencedSet<kotlin.Int>
FUN FAKE_OVERRIDE name:stream visibility:public modality:OPEN <> ($this:kotlin.collections.Collection<kotlin.Int>) returnType:@[EnhancedNullability] java.util.stream.Stream<@[FlexibleNullability] @[EnhancedNullability] kotlin.Int?> [fake_override]
overridden:
public open fun stream (): @[EnhancedNullability] java.util.stream.Stream<@[EnhancedNullability] @[FlexibleNullability] E of java.util.HashSet?> declared in java.util.HashSet
public open fun stream (): @[EnhancedNullability] java.util.stream.Stream<@[EnhancedNullability] @[FlexibleNullability] E of java.util.SequencedSet?> declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:kotlin.collections.Collection<kotlin.Int>
FUN FAKE_OVERRIDE name:toArray visibility:public modality:OPEN <> ($this:java.util.HashSet<kotlin.Int>) 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 java.util.HashSet
$this: VALUE_PARAMETER name:<this> type:java.util.HashSet<kotlin.Int>
FUN FAKE_OVERRIDE name:toArray visibility:public modality:OPEN <T> ($this:java.util.HashSet<kotlin.Int>, p0:@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of <root>.A.toArray?>?) returnType:@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of <root>.A.toArray?>? [fake_override]
overridden:
public open fun toArray <T> (p0: @[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of java.util.HashSet.toArray?>?): @[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of java.util.HashSet.toArray?>? declared in java.util.HashSet
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
$this: VALUE_PARAMETER name:<this> type:java.util.HashSet<kotlin.Int>
VALUE_PARAMETER name:p0 index:0 type:@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of <root>.A.toArray?>?
FUN FAKE_OVERRIDE name:toArray visibility:public modality:OPEN <T> ($this:kotlin.collections.Collection<kotlin.Int>, p0:@[FlexibleNullability] java.util.function.IntFunction<@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of <root>.A.toArray?>?>?) returnType:@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of <root>.A.toArray?>? [fake_override]
overridden:
public open fun toArray <T> (p0: @[FlexibleNullability] java.util.function.IntFunction<@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of java.util.HashSet.toArray?>?>?): @[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of java.util.HashSet.toArray?>? declared in java.util.HashSet
public open fun toArray <T> (p0: @[FlexibleNullability] java.util.function.IntFunction<@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of java.util.SequencedSet.toArray?>?>?): @[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of java.util.SequencedSet.toArray?>? declared in java.util.SequencedSet
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
$this: VALUE_PARAMETER name:<this> type:kotlin.collections.Collection<kotlin.Int>
VALUE_PARAMETER name:p0 index:0 type:@[FlexibleNullability] java.util.function.IntFunction<@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of <root>.A.toArray?>?>?
FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Int?>) returnType:@[EnhancedNullability] kotlin.String [fake_override]
overridden:
public open fun toString (): @[EnhancedNullability] kotlin.String declared in java.util.HashSet
public open fun toString (): kotlin.String declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Int?>
FUN name:spliterator visibility:public modality:OPEN <> ($this:<root>.A) returnType:java.util.Spliterator<kotlin.Int>
overridden:
public open fun spliterator (): @[EnhancedNullability] java.util.Spliterator<@[FlexibleNullability] E of java.util.HashSet?> declared in java.util.HashSet
public open fun spliterator (): @[EnhancedNullability] java.util.Spliterator<@[FlexibleNullability] E of java.util.SequencedSet?> declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:<root>.A
BLOCK_BODY
RETURN type=kotlin.Nothing from='public open fun spliterator (): java.util.Spliterator<kotlin.Int> declared in <root>.A'
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=java.util.Spliterator<kotlin.Int> origin=EXCLEXCL
<T0>: kotlin.Nothing
arg0: CONST Null type=kotlin.Nothing? value=null
PROPERTY FAKE_OVERRIDE name:size visibility:public modality:OPEN [fake_override,val]
overridden:
public open size: kotlin.Int
public abstract size: kotlin.Int
FUN FAKE_OVERRIDE name:<get-size> visibility:public modality:OPEN <> ($this:java.util.HashSet<kotlin.Int>) returnType:kotlin.Int [fake_override]
correspondingProperty: PROPERTY FAKE_OVERRIDE name:size visibility:public modality:OPEN [fake_override,val]
overridden:
public open fun <get-size> (): kotlin.Int declared in java.util.HashSet
public abstract fun <get-size> (): kotlin.Int declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.HashSet<kotlin.Int>
CLASS CLASS name:B modality:FINAL visibility:public superTypes:[java.util.HashSet<kotlin.Int>; java.util.SequencedSet<kotlin.Int>]
$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 java.util.HashSet'
<E>: kotlin.Int
INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:B modality:FINAL visibility:public superTypes:[java.util.HashSet<kotlin.Int>; java.util.SequencedSet<kotlin.Int>]'
FUN FAKE_OVERRIDE name:add visibility:public modality:OPEN <> ($this:java.util.HashSet<kotlin.Int>, p0:@[EnhancedNullability] kotlin.Int) returnType:kotlin.Boolean [fake_override]
overridden:
public open fun add (p0: @[EnhancedNullability] E of java.util.HashSet): kotlin.Boolean declared in java.util.HashSet
public abstract fun add (element: @[FlexibleNullability] E of java.util.SequencedSet?): kotlin.Boolean declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.HashSet<kotlin.Int>
VALUE_PARAMETER name:p0 index:0 type:@[EnhancedNullability] kotlin.Int
FUN FAKE_OVERRIDE name:addAll visibility:public modality:OPEN <> ($this:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Int?>, p0:@[EnhancedNullability] kotlin.collections.Collection<out @[EnhancedNullability] kotlin.Int>) returnType:kotlin.Boolean [fake_override]
overridden:
public open fun addAll (p0: @[EnhancedNullability] kotlin.collections.Collection<out @[EnhancedNullability] E of java.util.HashSet>): kotlin.Boolean declared in java.util.HashSet
public abstract fun addAll (elements: kotlin.collections.Collection<@[FlexibleNullability] E of java.util.SequencedSet?>): kotlin.Boolean declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Int?>
VALUE_PARAMETER name:p0 index:0 type:@[EnhancedNullability] kotlin.collections.Collection<out @[EnhancedNullability] kotlin.Int>
FUN FAKE_OVERRIDE name:addFirst visibility:public modality:OPEN <> ($this:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>, p0:@[FlexibleNullability] kotlin.Int?) returnType:kotlin.Unit [fake_override]
overridden:
public open fun addFirst (p0: @[FlexibleNullability] E of java.util.SequencedSet?): kotlin.Unit declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>
VALUE_PARAMETER name:p0 index:0 type:@[FlexibleNullability] kotlin.Int?
FUN FAKE_OVERRIDE name:addLast visibility:public modality:OPEN <> ($this:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>, p0:@[FlexibleNullability] kotlin.Int?) returnType:kotlin.Unit [fake_override]
overridden:
public open fun addLast (p0: @[FlexibleNullability] E of java.util.SequencedSet?): kotlin.Unit declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>
VALUE_PARAMETER name:p0 index:0 type:@[FlexibleNullability] kotlin.Int?
FUN FAKE_OVERRIDE name:clear visibility:public modality:OPEN <> ($this:java.util.HashSet<kotlin.Int>) returnType:kotlin.Unit [fake_override]
overridden:
public open fun clear (): kotlin.Unit declared in java.util.HashSet
public abstract fun clear (): kotlin.Unit declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.HashSet<kotlin.Int>
FUN FAKE_OVERRIDE name:clone visibility:public modality:OPEN <> ($this:java.util.HashSet<kotlin.Int>) returnType:@[EnhancedNullability] kotlin.Any [fake_override]
overridden:
public open fun clone (): @[EnhancedNullability] kotlin.Any declared in java.util.HashSet
$this: VALUE_PARAMETER name:<this> type:java.util.HashSet<kotlin.Int>
FUN FAKE_OVERRIDE name:contains visibility:public modality:OPEN <> ($this:java.util.HashSet<kotlin.Int>, p0:@[EnhancedNullability] kotlin.Int) returnType:kotlin.Boolean [fake_override,operator]
overridden:
public open fun contains (p0: @[EnhancedNullability] E of java.util.HashSet): kotlin.Boolean declared in java.util.HashSet
public abstract fun contains (element: @[FlexibleNullability] E of java.util.SequencedSet?): kotlin.Boolean declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.HashSet<kotlin.Int>
VALUE_PARAMETER name:p0 index:0 type:@[EnhancedNullability] kotlin.Int
FUN FAKE_OVERRIDE name:containsAll visibility:public modality:OPEN <> ($this:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Int?>, p0:kotlin.collections.Collection<@[EnhancedNullability] kotlin.Int>) returnType:kotlin.Boolean [fake_override]
overridden:
public open fun containsAll (p0: kotlin.collections.Collection<@[EnhancedNullability] E of java.util.HashSet>): kotlin.Boolean declared in java.util.HashSet
public abstract fun containsAll (elements: kotlin.collections.Collection<@[FlexibleNullability] E of java.util.SequencedSet?>): kotlin.Boolean declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Int?>
VALUE_PARAMETER name:p0 index:0 type:kotlin.collections.Collection<@[EnhancedNullability] kotlin.Int>
FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:java.util.AbstractSet<@[FlexibleNullability] kotlin.Int?>, p0:@[EnhancedNullability] kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
overridden:
public open fun equals (p0: @[EnhancedNullability] kotlin.Any?): kotlin.Boolean declared in java.util.HashSet
public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.AbstractSet<@[FlexibleNullability] kotlin.Int?>
VALUE_PARAMETER name:p0 index:0 type:@[EnhancedNullability] kotlin.Any?
FUN FAKE_OVERRIDE name:forEach visibility:public modality:OPEN <> ($this:kotlin.collections.Iterable<kotlin.Int>, p0:@[FlexibleNullability] java.util.function.Consumer<in @[FlexibleNullability] kotlin.Int?>?) returnType:kotlin.Unit [fake_override]
overridden:
public open fun forEach (p0: @[FlexibleNullability] java.util.function.Consumer<in @[FlexibleNullability] E of java.util.HashSet?>?): kotlin.Unit declared in java.util.HashSet
public open fun forEach (p0: @[FlexibleNullability] java.util.function.Consumer<in @[FlexibleNullability] E of java.util.SequencedSet?>?): kotlin.Unit declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:kotlin.collections.Iterable<kotlin.Int>
VALUE_PARAMETER name:p0 index:0 type:@[FlexibleNullability] java.util.function.Consumer<in @[FlexibleNullability] kotlin.Int?>?
FUN FAKE_OVERRIDE name:getFirst visibility:public modality:OPEN <> ($this:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>) returnType:@[FlexibleNullability] kotlin.Int? [fake_override]
overridden:
public open fun getFirst (): @[FlexibleNullability] E of java.util.SequencedSet? declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>
FUN FAKE_OVERRIDE name:getLast visibility:public modality:OPEN <> ($this:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>) returnType:@[FlexibleNullability] kotlin.Int? [fake_override]
overridden:
public open fun getLast (): @[FlexibleNullability] E of java.util.SequencedSet? declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>
FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:java.util.AbstractSet<@[FlexibleNullability] kotlin.Int?>) returnType:kotlin.Int [fake_override]
overridden:
public open fun hashCode (): kotlin.Int declared in java.util.HashSet
public open fun hashCode (): kotlin.Int declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.AbstractSet<@[FlexibleNullability] kotlin.Int?>
FUN FAKE_OVERRIDE name:isEmpty visibility:public modality:OPEN <> ($this:java.util.HashSet<kotlin.Int>) returnType:kotlin.Boolean [fake_override]
overridden:
public open fun isEmpty (): kotlin.Boolean declared in java.util.HashSet
public abstract fun isEmpty (): kotlin.Boolean declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.HashSet<kotlin.Int>
FUN FAKE_OVERRIDE name:iterator visibility:public modality:OPEN <> ($this:java.util.HashSet<kotlin.Int>) returnType:@[EnhancedNullability] kotlin.collections.MutableIterator<@[EnhancedNullability] kotlin.Int> [fake_override,operator]
overridden:
public open fun iterator (): @[EnhancedNullability] kotlin.collections.MutableIterator<@[EnhancedNullability] E of java.util.HashSet> declared in java.util.HashSet
public abstract fun iterator (): kotlin.collections.MutableIterator<@[FlexibleNullability] E of java.util.SequencedSet?> declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.HashSet<kotlin.Int>
FUN FAKE_OVERRIDE name:newHashSet visibility:public modality:OPEN <T> (p0:kotlin.Int) returnType:@[FlexibleNullability] java.util.HashSet<@[FlexibleNullability] T of <root>.B.newHashSet?>? [fake_override]
overridden:
public open fun newHashSet <T> (p0: kotlin.Int): @[FlexibleNullability] java.util.HashSet<@[FlexibleNullability] T of java.util.HashSet.newHashSet?>? declared in java.util.HashSet
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
VALUE_PARAMETER name:p0 index:0 type:kotlin.Int
FUN FAKE_OVERRIDE name:parallelStream visibility:public modality:OPEN <> ($this:kotlin.collections.Collection<kotlin.Int>) returnType:@[EnhancedNullability] java.util.stream.Stream<@[FlexibleNullability] @[EnhancedNullability] kotlin.Int?> [fake_override]
overridden:
public open fun parallelStream (): @[EnhancedNullability] java.util.stream.Stream<@[EnhancedNullability] @[FlexibleNullability] E of java.util.HashSet?> declared in java.util.HashSet
public open fun parallelStream (): @[EnhancedNullability] java.util.stream.Stream<@[EnhancedNullability] @[FlexibleNullability] E of java.util.SequencedSet?> declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:kotlin.collections.Collection<kotlin.Int>
FUN FAKE_OVERRIDE name:remove visibility:public modality:OPEN <> ($this:java.util.HashSet<kotlin.Int>, p0:@[EnhancedNullability] kotlin.Int) returnType:kotlin.Boolean [fake_override]
overridden:
public open fun remove (p0: @[EnhancedNullability] E of java.util.HashSet): kotlin.Boolean declared in java.util.HashSet
public abstract fun remove (element: @[FlexibleNullability] E of java.util.SequencedSet?): kotlin.Boolean declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.HashSet<kotlin.Int>
VALUE_PARAMETER name:p0 index:0 type:@[EnhancedNullability] kotlin.Int
FUN FAKE_OVERRIDE name:removeAll visibility:public modality:OPEN <> ($this:java.util.AbstractSet<@[FlexibleNullability] kotlin.Int?>, p0:kotlin.collections.Collection<@[EnhancedNullability] kotlin.Int>) returnType:kotlin.Boolean [fake_override]
overridden:
public open fun removeAll (p0: kotlin.collections.Collection<@[EnhancedNullability] E of java.util.HashSet>): kotlin.Boolean declared in java.util.HashSet
public abstract fun removeAll (elements: kotlin.collections.Collection<@[FlexibleNullability] E of java.util.SequencedSet?>): kotlin.Boolean declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.AbstractSet<@[FlexibleNullability] kotlin.Int?>
VALUE_PARAMETER name:p0 index:0 type:kotlin.collections.Collection<@[EnhancedNullability] kotlin.Int>
FUN FAKE_OVERRIDE name:removeFirst visibility:public modality:OPEN <> ($this:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>) returnType:@[FlexibleNullability] kotlin.Int? [fake_override]
overridden:
public open fun removeFirst (): @[FlexibleNullability] E of java.util.SequencedSet? declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>
FUN FAKE_OVERRIDE name:removeIf visibility:public modality:OPEN <> ($this:kotlin.collections.MutableCollection<kotlin.Int>, p0:@[EnhancedNullability] java.util.function.Predicate<in @[FlexibleNullability] @[EnhancedNullability] kotlin.Int?>) returnType:kotlin.Boolean [fake_override]
overridden:
public open fun removeIf (p0: @[EnhancedNullability] java.util.function.Predicate<in @[EnhancedNullability] @[FlexibleNullability] E of java.util.HashSet?>): kotlin.Boolean declared in java.util.HashSet
public open fun removeIf (p0: @[EnhancedNullability] java.util.function.Predicate<in @[EnhancedNullability] @[FlexibleNullability] E of java.util.SequencedSet?>): kotlin.Boolean declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:kotlin.collections.MutableCollection<kotlin.Int>
VALUE_PARAMETER name:p0 index:0 type:@[EnhancedNullability] java.util.function.Predicate<in @[FlexibleNullability] @[EnhancedNullability] kotlin.Int?>
FUN FAKE_OVERRIDE name:removeLast visibility:public modality:OPEN <> ($this:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>) returnType:@[FlexibleNullability] kotlin.Int? [fake_override]
overridden:
public open fun removeLast (): @[FlexibleNullability] E of java.util.SequencedSet? declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.SequencedCollection<@[FlexibleNullability] kotlin.Int?>
FUN FAKE_OVERRIDE name:retainAll visibility:public modality:OPEN <> ($this:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Int?>, p0:kotlin.collections.Collection<@[EnhancedNullability] kotlin.Int>) returnType:kotlin.Boolean [fake_override]
overridden:
public open fun retainAll (p0: kotlin.collections.Collection<@[EnhancedNullability] E of java.util.HashSet>): kotlin.Boolean declared in java.util.HashSet
public abstract fun retainAll (elements: kotlin.collections.Collection<@[FlexibleNullability] E of java.util.SequencedSet?>): kotlin.Boolean declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Int?>
VALUE_PARAMETER name:p0 index:0 type:kotlin.collections.Collection<@[EnhancedNullability] kotlin.Int>
FUN FAKE_OVERRIDE name:stream visibility:public modality:OPEN <> ($this:kotlin.collections.Collection<kotlin.Int>) returnType:@[EnhancedNullability] java.util.stream.Stream<@[FlexibleNullability] @[EnhancedNullability] kotlin.Int?> [fake_override]
overridden:
public open fun stream (): @[EnhancedNullability] java.util.stream.Stream<@[EnhancedNullability] @[FlexibleNullability] E of java.util.HashSet?> declared in java.util.HashSet
public open fun stream (): @[EnhancedNullability] java.util.stream.Stream<@[EnhancedNullability] @[FlexibleNullability] E of java.util.SequencedSet?> declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:kotlin.collections.Collection<kotlin.Int>
FUN FAKE_OVERRIDE name:toArray visibility:public modality:OPEN <> ($this:java.util.HashSet<kotlin.Int>) 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 java.util.HashSet
$this: VALUE_PARAMETER name:<this> type:java.util.HashSet<kotlin.Int>
FUN FAKE_OVERRIDE name:toArray visibility:public modality:OPEN <T> ($this:java.util.HashSet<kotlin.Int>, p0:@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of <root>.B.toArray?>?) returnType:@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of <root>.B.toArray?>? [fake_override]
overridden:
public open fun toArray <T> (p0: @[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of java.util.HashSet.toArray?>?): @[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of java.util.HashSet.toArray?>? declared in java.util.HashSet
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
$this: VALUE_PARAMETER name:<this> type:java.util.HashSet<kotlin.Int>
VALUE_PARAMETER name:p0 index:0 type:@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of <root>.B.toArray?>?
FUN FAKE_OVERRIDE name:toArray visibility:public modality:OPEN <T> ($this:kotlin.collections.Collection<kotlin.Int>, p0:@[FlexibleNullability] java.util.function.IntFunction<@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of <root>.B.toArray?>?>?) returnType:@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of <root>.B.toArray?>? [fake_override]
overridden:
public open fun toArray <T> (p0: @[FlexibleNullability] java.util.function.IntFunction<@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of java.util.HashSet.toArray?>?>?): @[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of java.util.HashSet.toArray?>? declared in java.util.HashSet
public open fun toArray <T> (p0: @[FlexibleNullability] java.util.function.IntFunction<@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of java.util.SequencedSet.toArray?>?>?): @[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of java.util.SequencedSet.toArray?>? declared in java.util.SequencedSet
TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false
$this: VALUE_PARAMETER name:<this> type:kotlin.collections.Collection<kotlin.Int>
VALUE_PARAMETER name:p0 index:0 type:@[FlexibleNullability] java.util.function.IntFunction<@[FlexibleNullability] @[FlexibleArrayElementVariance] kotlin.Array<out @[FlexibleNullability] T of <root>.B.toArray?>?>?
FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Int?>) returnType:@[EnhancedNullability] kotlin.String [fake_override]
overridden:
public open fun toString (): @[EnhancedNullability] kotlin.String declared in java.util.HashSet
public open fun toString (): kotlin.String declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.AbstractCollection<@[FlexibleNullability] kotlin.Int?>
FUN name:reversed visibility:public modality:OPEN <> ($this:<root>.B) returnType:java.util.SequencedSet<kotlin.Int>
overridden:
public abstract fun reversed (): @[FlexibleNullability] java.util.SequencedSet<@[FlexibleNullability] E of java.util.SequencedSet?>? declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:<root>.B
BLOCK_BODY
RETURN type=kotlin.Nothing from='public open fun reversed (): java.util.SequencedSet<kotlin.Int> 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=java.util.SequencedSet<kotlin.Int> origin=EXCLEXCL
<T0>: kotlin.Nothing
arg0: CONST Null type=kotlin.Nothing? value=null
FUN name:spliterator visibility:public modality:OPEN <> ($this:<root>.B) returnType:java.util.Spliterator<kotlin.Int>
overridden:
public open fun spliterator (): @[EnhancedNullability] java.util.Spliterator<@[FlexibleNullability] E of java.util.HashSet?> declared in java.util.HashSet
public open fun spliterator (): @[EnhancedNullability] java.util.Spliterator<@[FlexibleNullability] E of java.util.SequencedSet?> declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:<root>.B
BLOCK_BODY
RETURN type=kotlin.Nothing from='public open fun spliterator (): java.util.Spliterator<kotlin.Int> 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=java.util.Spliterator<kotlin.Int> origin=EXCLEXCL
<T0>: kotlin.Nothing
arg0: CONST Null type=kotlin.Nothing? value=null
PROPERTY FAKE_OVERRIDE name:size visibility:public modality:OPEN [fake_override,val]
overridden:
public open size: kotlin.Int
public abstract size: kotlin.Int
FUN FAKE_OVERRIDE name:<get-size> visibility:public modality:OPEN <> ($this:java.util.HashSet<kotlin.Int>) returnType:kotlin.Int [fake_override]
correspondingProperty: PROPERTY FAKE_OVERRIDE name:size visibility:public modality:OPEN [fake_override,val]
overridden:
public open fun <get-size> (): kotlin.Int declared in java.util.HashSet
public abstract fun <get-size> (): kotlin.Int declared in java.util.SequencedSet
$this: VALUE_PARAMETER name:<this> type:java.util.HashSet<kotlin.Int>
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
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CALL 'public open fun <get-size> (): kotlin.Int declared in <root>.A' type=kotlin.Int origin=GET_PROPERTY
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
CALL 'public open fun addFirst (p0: @[FlexibleNullability] kotlin.Int?): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
p0: CONST Null type=kotlin.Nothing? value=null
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CALL 'public abstract fun reversed (): @[FlexibleNullability] java.util.SequencedSet<@[FlexibleNullability] kotlin.Int?>? declared in <root>.A' type=@[FlexibleNullability] java.util.SequencedSet<@[FlexibleNullability] kotlin.Int?>? origin=null
$this: GET_VAR 'a: <root>.A declared in <root>.test' type=<root>.A origin=null
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CALL 'public open fun reversed (): java.util.SequencedSet<kotlin.Int> declared in <root>.B' type=java.util.SequencedSet<kotlin.Int> origin=null
$this: GET_VAR 'b: <root>.B declared in <root>.test' type=<root>.B origin=null
CALL 'public open fun addFirst (p0: @[FlexibleNullability] kotlin.Int?): 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
p0: CONST Int type=kotlin.Int value=1