From 0bbf65489d93fdceec52b3dbeb99999f482a2e42 Mon Sep 17 00:00:00 2001
From: Mroik <mroik@delayed.space>
Date: Fri, 10 May 2024 17:33:09 +0200
Subject: [PATCH] Add panic on impossible branch

---
 src/app.rs | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/app.rs b/src/app.rs
index 7064025..baf1b39 100644
--- 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!(),
         }
     }