Multi-catch: Explanation of final

[Neal Gafter]

On Tue, Nov 24, 2009 at 8:51 PM, Paul Benedict <pbenedict at apache.org> wrote:

> Wouldn't this be an acceptable conclusion to lifting the final variable?
>
> catch(IOException|SQLException ex) {
>   ex = new IllegalArgumentException(); // error since ex is not one
> of the disjunctive supertypes
>

Um, the premise here is how to do it without adding disjunctive types to the
type system.

Cheers,
Neal