be86739d3a
Change block typing contract.
15 lines
605 B
Plaintext
Vendored
15 lines
605 B
Plaintext
Vendored
FILE /throw.kt
|
|
FUN public fun test1(): kotlin.Unit
|
|
BLOCK_BODY
|
|
THROW type=<no-type>
|
|
CALL .<init> type=kotlin.Throwable operator=null
|
|
FUN public fun testImplicitCast(/*0*/ a: kotlin.Any): kotlin.Unit
|
|
BLOCK_BODY
|
|
WHEN type=kotlin.Unit operator=IF
|
|
if: TYPE_OP operator=INSTANCEOF typeOperand=kotlin.Throwable
|
|
GET_VAR a type=kotlin.Any operator=null
|
|
then: BLOCK type=kotlin.Nothing operator=null
|
|
THROW type=<no-type>
|
|
TYPE_OP operator=IMPLICIT_CAST typeOperand=kotlin.Throwable
|
|
GET_VAR a type=kotlin.Any operator=null
|