From 26cf8df8d6b473c72d758a3c61ae382c615fe0fc Mon Sep 17 00:00:00 2001
From: Mathias Vorreiter Pedersen <mathiasvp@github.com>
Date: Fri, 5 Apr 2024 12:50:26 +0100
Subject: [PATCH] Update java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll

Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
---
 java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll b/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll
index 4096b83e5f1..5463faa4c87 100644
--- a/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll
+++ b/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll
@@ -23,7 +23,7 @@ private module Input implements TypeFlowInput<J::Location> {
 
   /** Gets `t` if it is a `RefType` or the boxed type if `t` is a primitive type. */
   private RefType boxIfNeeded(J::Type t) {
-    t.(J::PrimitiveType).getBoxedType() = result or
+    t.(PrimitiveType).getBoxedType() = result or
     result = t
   }