Fix empty findings related to nested extensions.
GITHUB_BREAKING_CHANGES=N/A
@@ -72,6 +72,10 @@ public abstract class Identifier {
public abstract SourceLocation location();
+ public boolean isRenamed() {
+ return !identifier().equals(originalName());
+ }
+
@Override
public final String toString() {
return identifier();
