Collapse match

egraphs-good · Oct 15, 2024 · cbe174a · cbe174a
1 parent 881bcb4
commit cbe174a
Showing 1 changed file with 3 additions and 6 deletions.
diff --git a/tests/integration_test.rs b/tests/integration_test.rs
@@ -476,12 +476,9 @@ fn test_set_cost() {
                 Expr::Call(_, head, args) => {
                     assert_eq!(head.to_string(), "Foo");
                     match args.as_slice() {
-                        [expr] => match expr {
-                            Expr::Lit(_, Literal::String(s)) => {
-                                assert_eq!(s.to_string(), "y");
-                            }
-                            _ => panic!(),
-                        },
+                        [Expr::Lit(_, Literal::String(s))] => {
+                            assert_eq!(s.to_string(), "y");
+                        }
                         _ => panic!(),
                     }
                 }