Add panic on impossible branch

Mroik · May 10, 2024 · 0bbf654 · 0bbf654
1 parent b8e87b7
commit 0bbf654
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/src/app.rs b/src/app.rs
@@ -177,7 +177,7 @@ impl App {
                     }
                 }
             }
-            _ => (),
+            _ => unreachable!(),
         };
         self.handle_expression_box_event(code, handler);
     }
@@ -234,7 +234,7 @@ impl App {
                     }
                 }
             }
-            _ => (),
+            _ => unreachable!(),
         };
         self.handle_expression_box_event(code, handler);
     }
@@ -275,7 +275,7 @@ impl App {
                     app_context.reset_expression_box();
                 }
             },
-            _ => (),
+            _ => unreachable!(),
         };
         self.handle_expression_box_event(code, handler);
     }
@@ -377,7 +377,7 @@ impl App {
                     }
                 }
             }
-            _ => (),
+            _ => unreachable!(),
         };
         self.handle_expression_box_event(code, handler);
     }
@@ -537,7 +537,7 @@ impl App {
                 self.state = State::ImpliesState(ImpliesState::EliminateGetAssumption)
             }
             KeyCode::Char('f') => self.state = State::IffState(IffState::EliminateGetAssumption),
-            _ => (),
+            _ => unreachable!(),
         }
     }