Absolutely agree. I think the @Throws should be a ...

# language-proposals

[kingsley]

Absolutely agree. I think the @Throws should be a lot more powerful that what it currently is.
@Throws intent in IDE for interop with existing code [java code that declares that it throws an exception, or Kotlin code that contains an @Throws]
A warning of some sort on either/both of IDE and compiler might also be something to consider.