Typed throws does not check for Error conformance in `do`-`catch` statement

[hamishknight]

The following is currently accepted but should be illegal:

struct NotAnError {}
do throws(NotAnError) {} catch {}