fun testImplicitCast(a: Any) {
  when {
    a !is String -> return Unit
  }
  val t: String = try { // BLOCK
    a /*as String */
  }
  catch (e: Throwable){ // BLOCK
    ""
  }

}