fun test1() {
  throw Throwable()
}

fun testImplicitCast(a: Any) {
  when {
    a is Throwable -> { // BLOCK
      throw a /*as Throwable */
    }
  }
}