Unexpected compilation error with generic sealed interface
Mark Raynsford
mark at io7m.com
Mon Dec 28 16:53:02 UTC 2020
On 2020-12-28T11:41:36 -0500
Vicente Romero <vicente.romero at oracle.com> wrote:
> Hi,
>
> I believe this to be the same issue already addressed in [1], which has
> already been fixed in 16 and should be forward-ported to 17,
Looks like it, yes! Didn't realize the same code had been submitted
there.
To be clear: The original symptom was an actual compiler crash. Now we
just get a compilation error ("I<Object> cannot be converted to C"). An
error is obviously better than a crash, but I don't think this code
should result in an error at all.
--
Mark Raynsford | https://www.io7m.com
More information about the amber-spec-experts
mailing list