javadoc & sealed class & generics

[Udo Höfel]

Hi Jonathan,
Ah, indeed. I only tested the compilation from within eclipse and seem to have run into this eclipse bug:https://bugs.eclipse.org/bugs/show_bug.cgi?id=576378
Sorry for the noise!

    Udo,

    What does `javac` report?   `javadoc` uses the `javac` front end, and
    those look like `javac` errors to me, implying this is invalid source code.

    -- Jon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/javadoc-dev/attachments/20220220/933766f3/attachment.htm>