From d35a0b960e37f063442c4b521d8a4d9c95e7b8ab Mon Sep 17 00:00:00 2001
From: Joe Darcy <joe.darcy@oracle.com>
Date: Tue, 13 Dec 2022 11:57:46 -0800
Subject: [PATCH] JDK-8297305: Clarify that
 javax.lang.model.util.Elements.overrides is irreflexive

---
 .../share/classes/javax/lang/model/util/Elements.java           | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/java.compiler/share/classes/javax/lang/model/util/Elements.java b/src/java.compiler/share/classes/javax/lang/model/util/Elements.java
index f567c7f3b1b..c8849d6f612 100644
--- a/src/java.compiler/share/classes/javax/lang/model/util/Elements.java
+++ b/src/java.compiler/share/classes/javax/lang/model/util/Elements.java
@@ -622,6 +622,8 @@ default TypeElement getOutermostTypeElement(Element e) {
      * overrides another method.
      * When a non-abstract method overrides an abstract one, the
      * former is also said to <i>implement</i> the latter.
+     * As implied by JLS {@jls 8.4.8.1}, a method does <em>not</em>
+     * override itself. The overrides relation is <i>irreflexive</i>.
      *
      * <p> In the simplest and most typical usage, the value of the
      * {@code type} parameter will simply be the class or interface