[Pitch N+1] Typed Throws

[scanon (Steve Canon)]

@Skwiggs

Just want to say this proposal is absolutely amazing and I can't wait for it to land!
I'd also want to add my vote for the throws MyError -> Void syntax over the use throws(MyError) or throws<MyError>

This proposal was accepted in December and has been available in the nightly toolchains for a few months (with parentheses, for the reasons I mentioned in the acceptance).