RFR: 8263358: Update java.lang to use instanceof pattern variable [v5]
Pavel Rappo
prappo at openjdk.java.net
Mon Mar 15 13:53:16 UTC 2021
On Mon, 15 Mar 2021 13:34:45 GMT, Rémi Forax <github.com+828220+forax at openjdk.org> wrote:
>> 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
Then we should use an unbounded wildcard here and in similar places to avoid "rawtype" warnings in the future.
-------------
PR: https://git.openjdk.java.net/jdk/pull/2913
More information about the core-libs-dev
mailing list