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