On Thu, 24 Oct 2024 14:04:32 GMT, Emanuel Peter <epe...@openjdk.org> wrote:
>> Desirable future extension, but its not related to this specific PR. > > Well, here it would be especially interesting, because it would tell us if we > have a `sub` or an `add`. Lets address it in a follow up PR ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/20507#discussion_r1815473182
