Format with fourmolu

Author: github-actions

booster/unit-tests/Test/Booster/Pattern/Rewrite.hs

@@ -209,9 +209,13 @@ rewriteSuccess =
                          )
 subjectVariables =
     testCase "Aborts case when subject has variables" $ do
-        let t = [trm| kCell{}( kseq{}( inj{SomeSort{}, SortKItem{}}( con3{}( X:SomeSort{}, \dv{SomeSort{}}("thing") ) ), ConfigVar:SortK{}) ) |]
-        t `failsWith`
-            RuleApplicationUnclear rule3 t (NE.singleton ([trm| \dv{SomeSort{}}("otherThing")|], [trm| X:SomeSort{} |]))
+        let t =
+                [trm| kCell{}( kseq{}( inj{SomeSort{}, SortKItem{}}( con3{}( X:SomeSort{}, \dv{SomeSort{}}("thing") ) ), ConfigVar:SortK{}) ) |]
+        t
+            `failsWith` RuleApplicationUnclear
+                rule3
+                t
+                (NE.singleton ([trm| \dv{SomeSort{}}("otherThing")|], [trm| X:SomeSort{} |]))
 definednessUnclear =
     testCase "con4 rewrite to f2 might become undefined" $ do
         let pcon4 =