// LIBRARY_PLATFORMS: JVM

class MyException : Exception()

@Throws(java.io.IOException::class, MyException::class)
fun readFile(name: String): String { TODO() }

// Should be mapped to java.lang.Throwable
@Throws(kotlin.Throwable::class)
fun baz() {}
