<i18n dev> RFR: 8311188: Simplify and modernize equals and hashCode in java.text [v5]

[Pavel Rappo]

On Wed, 12 Jul 2023 22:26:14 GMT, John R Rose <jrose at openjdk.org> wrote:

> Yes, it would be, because `rp` has a statically observable type, `BigInteger`. And that observation will flow across the call to the helper method.

After all, my mental model is incorrect; sigh.

I read your write-up as though once we see a static method with an Object/generic parameter, which receives a call inside that static method, our "observation of a static type" is toast.

Please provide (ideally) a few examples of a refactoring that would choke "observation of a static type", so I could correct my model.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/14752#discussion_r1266026286