Update java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll

Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2024-04-05 12:50:26 +01:00
committed by GitHub
parent 3f63d3a865
commit 26cf8df8d6

View File

@@ -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
}