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
        CONST Int type=kotlin.Int value='1'
  FUN public operator fun I2.component2(): kotlin.String
    BLOCK_BODY
      RETURN type=kotlin.Nothing from=component2
        CONST String type=kotlin.String value=''
  FUN public fun test(/*0*/ x: I1): kotlin.Unit
    BLOCK_BODY
      WHEN type=kotlin.Unit operator=IF
        if: TYPE_OP operator=NOT_INSTANCEOF typeOperand=I2
          GET_VAR x type=I1 operator=null
        then: RETURN type=kotlin.Nothing from=test
      BLOCK type=kotlin.Unit operator=DESTRUCTURING_DECLARATION
        VAR val tmp0_container: I1
          GET_VAR x type=I1 operator=null
        VAR val c1: kotlin.Int
          CALL .component1 type=kotlin.Int operator=COMPONENT_N(index=1)
            $receiver: GET_VAR tmp0_container type=I1 operator=null
        VAR val c2: kotlin.String
          CALL .component2 type=kotlin.String operator=COMPONENT_N(index=2)
            $receiver: TYPE_OP operator=IMPLICIT_CAST typeOperand=I2
              GET_VAR tmp0_container type=I1 operator=null
