Pitch: Genericizing over annotations like throws

Think about rethrows. A rethrows method like map works whether it's passed a throwing closure or not, but it doesn't throw itself, so whether a map expression throws depends on whether the closure throws. The discussion here is about enabling that kind of abstraction more generally than rethrows.

1 Like