On Thu, 18 Dec 2025 14:23:31 GMT, Chen Liang <liach at openjdk.org> wrote: > Looks right that we are handling this equivalent to `@Override`. yep, thanks for the review ------------- PR Comment: https://git.openjdk.org/valhalla/pull/1820#issuecomment-3670871191