Multi-catch: Explanation of final

Neal Gafter neal at
Wed Nov 25 00:16:44 PST 2009

On Tue, Nov 24, 2009 at 8:51 PM, Paul Benedict <pbenedict at> 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.


More information about the coin-dev mailing list