// WITH_RUNTIME

class FooException : Exception()

class Test {
    var setter: String = ""
        @Throws(FooException::class)
        set(value) = throw FooException()
}