From 0c9a2896d85fa832eb292d9cab23214158fc2c03 Mon Sep 17 00:00:00 2001 From: Simon Friis Vindum Date: Thu, 10 Oct 2024 11:47:58 +0200 Subject: [PATCH] Rust: Remove unused types --- .../codeql/rust/controlflow/internal/SuccessorType.qll | 8 -------- 1 file changed, 8 deletions(-) diff --git a/rust/ql/lib/codeql/rust/controlflow/internal/SuccessorType.qll b/rust/ql/lib/codeql/rust/controlflow/internal/SuccessorType.qll index ba76888bd303..0b88c9f05cb4 100644 --- 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