FILE fqName:<root> fileName:/argumentMappedWithError.kt
  FUN name:convert visibility:public modality:FINAL <R> ($receiver:kotlin.Number) returnType:R flags:
    TYPE_PARAMETER name:R index:0 variance: upperBounds:[kotlin.Number]
      superClassifiers:
        CLASS IR_EXTERNAL_DECLARATION_STUB CLASS name:Number modality:ABSTRACT visibility:public flags:
    $receiver: VALUE_PARAMETER name:<this> type:kotlin.Number flags:
    BLOCK_BODY
      RETURN type=kotlin.Nothing from='convert() on Number: R'
        CALL 'TODO(): Nothing' type=kotlin.Nothing origin=null
  FUN name:foo visibility:public modality:FINAL <> (arg:kotlin.Number) returnType:Unit flags:
    VALUE_PARAMETER name:arg index:0 type:kotlin.Number flags:
    BLOCK_BODY
  FUN name:main visibility:public modality:FINAL <> (args:kotlin.Array<kotlin.String>) returnType:Unit flags:
    VALUE_PARAMETER name:args index:0 type:kotlin.Array<kotlin.String> flags:
    BLOCK_BODY
      VAR name:x type:kotlin.Int flags:val
        CONST Int type=kotlin.Int value=0
      CALL 'foo(Number): Unit' type=kotlin.Unit origin=null
        arg: CALL 'convert() on Number: Number' type=kotlin.Number origin=null
          <R : Number>: Number
          $receiver: GET_VAR 'x: Int' type=kotlin.Int origin=null

