because other than the java interop issues (forget...

# language-proposals

[mikehearn]

because other than the java interop issues (forgetting @Throws is going to be a repetitive and painful interop problem), being able to spot when error handling code is wrong or missing would be a helpful tool for correctness