mirror of
https://github.com/github/codeql.git
synced 2026-04-25 08:45:14 +02:00
Rust: Remove unused types
This commit is contained in:
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user