FILE fqName:<root> fileName:/1.kt
  FUN name:box visibility:public modality:FINAL returnType:kotlin.String
    BLOCK_BODY
      CALL 'public final fun test (a: <root>.A<*>): kotlin.Unit declared in <root>' type=kotlin.Unit origin=null
        ARG a: CONSTRUCTOR_CALL 'public constructor <init> () declared in <root>.A' type=<root>.A<kotlin.Any> origin=null
          TYPE_ARG (of class) T: @[FlexibleNullability] kotlin.Any?
      RETURN type=kotlin.Nothing from='public final fun box (): kotlin.String declared in <root>'
        CONST String type=kotlin.String value="OK"
  FUN name:test visibility:public modality:FINAL returnType:kotlin.Unit
    VALUE_PARAMETER kind:Regular name:a index:0 type:<root>.A<*>
    BLOCK_BODY
      CALL 'public open fun f (c: @[FlexibleNullability] java.util.function.Predicate<in @[FlexibleNullability] T of <root>.A?>?): kotlin.Unit declared in <root>.A' type=kotlin.Unit origin=null
        ARG <this>: GET_VAR 'a: <root>.A<*> declared in <root>.test' type=<root>.A<*> origin=null
        ARG c: TYPE_OP type=@[FlexibleNullability] java.util.function.Predicate<kotlin.Any?>? origin=SAM_CONVERSION typeOperand=@[FlexibleNullability] java.util.function.Predicate<kotlin.Any?>?
          FUN_EXPR type=kotlin.Function1<@[EnhancedNullability] @[FlexibleNullability] kotlin.Any?, kotlin.Boolean> origin=LAMBDA
            FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL returnType:kotlin.Boolean
              VALUE_PARAMETER kind:Regular name:p index:0 type:@[EnhancedNullability] @[FlexibleNullability] kotlin.Any?
              BLOCK_BODY
                TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
                  TYPE_OP type=<root>.P<*> origin=CAST typeOperand=<root>.P<*>
                    GET_VAR 'p: @[EnhancedNullability] @[FlexibleNullability] kotlin.Any? declared in <root>.test.<anonymous>' type=@[EnhancedNullability] @[FlexibleNullability] kotlin.Any? origin=null
                TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
                  GET_FIELD 'FIELD IR_EXTERNAL_JAVA_DECLARATION_STUB name:x type:@[FlexibleNullability] T of <root>.P? visibility:public [final] declared in <root>.P' type=@[FlexibleNullability] kotlin.Any? superQualifierSymbol=<root>.P origin=null
                    receiver: TYPE_OP type=<root>.P<*> origin=IMPLICIT_CAST typeOperand=<root>.P<*>
                      TYPE_OP type=kotlin.Any origin=IMPLICIT_NOTNULL typeOperand=kotlin.Any
                        GET_VAR 'p: @[EnhancedNullability] @[FlexibleNullability] kotlin.Any? declared in <root>.test.<anonymous>' type=@[EnhancedNullability] @[FlexibleNullability] kotlin.Any? origin=null
                RETURN type=kotlin.Nothing from='local final fun <anonymous> (p: @[EnhancedNullability] @[FlexibleNullability] kotlin.Any?): kotlin.Boolean declared in <root>.test'
                  CONST Boolean type=kotlin.Boolean value=true
