FILE /smartCastsWithDestructuring.kt
  CLASS INTERFACE I1
  CLASS INTERFACE I2
  FUN public operator fun I1.component1(): kotlin.Int
    BLOCK_BODY
      RETURN type=kotlin.Nothing from='component1() on I1: Int'
        CONST Int type=kotlin.Int value='1'
  FUN public operator fun I2.component2(): kotlin.String
    BLOCK_BODY
      RETURN type=kotlin.Nothing from='component2() on I2: String'
        CONST String type=kotlin.String value=''
  FUN public fun test(x: I1): kotlin.Unit
    BLOCK_BODY
      WHEN type=kotlin.Unit origin=null
        BRANCH
          if: TYPE_OP origin=NOT_INSTANCEOF typeOperand=I2
            GET_VAR 'value-parameter x: I1' type=I1 origin=null
          then: RETURN type=kotlin.Nothing from='test(I1): Unit'
            GET_OBJECT 'Unit' type=kotlin.Unit
      COMPOSITE type=kotlin.Unit origin=DESTRUCTURING_DECLARATION
        VAR IR_TEMPORARY_VARIABLE val tmp0_container: I1
          GET_VAR 'value-parameter x: I1' type=I1 origin=null
        VAR val c1: kotlin.Int
          CALL 'component1() on I1: Int' type=kotlin.Int origin=COMPONENT_N(index=1)
            $receiver: GET_VAR 'tmp0_container: I1' type=I1 origin=null
        VAR val c2: kotlin.String
          CALL 'component2() on I2: String' type=kotlin.String origin=COMPONENT_N(index=2)
            $receiver: TYPE_OP origin=IMPLICIT_CAST typeOperand=I2
              GET_VAR 'tmp0_container: I1' type=I1 origin=null
