// LIBRARY_PLATFORMS: JVM

class MyException : Exception()
class C @Throws(Exception::class) constructor(a: Int = 1) {
    @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() {}
}
