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