FILE fqName:<root> fileName:/noErrorTypeAfterCaptureApproximation.kt
  CLASS CLASS name:Inv1 modality:FINAL visibility:public superTypes:[kotlin.Any]
    thisReceiver: VALUE_PARAMETER INSTANCE_RECEIVER kind:DispatchReceiver name:<this> type:<root>.Inv1<X of <root>.Inv1>
    TYPE_PARAMETER name:X index:0 variance: superTypes:[kotlin.Any?] reified:false
    CONSTRUCTOR visibility:public returnType:<root>.Inv1<X of <root>.Inv1> [primary]
      BLOCK_BODY
        DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () declared in kotlin.Any'
        INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:Inv1 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<Y of <root>.Inv2>
    TYPE_PARAMETER name:Y index:0 variance: superTypes:[kotlin.Any?] reified:false
    CONSTRUCTOR visibility:public returnType:<root>.Inv2<Y of <root>.Inv2> [primary]
      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
  FUN name:getSelectOptions visibility:private modality:FINAL returnType:<root>.Inv1<out <root>.Inv2<G of <root>.getSelectOptions>>
    TYPE_PARAMETER name:G index:0 variance: superTypes:[kotlin.Any?] reified:false
    VALUE_PARAMETER kind:Regular name:options index:0 type:<root>.Inv1<out G of <root>.getSelectOptions>
    BLOCK_BODY
      RETURN type=kotlin.Nothing from='private final fun getSelectOptions <G> (options: <root>.Inv1<out G of <root>.getSelectOptions>): <root>.Inv1<out <root>.Inv2<G of <root>.getSelectOptions>> declared in <root>'
        CALL 'public final fun TODO (): kotlin.Nothing declared in kotlin' type=kotlin.Nothing origin=null
  FUN name:myRun visibility:public modality:FINAL returnType:T of <root>.myRun
    TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?] reified:false
    VALUE_PARAMETER kind:Regular name:callback index:0 type:kotlin.Function0<T of <root>.myRun>
    BLOCK_BODY
      RETURN type=kotlin.Nothing from='public final fun myRun <T> (callback: kotlin.Function0<T of <root>.myRun>): T of <root>.myRun declared in <root>'
        CALL 'public final fun TODO (): kotlin.Nothing declared in kotlin' type=kotlin.Nothing origin=null
  FUN name:useSelectOptions visibility:internal modality:FINAL returnType:<root>.Inv1<out <root>.Inv2<F of <root>.useSelectOptions>>
    TYPE_PARAMETER name:F index:0 variance: superTypes:[kotlin.Any?] reified:false
    VALUE_PARAMETER kind:Regular name:options index:0 type:<root>.Inv1<out F of <root>.useSelectOptions>
    BLOCK_BODY
      RETURN type=kotlin.Nothing from='internal final fun useSelectOptions <F> (options: <root>.Inv1<out F of <root>.useSelectOptions>): <root>.Inv1<out <root>.Inv2<F of <root>.useSelectOptions>> declared in <root>'
        CALL 'public final fun myRun <T> (callback: kotlin.Function0<T of <root>.myRun>): T of <root>.myRun declared in <root>' type=<root>.Inv1<out <root>.Inv2<F of <root>.useSelectOptions>> origin=null
          TYPE_ARG T: <root>.Inv1<out <root>.Inv2<F of <root>.useSelectOptions>>
          ARG callback: FUN_EXPR type=kotlin.Function0<<root>.Inv1<out <root>.Inv2<F of <root>.useSelectOptions>>> origin=LAMBDA
            FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL returnType:<root>.Inv1<out <root>.Inv2<F of <root>.useSelectOptions>>
              BLOCK_BODY
                RETURN type=kotlin.Nothing from='local final fun <anonymous> (): <root>.Inv1<out <root>.Inv2<F of <root>.useSelectOptions>> declared in <root>.useSelectOptions'
                  CALL 'private final fun getSelectOptions <G> (options: <root>.Inv1<out G of <root>.getSelectOptions>): <root>.Inv1<out <root>.Inv2<G of <root>.getSelectOptions>> declared in <root>' type=<root>.Inv1<out <root>.Inv2<F of <root>.useSelectOptions>> origin=null
                    TYPE_ARG G: F of <root>.useSelectOptions
                    ARG options: GET_VAR 'options: <root>.Inv1<out F of <root>.useSelectOptions> declared in <root>.useSelectOptions' type=<root>.Inv1<out F of <root>.useSelectOptions> origin=null
