Merge pull request github#17728 from paldepind/rust-remove-unused-types

Rust: Remove unused types
jessejay-ch · Oct 10, 2024 · 1398575 · 1398575
2 parents 04c7319 + 0c9a289
commit 1398575
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/rust/ql/lib/codeql/rust/controlflow/internal/SuccessorType.qll b/rust/ql/lib/codeql/rust/controlflow/internal/SuccessorType.qll
@@ -2,14 +2,6 @@ private import rust
 private import codeql.util.Boolean
 private import Completion
 
-newtype TLoopJumpType =
-  TContinueJump() or
-  TBreakJump()
-
-newtype TLabelType =
-  TLabel(string s) { any(Label l).getLifetime().getText() = s } or
-  TNoLabel()
-
 cached
 newtype TSuccessorType =
   TSuccessorSuccessor() or