kotlin-fork/compiler/testData/ir/irText/expressions/smartCasts.txt

FILE fqName:<root> fileName:/smartCasts.kt
  FUN name:expectsString visibility:public modality:FINAL <> (s:kotlin.String) returnType:kotlin.Unit flags:
    VALUE_PARAMETER name:s index:0 type:kotlin.String flags:
    BLOCK_BODY
  FUN name:expectsInt visibility:public modality:FINAL <> (i:kotlin.Int) returnType:kotlin.Unit flags:
    VALUE_PARAMETER name:i index:0 type:kotlin.Int flags:
    BLOCK_BODY
  FUN name:overloaded visibility:public modality:FINAL <> (s:kotlin.String) returnType:kotlin.String flags:
    VALUE_PARAMETER name:s index:0 type:kotlin.String flags:
    BLOCK_BODY
      RETURN type=kotlin.Nothing from='overloaded(String): String'
        GET_VAR 'value-parameter s: String' type=kotlin.String origin=null
  FUN name:overloaded visibility:public modality:FINAL <> (x:kotlin.Any) returnType:kotlin.Any flags:
    VALUE_PARAMETER name:x index:0 type:kotlin.Any flags:
    BLOCK_BODY
      RETURN type=kotlin.Nothing from='overloaded(Any): Any'
        GET_VAR 'value-parameter x: Any' type=kotlin.Any origin=null
  FUN name:test1 visibility:public modality:FINAL <> (x:kotlin.Any) returnType:kotlin.Unit flags:
    VALUE_PARAMETER name:x index:0 type:kotlin.Any flags:
    BLOCK_BODY
      WHEN type=kotlin.Unit origin=IF
        BRANCH
          if: TYPE_OP type=kotlin.Boolean origin=NOT_INSTANCEOF typeOperand=kotlin.String
            typeOperand: CLASS IR_EXTERNAL_DECLARATION_STUB CLASS name:String modality:FINAL visibility:public flags: superTypes:[kotlin.Comparable<kotlin.String>; kotlin.CharSequence; java.io.Serializable]
            GET_VAR 'value-parameter x: Any' type=kotlin.Any origin=null
          then: RETURN type=kotlin.Nothing from='test1(Any): Unit'
            GET_OBJECT 'Unit' type=kotlin.Unit
      CALL 'println(Int): Unit' type=kotlin.Unit origin=null
        message: CALL '<get-length>(): Int' type=kotlin.Int origin=GET_PROPERTY
          $this: TYPE_OP type=kotlin.String origin=IMPLICIT_CAST typeOperand=kotlin.String
            typeOperand: CLASS IR_EXTERNAL_DECLARATION_STUB CLASS name:String modality:FINAL visibility:public flags: superTypes:[kotlin.Comparable<kotlin.String>; kotlin.CharSequence; java.io.Serializable]
            GET_VAR 'value-parameter x: Any' type=kotlin.Any origin=null
      CALL 'expectsString(String): Unit' type=kotlin.Unit origin=null
        s: TYPE_OP type=kotlin.String origin=IMPLICIT_CAST typeOperand=kotlin.String
          typeOperand: CLASS IR_EXTERNAL_DECLARATION_STUB CLASS name:String modality:FINAL visibility:public flags: superTypes:[kotlin.Comparable<kotlin.String>; kotlin.CharSequence; java.io.Serializable]
          GET_VAR 'value-parameter x: Any' type=kotlin.Any origin=null
      CALL 'expectsInt(Int): Unit' type=kotlin.Unit origin=null
        i: CALL '<get-length>(): Int' type=kotlin.Int origin=GET_PROPERTY
          $this: TYPE_OP type=kotlin.String origin=IMPLICIT_CAST typeOperand=kotlin.String
            typeOperand: CLASS IR_EXTERNAL_DECLARATION_STUB CLASS name:String modality:FINAL visibility:public flags: superTypes:[kotlin.Comparable<kotlin.String>; kotlin.CharSequence; java.io.Serializable]
            GET_VAR 'value-parameter x: Any' type=kotlin.Any origin=null
      CALL 'expectsString(String): Unit' type=kotlin.Unit origin=null
        s: CALL 'overloaded(String): String' type=kotlin.String origin=null
          s: TYPE_OP type=kotlin.String origin=IMPLICIT_CAST typeOperand=kotlin.String
            typeOperand: CLASS IR_EXTERNAL_DECLARATION_STUB CLASS name:String modality:FINAL visibility:public flags: superTypes:[kotlin.Comparable<kotlin.String>; kotlin.CharSequence; java.io.Serializable]
            GET_VAR 'value-parameter x: Any' type=kotlin.Any origin=null
  FUN name:test2 visibility:public modality:FINAL <> (x:kotlin.Any) returnType:kotlin.String flags:
    VALUE_PARAMETER name:x index:0 type:kotlin.Any flags:
    BLOCK_BODY
      WHEN type=kotlin.Unit origin=IF
        BRANCH
          if: TYPE_OP type=kotlin.Boolean origin=NOT_INSTANCEOF typeOperand=kotlin.String
            typeOperand: CLASS IR_EXTERNAL_DECLARATION_STUB CLASS name:String modality:FINAL visibility:public flags: superTypes:[kotlin.Comparable<kotlin.String>; kotlin.CharSequence; java.io.Serializable]
            GET_VAR 'value-parameter x: Any' type=kotlin.Any origin=null
          then: RETURN type=kotlin.Nothing from='test2(Any): String'
            CONST String type=kotlin.String value=""
      RETURN type=kotlin.Nothing from='test2(Any): String'
        CALL 'overloaded(String): String' type=kotlin.String origin=null
          s: TYPE_OP type=kotlin.String origin=IMPLICIT_CAST typeOperand=kotlin.String
            typeOperand: CLASS IR_EXTERNAL_DECLARATION_STUB CLASS name:String modality:FINAL visibility:public flags: superTypes:[kotlin.Comparable<kotlin.String>; kotlin.CharSequence; java.io.Serializable]
            GET_VAR 'value-parameter x: Any' type=kotlin.Any origin=null
  FUN name:test3 visibility:public modality:FINAL <> (x:kotlin.Any) returnType:kotlin.String flags:
    VALUE_PARAMETER name:x index:0 type:kotlin.Any flags:
    BLOCK_BODY
      WHEN type=kotlin.Unit origin=IF
        BRANCH
          if: TYPE_OP type=kotlin.Boolean origin=NOT_INSTANCEOF typeOperand=kotlin.String
            typeOperand: CLASS IR_EXTERNAL_DECLARATION_STUB CLASS name:String modality:FINAL visibility:public flags: superTypes:[kotlin.Comparable<kotlin.String>; kotlin.CharSequence; java.io.Serializable]
            GET_VAR 'value-parameter x: Any' type=kotlin.Any origin=null
          then: RETURN type=kotlin.Nothing from='test3(Any): String'
            CONST String type=kotlin.String value=""
      RETURN type=kotlin.Nothing from='test3(Any): String'
        TYPE_OP type=kotlin.String origin=IMPLICIT_CAST typeOperand=kotlin.String
          typeOperand: CLASS IR_EXTERNAL_DECLARATION_STUB CLASS name:String modality:FINAL visibility:public flags: superTypes:[kotlin.Comparable<kotlin.String>; kotlin.CharSequence; java.io.Serializable]
          GET_VAR 'value-parameter x: Any' type=kotlin.Any origin=null