Thanks for your background info.
Follow your words, I find some thorough discussion in the forum. (Pitch: Fix rethrows checking and add rethrows(unsafe))
And yes, I love the proposal of typed throws.
The thing that worries me is the fact that rethrows will likely always be in the language (because there are patterns out there which cannot be expressed by typed throws easily), and this pitfall will always be there.