diff --git a/java/ql/lib/semmle/code/java/Type.qll b/java/ql/lib/semmle/code/java/Type.qll index c30dd7012bfb..aa1cc5fdc7f7 100644 --- a/java/ql/lib/semmle/code/java/Type.qll +++ b/java/ql/lib/semmle/code/java/Type.qll @@ -422,6 +422,7 @@ class RefType extends Type, Annotatable, Modifiable, @reftype { * This does not include itself, unless this type is part of a cycle * in the type hierarchy. */ + overlay[caller?] RefType getAStrictAncestor() { result = this.getASupertype().getAnAncestor() } /**