JDK-8030140 fixed now?

[Archie Cobbs]

I've been slowly trawling through the bug database resolving bugs that are
now fixed (aka janitorial scrubbing).

I believe JDK-8030140 <https://bugs.openjdk.org/browse/JDK-8030140> is now
fixed (thanks to clarifications in the JLS since it was filed) but it's a
little tricky so I thought I'd run it by the list to make sure my analysis
is correct.

Let me know if anyone thinks otherwise, otherwise I'll resolve it in a
couple of days. You would disagree if you think this is NOT a valid program:

    interface Iface {
        void m(Class arg);
    }

    class Super<T> {
        void m(T arg) {
        }
    }

    abstract class Foo extends Super<Class<String>> implements Iface {
        // no conflict here - two distinct methods are inherited
    }

Note this is similar to JDK-5059679
<https://bugs.openjdk.org/browse/JDK-5059679> discussed last week. I think
the same thing is happening here more or less.

Thanks,
-Archie

-- 
Archie L. Cobbs
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/compiler-dev/attachments/20230220/9a9cd1ff/attachment.htm>