Java: Allow methods with empty bodies for overlay

github · kaspersv · Jun 30, 2025 · Jan 15, 2025 · Jan 9, 2025 · Jan 14, 2025
commit 0ee6a78a4a760e01d50f8400ce086128b60224c9
@@ -624,7 +624,13 @@ class SrcMethod extends Method {
       then implementsInterfaceMethod(result, this)
       else result.getASourceOverriddenMethod*() = this
     ) and
-    (exists(result.getBody()) or result.hasModifier("native"))
+    (
+      // We allow empty method bodies for the local overlay variant to allow
+      // calls to methods only fully extracted in base.
+      isOverlay() or
+      exists(result.getBody()) or
+      result.hasModifier("native")
+    )
   }
 }