[jdk20] Integrated: JDK-8297305: Clarify that javax.lang.model.util.Elements.overrides is irreflexive

Tue Dec 13 20:52:35 UTC 2022

On Tue, 13 Dec 2022 20:21:15 GMT, Joe Darcy <darcy at openjdk.org> wrote:

> Please review this spec clarification and its companion CSR https://bugs.openjdk.org/browse/JDK-8298698

This pull request has now been integrated.

Changeset: c6f22b41
Author:    Joe Darcy <darcy at openjdk.org>
URL:       https://git.openjdk.org/jdk20/commit/c6f22b416072a9be5436f45e2f595ceea228f3bd
Stats:     2 lines in 1 file changed: 2 ins; 0 del; 0 mod

8297305: Clarify that javax.lang.model.util.Elements.overrides is irreflexive

Reviewed-by: jjg

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

PR: https://git.openjdk.org/jdk20/pull/27