fmt

ch-systems · Jul 31, 2024 · 008a217 · 008a217
1 parent 2c96d0d
commit 008a217
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/petr-fmt/src/tests.rs b/petr-fmt/src/tests.rs
@@ -636,10 +636,14 @@ fn let_bindings_no_trailing_comma() {
 
 #[test]
 fn sum_ty_formatting() {
-    check(Default::default(), "fn myFunc(x in 'sum 1 | 2 | 3) returns 'int 5", expect![[r#"
+    check(
+        Default::default(),
+        "fn myFunc(x in 'sum 1 | 2 | 3) returns 'int 5",
+        expect![[r#"
         fn myFunc(
           x ∈ 'Σ 1 | 2 | 3,
         ) → 'int
           5
-    "#]])
+    "#]],
+    )
 }