Merge pull request tock#4114 from tock/clippy-match-single-binding

clippy: deny `match-single-binding`
alevy · Jul 24, 2024 · 925a233 · 925a233
2 parents bbcec36 + 5aa78f2
commit 925a233
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 5 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -158,13 +158,8 @@ only_used_in_recursion = "allow"
 manual-range-patterns = "allow"
 manual-flatten = "allow"
 
-
 zero_prefixed_literal = "allow"
 
-
-match-single-binding = "allow"
-
-
 # STYLE
 style = { level = "deny", priority = -1 }
 

diff --git a/chips/stm32f401cc/src/interrupt_service.rs b/chips/stm32f401cc/src/interrupt_service.rs
@@ -29,6 +29,7 @@ impl<'a> Stm32f401ccDefaultPeripherals<'a> {
 }
 impl<'a> kernel::platform::chip::InterruptService for Stm32f401ccDefaultPeripherals<'a> {
     unsafe fn service_interrupt(&self, interrupt: u32) -> bool {
+        #[allow(clippy::match_single_binding)]
         match interrupt {
             // put Stm32f401cc specific interrupts here
             _ => self.stm32f4.service_interrupt(interrupt),

diff --git a/chips/stm32f446re/src/interrupt_service.rs b/chips/stm32f446re/src/interrupt_service.rs
@@ -29,6 +29,7 @@ impl<'a> Stm32f446reDefaultPeripherals<'a> {
 }
 impl<'a> kernel::platform::chip::InterruptService for Stm32f446reDefaultPeripherals<'a> {
     unsafe fn service_interrupt(&self, interrupt: u32) -> bool {
+        #[allow(clippy::match_single_binding)]
         match interrupt {
             // put Stm32f446re specific interrupts here
             _ => self.stm32f4.service_interrupt(interrupt),