From dee9b44389a187a7325593c785f16dc1d35a295f Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 8 Dec 2025 08:47:47 +0000
Subject: [PATCH 1/2] Initial plan


From 3e99c9c6c475a9ea63a272a94e7d59125b1947b4 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 8 Dec 2025 08:52:09 +0000
Subject: [PATCH 2/2] Add override[local?] annotation to isTypeUsed predicates

Co-authored-by: asgerf <316427+asgerf@users.noreply.github.com>
---
 .../lib/advanced_security/javascript/frameworks/ui5/UI5View.qll | 2 +-
 .../advanced_security/javascript/frameworks/xsjs/AsyncXSJS.qll  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/javascript/frameworks/ui5/lib/advanced_security/javascript/frameworks/ui5/UI5View.qll b/javascript/frameworks/ui5/lib/advanced_security/javascript/frameworks/ui5/UI5View.qll
index b7b57c7dc..f5d4f9172 100644
--- a/javascript/frameworks/ui5/lib/advanced_security/javascript/frameworks/ui5/UI5View.qll
+++ b/javascript/frameworks/ui5/lib/advanced_security/javascript/frameworks/ui5/UI5View.qll
@@ -940,5 +940,5 @@ class ControlTypeInHandlerModel extends ModelInput::TypeModel {
    * Prevents model pruning for `ControlType`types
    */
   bindingset[type]
-  override predicate isTypeUsed(string type) { any() }
+  override[local?] predicate isTypeUsed(string type) { any() }
 }
diff --git a/javascript/frameworks/xsjs/lib/advanced_security/javascript/frameworks/xsjs/AsyncXSJS.qll b/javascript/frameworks/xsjs/lib/advanced_security/javascript/frameworks/xsjs/AsyncXSJS.qll
index 4d62fb403..766aaf7ec 100644
--- a/javascript/frameworks/xsjs/lib/advanced_security/javascript/frameworks/xsjs/AsyncXSJS.qll
+++ b/javascript/frameworks/xsjs/lib/advanced_security/javascript/frameworks/xsjs/AsyncXSJS.qll
@@ -23,7 +23,7 @@ class XSJSDollarTypeModel extends ModelInput::TypeModel {
   /**
    * Prevents model pruning for type `XsjsDollar`
    */
-  override predicate isTypeUsed(string type) { type = "XsjsDollar" }
+  override[local?] predicate isTypeUsed(string type) { type = "XsjsDollar" }
 }
 
 /**