1 files changed, 15 insertions, 15 deletions
diff --git a/testsuite/tests/gadt/T7558.stderr b/testsuite/tests/gadt/T7558.stderr
index 6618346452..34ade9778e 100644
--- a/testsuite/tests/gadt/T7558.stderr
+++ b/testsuite/tests/gadt/T7558.stderr
@@ -1,15 +1,15 @@
-
-T7558.hs:8:4: error:
-    • Couldn't match type ‘a’ with ‘Maybe a’
-      ‘a’ is a rigid type variable bound by
-        the type signature for:
-          f :: forall a. T a a -> Bool
-        at T7558.hs:7:6
-      Inaccessible code in
-        a pattern with constructor:
-          MkT :: forall a b. a ~ Maybe b => a -> Maybe b -> T a b,
-        in an equation for ‘f’
-    • In the pattern: MkT x y
-      In an equation for ‘f’: f (MkT x y) = [x, y] `seq` True
-    • Relevant bindings include
-        f :: T a a -> Bool (bound at T7558.hs:8:1)
+
+T7558.hs:8:4: error:
+    • Couldn't match type ‘a’ with ‘Maybe a’
+      ‘a’ is a rigid type variable bound by
+        the type signature for:
+          f :: forall a. T a a -> Bool
+        at T7558.hs:7:1-18
+      Inaccessible code in
+        a pattern with constructor:
+          MkT :: forall a b. a ~ Maybe b => a -> Maybe b -> T a b,
+        in an equation for ‘f’
+    • In the pattern: MkT x y
+      In an equation for ‘f’: f (MkT x y) = [x, y] `seq` True
+    • Relevant bindings include
+        f :: T a a -> Bool (bound at T7558.hs:8:1)