RFR: 8268885: duplicate checkcast when destination type is not first type of intersection type
Jan Lahoda
jlahoda at openjdk.java.net
Thu Sep 9 18:19:04 UTC 2021
On Mon, 23 Aug 2021 23:29:15 GMT, Vicente Romero <vromero at openjdk.org> wrote:
> Please review this PR which is fixing the following bug: javac is generating duplicate checkcast for cases like:
>
>
> class IntersectionTypeTest {
> interface I1 {}
> interface I2 {}
> static class C {}
> void test() {
> I2 i = (I1 & I2) new C();
> }
> }
>
> basically when an intersection type is used in a cast expression and the target is not the type in the intersection.
>
> TIA
>
> PS. I also ran the JCK tests for this patch, same results as without the patch
Looks good to me.
-------------
Marked as reviewed by jlahoda (Reviewer).
PR: https://git.openjdk.java.net/jdk/pull/5235
More information about the compiler-dev
mailing list