[jdk16] RFR: 8258972: unexpected compilation error with generic sealed interface [v3]
Vicente Romero
vromero at openjdk.java.net
Tue Jan 5 20:32:11 UTC 2021
> Hi,
>
> Please review this fix to the implementation of section `5.1.6.1 Allowed Narrowing Reference Conversion` of the Sealed Classes spec [1](http://cr.openjdk.java.net/~gbierman/jep397/jep397-20201204/specs/sealed-classes-jls.html#jls-5.1.6.1). IMO the compiler was not implementing the spec to the letter in particular the inheritance relation between a sealed class and a subclass should be tested ignoring type arguments which is what this patch is doing. Comments?
>
> Thanks,
> Vicente
Vicente Romero has updated the pull request incrementally with one additional commit since the last revision:
adding missing calls to Types::erasure
-------------
Changes:
- all: https://git.openjdk.java.net/jdk16/pull/72/files
- new: https://git.openjdk.java.net/jdk16/pull/72/files/36017f21..60c60bd9
Webrevs:
- full: https://webrevs.openjdk.java.net/?repo=jdk16&pr=72&range=02
- incr: https://webrevs.openjdk.java.net/?repo=jdk16&pr=72&range=01-02
Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
Patch: https://git.openjdk.java.net/jdk16/pull/72.diff
Fetch: git fetch https://git.openjdk.java.net/jdk16 pull/72/head:pull/72
PR: https://git.openjdk.java.net/jdk16/pull/72
More information about the compiler-dev
mailing list