1 files changed, 5 insertions, 2 deletions
diff --git a/testsuite/tests/dependent/should_fail/T15380.hs b/testsuite/tests/dependent/should_fail/T15380.hs
index 32ea8ec724..c896ee5474 100644
--- a/testsuite/tests/dependent/should_fail/T15380.hs
+++ b/testsuite/tests/dependent/should_fail/T15380.hs
@@ -1,6 +1,8 @@
 {-# LANGUAGE TypeFamilies #-}
-{-# LANGUAGE TypeInType #-}
+{-# LANGUAGE PolyKinds #-}
+{-# LANGUAGE DataKinds #-}
 {-# LANGUAGE TypeOperators #-}
+{-# LANGUAGE StandaloneKindSignatures #-}
 
 module T15380 where
 
@@ -12,7 +14,8 @@ class Generic a where
 class PGeneric a where
   type To a (x :: Rep a) :: a
 
-type family MDefault (x :: a) :: a where
+type MDefault :: a -> a
+type family MDefault x where
   MDefault x = To (M x)
 
 class C a where