FILE fqName:<root> fileName:/main.kt
  CLASS CLASS name:Inv modality:FINAL visibility:public superTypes:[kotlin.Any]
    thisReceiver: VALUE_PARAMETER INSTANCE_RECEIVER kind:DispatchReceiver name:<this> type:<root>.Inv<T of <root>.Inv>
    TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
    PROPERTY name:t visibility:public modality:FINAL [val]
      FIELD PROPERTY_BACKING_FIELD name:t type:T of <root>.Inv visibility:private [final]
        EXPRESSION_BODY
          GET_VAR 't: T of <root>.Inv declared in <root>.Inv.<init>' type=T of <root>.Inv origin=INITIALIZE_PROPERTY_FROM_PARAMETER
      FUN DEFAULT_PROPERTY_ACCESSOR name:<get-t> visibility:public modality:FINAL returnType:T of <root>.Inv
        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:<root>.Inv<T of <root>.Inv>
        correspondingProperty: PROPERTY name:t visibility:public modality:FINAL [val]
        BLOCK_BODY
          RETURN type=kotlin.Nothing from='public final fun <get-t> (): T of <root>.Inv declared in <root>.Inv'
            GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:t type:T of <root>.Inv visibility:private [final]' type=T of <root>.Inv origin=null
              receiver: GET_VAR '<this>: <root>.Inv<T of <root>.Inv> declared in <root>.Inv.<get-t>' type=<root>.Inv<T of <root>.Inv> origin=null
    CONSTRUCTOR visibility:public returnType:<root>.Inv<T of <root>.Inv> [primary]
      VALUE_PARAMETER kind:Regular name:t index:0 type:T of <root>.Inv
      BLOCK_BODY
        DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in kotlin.Any'
        INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:Inv modality:FINAL visibility:public superTypes:[kotlin.Any]' type=kotlin.Unit
    FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN returnType:kotlin.Boolean [fake_override,operator]
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
      VALUE_PARAMETER kind:Regular name:other index:1 type:kotlin.Any?
      overridden:
        public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in kotlin.Any
    FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN returnType:kotlin.Int [fake_override]
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
      overridden:
        public open fun hashCode (): kotlin.Int declared in kotlin.Any
    FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN returnType:kotlin.String [fake_override]
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
      overridden:
        public open fun toString (): kotlin.String declared in kotlin.Any
  CLASS CLASS name:Inv2 modality:FINAL visibility:public superTypes:[kotlin.Any]
    thisReceiver: VALUE_PARAMETER INSTANCE_RECEIVER kind:DispatchReceiver name:<this> type:<root>.Inv2<A of <root>.Inv2, B of <root>.Inv2>
    TYPE_PARAMETER name:A index:0 variance: superTypes:[kotlin.Any?] reified:false
    TYPE_PARAMETER name:B index:1 variance: superTypes:[kotlin.Any?] reified:false
    PROPERTY name:a visibility:public modality:FINAL [val]
      FIELD PROPERTY_BACKING_FIELD name:a type:A of <root>.Inv2 visibility:private [final]
        EXPRESSION_BODY
          GET_VAR 'a: A of <root>.Inv2 declared in <root>.Inv2.<init>' type=A of <root>.Inv2 origin=INITIALIZE_PROPERTY_FROM_PARAMETER
      FUN DEFAULT_PROPERTY_ACCESSOR name:<get-a> visibility:public modality:FINAL returnType:A of <root>.Inv2
        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:<root>.Inv2<A of <root>.Inv2, B of <root>.Inv2>
        correspondingProperty: PROPERTY name:a visibility:public modality:FINAL [val]
        BLOCK_BODY
          RETURN type=kotlin.Nothing from='public final fun <get-a> (): A of <root>.Inv2 declared in <root>.Inv2'
            GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:a type:A of <root>.Inv2 visibility:private [final]' type=A of <root>.Inv2 origin=null
              receiver: GET_VAR '<this>: <root>.Inv2<A of <root>.Inv2, B of <root>.Inv2> declared in <root>.Inv2.<get-a>' type=<root>.Inv2<A of <root>.Inv2, B of <root>.Inv2> origin=null
    PROPERTY name:b visibility:public modality:FINAL [val]
      FIELD PROPERTY_BACKING_FIELD name:b type:B of <root>.Inv2 visibility:private [final]
        EXPRESSION_BODY
          GET_VAR 'b: B of <root>.Inv2 declared in <root>.Inv2.<init>' type=B of <root>.Inv2 origin=INITIALIZE_PROPERTY_FROM_PARAMETER
      FUN DEFAULT_PROPERTY_ACCESSOR name:<get-b> visibility:public modality:FINAL returnType:B of <root>.Inv2
        VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:<root>.Inv2<A of <root>.Inv2, B of <root>.Inv2>
        correspondingProperty: PROPERTY name:b visibility:public modality:FINAL [val]
        BLOCK_BODY
          RETURN type=kotlin.Nothing from='public final fun <get-b> (): B of <root>.Inv2 declared in <root>.Inv2'
            GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:b type:B of <root>.Inv2 visibility:private [final]' type=B of <root>.Inv2 origin=null
              receiver: GET_VAR '<this>: <root>.Inv2<A of <root>.Inv2, B of <root>.Inv2> declared in <root>.Inv2.<get-b>' type=<root>.Inv2<A of <root>.Inv2, B of <root>.Inv2> origin=null
    CONSTRUCTOR visibility:public returnType:<root>.Inv2<A of <root>.Inv2, B of <root>.Inv2> [primary]
      VALUE_PARAMETER kind:Regular name:a index:0 type:A of <root>.Inv2
      VALUE_PARAMETER kind:Regular name:b index:1 type:B of <root>.Inv2
      BLOCK_BODY
        DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in kotlin.Any'
        INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:Inv2 modality:FINAL visibility:public superTypes:[kotlin.Any]' type=kotlin.Unit
    FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN returnType:kotlin.Boolean [fake_override,operator]
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
      VALUE_PARAMETER kind:Regular name:other index:1 type:kotlin.Any?
      overridden:
        public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in kotlin.Any
    FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN returnType:kotlin.Int [fake_override]
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
      overridden:
        public open fun hashCode (): kotlin.Int declared in kotlin.Any
    FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN returnType:kotlin.String [fake_override]
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
      overridden:
        public open fun toString (): kotlin.String declared in kotlin.Any
  CLASS INTERFACE name:C1 modality:ABSTRACT visibility:public superTypes:[<root>.B<kotlin.Int>]
    thisReceiver: VALUE_PARAMETER INSTANCE_RECEIVER kind:DispatchReceiver name:<this> type:<root>.C1
    FUN FAKE_OVERRIDE name:bar1 visibility:public modality:ABSTRACT returnType:kotlin.Unit [fake_override]
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:<root>.B<kotlin.Int>
      VALUE_PARAMETER kind:Regular name:t index:1 type:@[FlexibleNullability] <root>.Inv<@[FlexibleNullability] <root>.Inv<@[FlexibleNullability] kotlin.Int?>?>?
      overridden:
        public abstract fun bar1 (t: @[FlexibleNullability] <root>.Inv<@[FlexibleNullability] <root>.Inv<@[FlexibleNullability] R of <root>.B?>?>?): kotlin.Unit declared in <root>.B
    FUN FAKE_OVERRIDE name:bar2 visibility:public modality:ABSTRACT returnType:kotlin.Unit [fake_override]
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:<root>.B<kotlin.Int>
      VALUE_PARAMETER kind:Regular name:t index:1 type:@[FlexibleNullability] <root>.Inv<@[FlexibleNullability] @[RawType] <root>.Inv<kotlin.Any?>?>?
      overridden:
        public abstract fun bar2 (t: @[FlexibleNullability] <root>.Inv<@[FlexibleNullability] @[RawType] <root>.Inv<kotlin.Any?>?>?): kotlin.Unit declared in <root>.B
    FUN FAKE_OVERRIDE name:bar3 visibility:public modality:ABSTRACT returnType:kotlin.Unit [fake_override]
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:<root>.B<kotlin.Int>
      VALUE_PARAMETER kind:Regular name:t index:1 type:@[FlexibleNullability] @[RawType] <root>.Inv<kotlin.Any?>?
      overridden:
        public abstract fun bar3 (t: @[FlexibleNullability] @[RawType] <root>.Inv<kotlin.Any?>?): kotlin.Unit declared in <root>.B
    FUN FAKE_OVERRIDE name:baz1 visibility:public modality:ABSTRACT returnType:kotlin.Unit [fake_override]
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:<root>.B<kotlin.Int>
      VALUE_PARAMETER kind:Regular name:n index:1 type:@[FlexibleNullability] @[RawType] <root>.Inv<kotlin.Any?>?
      annotations:
        Override
      overridden:
        public abstract fun baz1 (n: @[FlexibleNullability] @[RawType] <root>.Inv<kotlin.Any?>?): kotlin.Unit declared in <root>.B
    FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN returnType:kotlin.Boolean [fake_override,operator]
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
      VALUE_PARAMETER kind:Regular name:other index:1 type:kotlin.Any?
      overridden:
        public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in <root>.B
    FUN FAKE_OVERRIDE name:foo1 visibility:public modality:ABSTRACT returnType:kotlin.Unit [fake_override]
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:<root>.A<@[FlexibleNullability] kotlin.Number?>
      VALUE_PARAMETER kind:Regular name:t index:1 type:@[FlexibleNullability] @[RawType] <root>.Inv<kotlin.Any?>?
      overridden:
        public abstract fun foo1 (t: @[FlexibleNullability] @[RawType] <root>.Inv<kotlin.Any?>?): kotlin.Unit declared in <root>.B
    FUN FAKE_OVERRIDE name:foo3 visibility:public modality:ABSTRACT returnType:kotlin.Unit [fake_override]
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:<root>.A<@[FlexibleNullability] kotlin.Number?>
      VALUE_PARAMETER kind:Regular name:t index:1 type:@[FlexibleNullability] @[RawType] <root>.Inv2<kotlin.Any?, kotlin.Any?>?
      overridden:
        public abstract fun foo3 (t: @[FlexibleNullability] @[RawType] <root>.Inv2<kotlin.Any?, kotlin.Any?>?): kotlin.Unit declared in <root>.B
    FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN returnType:kotlin.Int [fake_override]
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
      overridden:
        public open fun hashCode (): kotlin.Int declared in <root>.B
    FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN returnType:kotlin.String [fake_override]
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
      overridden:
        public open fun toString (): kotlin.String declared in <root>.B
    FUN name:baz2 visibility:public modality:ABSTRACT returnType:kotlin.Unit
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:<root>.C1
      VALUE_PARAMETER kind:Regular name:t index:1 type:<root>.Inv<*>?
      overridden:
        public abstract fun baz2 (n: @[FlexibleNullability] @[RawType] <root>.Inv<kotlin.Any?>?): kotlin.Unit declared in <root>.B
    FUN name:foo2 visibility:public modality:ABSTRACT returnType:kotlin.Unit
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:<root>.C1
      VALUE_PARAMETER kind:Regular name:t index:1 type:<root>.Inv<*>?
      overridden:
        public abstract fun foo2 (t: @[FlexibleNullability] @[RawType] <root>.Inv<kotlin.Any?>?): kotlin.Unit declared in <root>.B
  CLASS INTERFACE name:C2 modality:ABSTRACT visibility:public superTypes:[<root>.B<kotlin.Int>]
    thisReceiver: VALUE_PARAMETER INSTANCE_RECEIVER kind:DispatchReceiver name:<this> type:<root>.C2
    FUN FAKE_OVERRIDE name:baz1 visibility:public modality:ABSTRACT returnType:kotlin.Unit [fake_override]
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:<root>.B<kotlin.Int>
      VALUE_PARAMETER kind:Regular name:n index:1 type:@[FlexibleNullability] @[RawType] <root>.Inv<kotlin.Any?>?
      annotations:
        Override
      overridden:
        public abstract fun baz1 (n: @[FlexibleNullability] @[RawType] <root>.Inv<kotlin.Any?>?): kotlin.Unit declared in <root>.B
    FUN FAKE_OVERRIDE name:baz2 visibility:public modality:ABSTRACT returnType:kotlin.Unit [fake_override]
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:<root>.B<kotlin.Int>
      VALUE_PARAMETER kind:Regular name:n index:1 type:@[FlexibleNullability] @[RawType] <root>.Inv<kotlin.Any?>?
      annotations:
        Override
      overridden:
        public abstract fun baz2 (n: @[FlexibleNullability] @[RawType] <root>.Inv<kotlin.Any?>?): kotlin.Unit declared in <root>.B
    FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN returnType:kotlin.Boolean [fake_override,operator]
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
      VALUE_PARAMETER kind:Regular name:other index:1 type:kotlin.Any?
      overridden:
        public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in <root>.B
    FUN FAKE_OVERRIDE name:foo1 visibility:public modality:ABSTRACT returnType:kotlin.Unit [fake_override]
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:<root>.A<@[FlexibleNullability] kotlin.Number?>
      VALUE_PARAMETER kind:Regular name:t index:1 type:@[FlexibleNullability] @[RawType] <root>.Inv<kotlin.Any?>?
      overridden:
        public abstract fun foo1 (t: @[FlexibleNullability] @[RawType] <root>.Inv<kotlin.Any?>?): kotlin.Unit declared in <root>.B
    FUN FAKE_OVERRIDE name:foo2 visibility:public modality:ABSTRACT returnType:kotlin.Unit [fake_override]
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:<root>.A<@[FlexibleNullability] kotlin.Number?>
      VALUE_PARAMETER kind:Regular name:t index:1 type:@[FlexibleNullability] @[RawType] <root>.Inv<kotlin.Any?>?
      overridden:
        public abstract fun foo2 (t: @[FlexibleNullability] @[RawType] <root>.Inv<kotlin.Any?>?): kotlin.Unit declared in <root>.B
    FUN FAKE_OVERRIDE name:foo3 visibility:public modality:ABSTRACT returnType:kotlin.Unit [fake_override]
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:<root>.A<@[FlexibleNullability] kotlin.Number?>
      VALUE_PARAMETER kind:Regular name:t index:1 type:@[FlexibleNullability] @[RawType] <root>.Inv2<kotlin.Any?, kotlin.Any?>?
      overridden:
        public abstract fun foo3 (t: @[FlexibleNullability] @[RawType] <root>.Inv2<kotlin.Any?, kotlin.Any?>?): kotlin.Unit declared in <root>.B
    FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN returnType:kotlin.Int [fake_override]
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
      overridden:
        public open fun hashCode (): kotlin.Int declared in <root>.B
    FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN returnType:kotlin.String [fake_override]
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:kotlin.Any
      overridden:
        public open fun toString (): kotlin.String declared in <root>.B
    FUN name:bar1 visibility:public modality:ABSTRACT returnType:kotlin.Unit
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:<root>.C2
      VALUE_PARAMETER kind:Regular name:t index:1 type:<root>.Inv<<root>.Inv<kotlin.Int>>
      overridden:
        public abstract fun bar1 (t: @[FlexibleNullability] <root>.Inv<@[FlexibleNullability] <root>.Inv<@[FlexibleNullability] R of <root>.B?>?>?): kotlin.Unit declared in <root>.B
    FUN name:bar2 visibility:public modality:ABSTRACT returnType:kotlin.Unit
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:<root>.C2
      VALUE_PARAMETER kind:Regular name:t index:1 type:<root>.Inv<<root>.Inv<*>>
      overridden:
        public abstract fun bar2 (t: @[FlexibleNullability] <root>.Inv<@[FlexibleNullability] @[RawType] <root>.Inv<kotlin.Any?>?>?): kotlin.Unit declared in <root>.B
    FUN name:bar3 visibility:public modality:ABSTRACT returnType:kotlin.Unit
      VALUE_PARAMETER kind:DispatchReceiver name:<this> index:0 type:<root>.C2
      VALUE_PARAMETER kind:Regular name:t index:1 type:<root>.Inv<*>
      overridden:
        public abstract fun bar3 (t: @[FlexibleNullability] @[RawType] <root>.Inv<kotlin.Any?>?): kotlin.Unit declared in <root>.B
