FILE fqName: fileName:/1.kt CLASS CLASS name:A modality:FINAL visibility:public superTypes:[.Java1] $this: VALUE_PARAMETER INSTANCE_RECEIVER name: type:.A CONSTRUCTOR visibility:public <> () returnType:.A [primary] BLOCK_BODY DELEGATING_CONSTRUCTOR_CALL 'public constructor () declared in .Java1' INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:A modality:FINAL visibility:public superTypes:[.Java1]' FUN FAKE_OVERRIDE name:bar visibility:public modality:OPEN ($this:.Java1) returnType:@[FlexibleNullability] T of .A.bar? [fake_override] overridden: public open fun bar (): @[FlexibleNullability] T of .Java1.bar? declared in .Java1 TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false $this: VALUE_PARAMETER name: type:.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 .Java1 $this: VALUE_PARAMETER name: type:kotlin.Any VALUE_PARAMETER name:other index:0 type:kotlin.Any? FUN FAKE_OVERRIDE name:foo visibility:public modality:OPEN ($this:.Java1, a:@[FlexibleNullability] T of .A.foo?) returnType:kotlin.Unit [fake_override] overridden: public open fun foo (a: @[FlexibleNullability] T of .Java1.foo?): kotlin.Unit declared in .Java1 TYPE_PARAMETER name:T index:0 variance: superTypes:[@[FlexibleNullability] kotlin.Any?] reified:false $this: VALUE_PARAMETER name: type:.Java1 VALUE_PARAMETER name:a index:0 type:@[FlexibleNullability] T of .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 .Java1 $this: VALUE_PARAMETER name: 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 .Java1 $this: VALUE_PARAMETER name: type:kotlin.Any CLASS CLASS name:B modality:FINAL visibility:public superTypes:[.Java1] $this: VALUE_PARAMETER INSTANCE_RECEIVER name: type:.B CONSTRUCTOR visibility:public <> () returnType:.B [primary] BLOCK_BODY DELEGATING_CONSTRUCTOR_CALL 'public constructor () declared in .Java1' INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:B modality:FINAL visibility:public superTypes:[.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 .Java1 $this: VALUE_PARAMETER name: 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 .Java1 $this: VALUE_PARAMETER name: 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 .Java1 $this: VALUE_PARAMETER name: type:kotlin.Any FUN name:bar visibility:public modality:OPEN ($this:.B) returnType:T of .B.bar? overridden: public open fun bar (): @[FlexibleNullability] T of .Java1.bar? declared in .Java1 TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any] reified:false $this: VALUE_PARAMETER name: type:.B BLOCK_BODY RETURN type=kotlin.Nothing from='public open fun bar (): T of .B.bar? declared in .B' CALL 'public final fun CHECK_NOT_NULL (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 : kotlin.Nothing arg0: CONST Null type=kotlin.Nothing? value=null FUN name:foo visibility:public modality:OPEN ($this:.B, a:T of .B.foo?) returnType:kotlin.Unit overridden: public open fun foo (a: @[FlexibleNullability] T of .Java1.foo?): kotlin.Unit declared in .Java1 TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any] reified:false $this: VALUE_PARAMETER name: type:.B VALUE_PARAMETER name:a index:0 type:T of .B.foo? BLOCK_BODY FUN name:test visibility:public modality:FINAL <> (a:.A, b:.B) returnType:kotlin.Unit VALUE_PARAMETER name:a index:0 type:.A VALUE_PARAMETER name:b index:1 type:.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 (): @[FlexibleNullability] T of .A.bar? declared in .A' type=@[FlexibleNullability] kotlin.Int? origin=null : @[FlexibleNullability] kotlin.Int? $this: GET_VAR 'a: .A declared in .test' type=.A origin=null VAR name:k2 type:kotlin.Int? [val] CALL 'public open fun bar (): @[FlexibleNullability] T of .A.bar? declared in .A' type=kotlin.Int? origin=null : kotlin.Int? $this: GET_VAR 'a: .A declared in .test' type=.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 (): @[FlexibleNullability] T of .A.bar? declared in .A' type=@[FlexibleNullability] kotlin.Any? origin=null : @[FlexibleNullability] kotlin.Any? $this: GET_VAR 'a: .A declared in .test' type=.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 (): @[FlexibleNullability] T of .A.bar? declared in .A' type=@[FlexibleNullability] kotlin.Nothing? origin=null : @[FlexibleNullability] kotlin.Nothing? $this: GET_VAR 'a: .A declared in .test' type=.A origin=null CALL 'public open fun foo (a: @[FlexibleNullability] T of .A.foo?): kotlin.Unit declared in .A' type=kotlin.Unit origin=null : @[FlexibleNullability] kotlin.Int? $this: GET_VAR 'a: .A declared in .test' type=.A origin=null a: CONST Int type=kotlin.Int value=1 CALL 'public open fun foo (a: @[FlexibleNullability] T of .A.foo?): kotlin.Unit declared in .A' type=kotlin.Unit origin=null : kotlin.Nothing? $this: GET_VAR 'a: .A declared in .test' type=.A origin=null a: CONST Null type=kotlin.Nothing? value=null CALL 'public open fun foo (a: @[FlexibleNullability] T of .A.foo?): kotlin.Unit declared in .A' type=kotlin.Unit origin=null : @[FlexibleNullability] kotlin.Int? $this: GET_VAR 'a: .A declared in .test' type=.A origin=null a: CONST Null type=kotlin.Nothing? value=null CALL 'public open fun foo (a: @[FlexibleNullability] T of .A.foo?): kotlin.Unit declared in .A' type=kotlin.Unit origin=null : @[FlexibleNullability] kotlin.collections.List? $this: GET_VAR 'a: .A declared in .test' type=.A origin=null a: CALL 'public final fun listOf (element: T of kotlin.collections.listOf): kotlin.collections.List declared in kotlin.collections' type=kotlin.collections.List origin=null : kotlin.Nothing? element: CONST Null type=kotlin.Nothing? value=null VAR name:k5 type:kotlin.Int? [val] CALL 'public open fun bar (): T of .B.bar? declared in .B' type=kotlin.Int? origin=null : kotlin.Int $this: GET_VAR 'b: .B declared in .test' type=.B origin=null VAR name:k7 type:kotlin.Any? [val] CALL 'public open fun bar (): T of .B.bar? declared in .B' type=kotlin.Any? origin=null : kotlin.Any $this: GET_VAR 'b: .B declared in .test' type=.B origin=null VAR name:k8 type:kotlin.Nothing? [val] CALL 'public open fun bar (): T of .B.bar? declared in .B' type=kotlin.Nothing? origin=null : kotlin.Nothing $this: GET_VAR 'b: .B declared in .test' type=.B origin=null CALL 'public open fun foo (a: T of .B.foo?): kotlin.Unit declared in .B' type=kotlin.Unit origin=null : kotlin.Int $this: GET_VAR 'b: .B declared in .test' type=.B origin=null a: CONST Int type=kotlin.Int value=1 CALL 'public open fun foo (a: T of .B.foo?): kotlin.Unit declared in .B' type=kotlin.Unit origin=null : kotlin.Nothing $this: GET_VAR 'b: .B declared in .test' type=.B origin=null a: CONST Null type=kotlin.Nothing? value=null CALL 'public open fun foo (a: T of .B.foo?): kotlin.Unit declared in .B' type=kotlin.Unit origin=null : kotlin.Int $this: GET_VAR 'b: .B declared in .test' type=.B origin=null a: CONST Null type=kotlin.Nothing? value=null CALL 'public open fun foo (a: T of .B.foo?): kotlin.Unit declared in .B' type=kotlin.Unit origin=null : kotlin.collections.List $this: GET_VAR 'b: .B declared in .test' type=.B origin=null a: CALL 'public final fun listOf (element: T of kotlin.collections.listOf): kotlin.collections.List declared in kotlin.collections' type=kotlin.collections.List origin=null : kotlin.Nothing? element: CONST Null type=kotlin.Nothing? value=null