Dmitry Petrov
28 lines
1.3 KiB
Plaintext
Vendored
28 lines
1.3 KiB
Plaintext
Vendored
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'
|
|
BLOCK 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
|