Typed throws is something we need to settle one way or the other, and I agree it would be nice to do that in the Swift 5 cycle.