| // DONT_TARGET_EXACT_BACKEND: WASM | |
| // WASM_MUTE_REASON: EXCEPTIONS_NOT_IMPLEMENTED | |
| fun a(): String? = null | |
| fun b(): Nothing = throw Exception() | |
| fun foo(): String = a() ?: b() | |
| fun box(): String { | |
| try { | |
| foo() | |
| } catch (e: Exception) { | |
| return "OK" | |
| } | |
| return "Fail" | |
| } |