// PROBLEM: none // WITH_RUNTIME fun main(args: Array) { val t: String? = "abc" if (t == null) throw NullPointerException() else t }