Exception transparency (correction)

[Peter Levart]

On Thursday, June 10, 2010 11:41:36 pm Peter Levart wrote:
> Hello Maurizio,
> 
> What if compiler would track internally any type variable with Throwable
> bound in such a way  that when used in any context except "throw"
> statement it would mean lub(X,Y,Z,...) as defined today but when used in
> throw statement it would mean X|Y|Z|...

Search/replace "throw statement" with "throws declaration" ...

Regards