3 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/T14040a.hs b/testsuite/tests/partial-sigs/should_fail/T14040a.hs
index 382e21823c..2985339f49 100644
--- a/testsuite/tests/partial-sigs/should_fail/T14040a.hs
+++ b/testsuite/tests/partial-sigs/should_fail/T14040a.hs
@@ -3,7 +3,7 @@
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilies #-}
-{-# LANGUAGE TypeInType #-}
+{-# LANGUAGE DataKinds, PolyKinds #-}
 module T14040a where
 
 import Data.Kind
diff --git a/testsuite/tests/partial-sigs/should_fail/T14584.hs b/testsuite/tests/partial-sigs/should_fail/T14584.hs
index 508725eec7..1615b26205 100644
--- a/testsuite/tests/partial-sigs/should_fail/T14584.hs
+++ b/testsuite/tests/partial-sigs/should_fail/T14584.hs
@@ -17,10 +17,10 @@
 {-# Language FunctionalDependencies #-}
 {-# Language UndecidableSuperClasses #-}
 {-# Language UndecidableInstances #-}
-{-# Language TypeInType #-}
 {-# Language AllowAmbiguousTypes #-}
 {-# Language InstanceSigs, TypeApplications #-}
 
+
 module T14584 where
 
 import Data.Monoid
diff --git a/testsuite/tests/partial-sigs/should_fail/T14584.stderr b/testsuite/tests/partial-sigs/should_fail/T14584.stderr
index b7531aa2ce..c53c822ba3 100644
--- a/testsuite/tests/partial-sigs/should_fail/T14584.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/T14584.stderr
@@ -11,7 +11,7 @@ T14584.hs:56:41: warning: [-Wdeferred-type-errors (in -Wdefault)]
         act @_ @_ @act (fromSing @m (sing @m @a :: Sing _))
 
 T14584.hs:56:50: warning: [-Wdeferred-type-errors (in -Wdefault)]
-    • Expected kind ‘m1’, but ‘a’ has kind ‘*’
+    • Expected kind ‘m1’, but ‘a’ has kind ‘Type’
     • In the type ‘a’
       In the second argument of ‘fromSing’, namely
         ‘(sing @m @a :: Sing _)’