Merge pull request #19968 from kaspersv/kaspersv/overlay-java-getastrictancestor-caller

kaspersv · web-flow · commit 785e0273f2ba · 2025-07-04T09:38:02.000+02:00
Overlay: Mark `RefType.getAStrictAncestor`` overlay[caller?]`
diff --git 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() }
 
   /**
