Re: [External] : Re: Record patterns (and beyond): exceptions

2022-02-18 Thread Brian Goetz
We're lost in the weeds; I really can't follow what you're on about here, and more replies doesn't seem to be improving it. Since we're rapidly heading towards the danger zones I warned about in: https://mail.openjdk.java.net/pipermail/amber-spec-observers/2020-August/002458.html I think we

Re: [External] : Re: Record patterns (and beyond): exceptions

2022-02-18 Thread forax
> From: "Brian Goetz" > To: "Remi Forax" > Cc: "amber-spec-experts" > Sent: Friday, February 18, 2022 3:34:45 PM > Subject: Re: [External] : Re: Record patterns (and beyond): exceptions >>> But this clearly does not fall into ICCE. ICCE means, basically, "your >>> classpath >>> is borked";

Re: [External] : Re: Record patterns (and beyond): exceptions

2022-02-18 Thread Brian Goetz
But this clearly does not fall into ICCE.  ICCE means, basically, "your classpath is borked"; that things that were known to be true at compile time are not true at runtime. (Inconsistent separate compilation is the most common cause.)  But Box(Bag(null)) is not an artifact