RFR: 8263358: Update java.lang to use instanceof pattern variable [v5]

Rémi Forax github.com+828220+forax at openjdk.java.net
Mon Mar 15 13:37:12 UTC 2021


On Mon, 15 Mar 2021 11:39:20 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

>> We have considered generics, that why parameterized generics with another type arguments are forbidden, but i think we have forgotten raw types.
>
> I don't think that cast from `Object` to a raw type is unchecked, so as error does not seem warranted to me.
> 
> However, I agree javac should produce the rawtype warning for rawtypes in pattern matching instanceof, because we are introducing a new variable (and casting). I've filled:
> https://bugs.openjdk.java.net/browse/JDK-8263590
> 
> Note the non-pattern matching instanceof does not produce the rawtype warning, and I don't think it should produce it.

yes,
javac should emit a warning in that case, that also the answer of Brian.

https://mail.openjdk.java.net/pipermail/amber-spec-experts/2021-March/002925.html

-------------

PR: https://git.openjdk.java.net/jdk/pull/2913


More information about the core-libs-dev mailing list