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

}
