On Tue, 11 Aug 2026 19:28:53 GMT, Dan Smith <[email protected]> wrote:

>> Chen Liang has updated the pull request with a new target base due to a 
>> merge or a rebase. The incremental webrev excludes the unrelated changes 
>> brought in by the merge/rebase. The pull request contains 15 additional 
>> commits since the last revision:
>> 
>>  - Bug spotted by Aggelos
>>  - Merge branch 'master' of https://github.com/openjdk/jdk into 
>> doc/class-casts
>>  - Typo tweaks
>>  - Merge branch 'master' of https://github.com/openjdk/jdk into 
>> doc/class-casts
>>  - Rendering updates
>>  - More tweaks
>>  - Merge branch 'master' of https://github.com/openjdk/jdk into 
>> doc/class-casts
>>  - Tweak
>>  - Merge branch 'master' of https://github.com/openjdk/jdk into 
>> doc/class-casts
>>  - Stage
>>  - ... and 5 more: https://git.openjdk.org/jdk/compare/6f4bd32e...725cedfc
>
> src/java.base/share/classes/java/lang/Class.java line 821:
> 
>> 819:      *     (1) T is the same as P; (2) T is a superclass of P; (3) T is 
>> a
>> 820:      *     superinterface of P; or (4) T is the {@link Object} class, 
>> and P is
>> 821:      *     a reference type.
> 
> To make the cases non-overlapping: "T is the {@link Object} class, and P is 
> an interface or array type"

(I'm not sure about array types: does (2) apply to `int[] <: Object`?)

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

PR Review Comment: https://git.openjdk.org/jdk/pull/28684#discussion_r3761096343

Reply via email to