On Wed, 12 Jul 2023 22:26:14 GMT, John R Rose <jr...@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
