I agree that this was just something we overlooked, though not necessarily with
the leap from there to “so of course we should fix it”; the incremental
return-on-complexity there is probably quite low, unless the spec fix is truly
trivial. As Tagir points out, this is at least currently
Agreed. Looks like this case was just overlooked. Abstract exception class
is quite an unusual thing but probably it will be more useful with sealed
classes.
With best regards,
Tagir Valeev.
On Fri, Sep 24, 2021 at 4:45 PM Remi Forax wrote:
> - Original Message -
> > From: "Zheka
- Original Message -
> From: "Zheka Kozlov"
> To: "amber-dev"
> Sent: Vendredi 24 Septembre 2021 10:30:54
> Subject: Sealed Exception
> Hi!
CC amber-spec-experts
>
> Java 17 compiler forces me to insert an unreachable catch block for the
> base Exception:
>
> public static void
