On Wed, 12 Jan 2022 19:49:28 GMT, Weijun Wang <wei...@openjdk.org> wrote:
>> Interesting... In hindsight, the cast call sort of confirms that the >> intended ordering is the suggested one. > > The check ensures casting always succeeds. The fact that this has not been > noticed for such a long time means everyone is using the exact subclass type > when calling the method. Right, I suppose so. ------------- PR: https://git.openjdk.java.net/jdk/pull/7037