On Mar 15, 2019, at 12:01 PM, John Rose <[email protected]> wrote: > > How do you type "f(throw e)"?
P.S. I suppose this EG has already considered that question,
but here's one answer that occurred to after hitting send:
"throw e" is sugar for an unconstrained poly expression,
approximately:
static <any X, T extends Throwable>
X throwMe(T t) throws T { throw T; }
… throwMe(e)
