fix compiler warnings

Artisan-Lab · Jan 6, 2025 · edc1503 · edc1503
1 parent 34e0f29
commit edc1503
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/rap/src/analysis/safedrop/graph.rs b/rap/src/analysis/safedrop/graph.rs
@@ -633,7 +633,7 @@ impl<'tcx> SafeDropGraph<'tcx> {
 
         let res = if let TerminatorKind::SwitchInt {
             ref discr,
-            ref targets,
+            targets: _,
         } = &block.switch_stmts[0].kind
         {
             match discr {

diff --git a/rap/src/analysis/safedrop/safedrop.rs b/rap/src/analysis/safedrop/safedrop.rs
@@ -137,7 +137,7 @@ impl<'tcx> SafeDropGraph<'tcx> {
                 };
 
                 if !block_node.switch_stmts.is_empty() {
-                    let TerminatorKind::SwitchInt { discr, targets } =
+                    let TerminatorKind::SwitchInt { discr: _, targets } =
                         block_node.switch_stmts[0].kind.clone()
                     else {
                         unreachable!();
@@ -167,7 +167,7 @@ impl<'tcx> SafeDropGraph<'tcx> {
                         }
                     } else {
                         let TerminatorKind::SwitchInt {
-                            ref discr,
+                            discr: _,
                             ref targets,
                         } = real_node.switch_stmts[0].kind
                         else {
@@ -192,7 +192,7 @@ impl<'tcx> SafeDropGraph<'tcx> {
                         }
                     } else {
                         let TerminatorKind::SwitchInt {
-                            ref discr,
+                            discr: _,
                             ref targets,
                         } = real_node.switch_stmts[0].kind
                         else {