Accept testsuite changes

testsuite/tests/dependent/should_fail/SelfDep.stderr

@@ -3,4 +3,3 @@ SelfDep.hs:5:11: error:
     • Type constructor ‘T’ cannot be used here
         (it is defined and used in the same recursive group)
     • In the kind ‘T -> *’
-      In the data type declaration for ‘T’

testsuite/tests/dependent/should_fail/T16344.stderr

@@ -4,3 +4,7 @@ T16344.hs:7:46: error:
     • In the second argument of ‘T’, namely ‘Int’
       In the type ‘(T Type Int Bool)’
       In the definition of data constructor ‘MkT’
+      NB: Type ‘T’ was inferred to use visible dependent quantification.
+      Most types with visible dependent quantification are
+      polymorphically recursive and need a standalone kind
+      signature. Perhaps supply one, with StandaloneKindSignatures.

testsuite/tests/partial-sigs/should_compile/T15039b.stderr

@@ -52,6 +52,6 @@ T15039b.hs:35:8: warning: [-Wpartial-type-signatures (in -Wdefault)]
     • Found type wildcard ‘_’ standing for ‘Coercible @* a b’
       Where: ‘a’, ‘b’ are rigid type variables bound by
                the inferred type of ex7 :: Coercible @* a b => Coercion @{*} a b
-               at T15039b.hs:36:1-14
+               at T15039b.hs:35:1-44
     • In the type signature:
         ex7 :: _ => Coercion (a :: Type) (b :: Type)

testsuite/tests/partial-sigs/should_compile/T15039d.stderr

@@ -53,6 +53,6 @@ T15039d.hs:35:8: warning: [-Wpartial-type-signatures (in -Wdefault)]
     • Found type wildcard ‘_’ standing for ‘Coercible @* a b’
       Where: ‘a’, ‘b’ are rigid type variables bound by
                the inferred type of ex7 :: Coercible @* a b => Coercion @{*} a b
-               at T15039d.hs:36:1-14
+               at T15039d.hs:35:1-44
     • In the type signature:
         ex7 :: _ => Coercion (a :: Type) (b :: Type)

testsuite/tests/polykinds/PolyKinds06.stderr

@@ -3,4 +3,3 @@ PolyKinds06.hs:9:11: error:
     • Type constructor ‘A’ cannot be used here
         (it is defined and used in the same recursive group)
     • In the kind ‘A -> *’
-      In the data type declaration for ‘B’

testsuite/tests/typecheck/should_fail/T7892.stderr

 
-T7892.hs:5:4: error:
-    • Expected kind ‘* -> *’, but ‘f’ has kind ‘*’
-    • In the associated type family declaration for ‘F’
+T7892.hs:5:4: error: Expected kind ‘* -> *’, but ‘f’ has kind ‘*’