daniel.smith at oracle.com
Tue Aug 4 23:37:59 UTC 2020
> On Jul 22, 2020, at 2:45 PM, John Napier <jnape09 at gmail.com> wrote:
> Hey all,
> https://bugs.openjdk.java.net/browse/JDK-7120669 is a bug I and my teams at work run into all the time: I was curious if there was any plan to incorporate a fix for it in an upcoming release, and if so, what the intended resolution was?
Appreciate the interest. If you can provide some examples of where this bug causes you problems (program won't compile? inconsistency between javac and Eclipse? unexpected runtime behavior?), that would be really useful.
A concrete plan doesn't exist yet, but it will involve finding a consensus about which intersection types should be considered valid and which should not. May involve some new compiler errors and/or successful compilation of previously-rejected code.
There is some interest in addressing issues like this as we push on the type system with inline classes in Valhalla and sealed classes in Amber.
More information about the compiler-dev