1 files changed, 3 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_fail/UnliftedNewtypesLevityBinder.hs b/testsuite/tests/typecheck/should_fail/UnliftedNewtypesLevityBinder.hs
index f5d134e3b1..c53c028f53 100644
--- a/testsuite/tests/typecheck/should_fail/UnliftedNewtypesLevityBinder.hs
+++ b/testsuite/tests/typecheck/should_fail/UnliftedNewtypesLevityBinder.hs
@@ -3,13 +3,14 @@
 {-# LANGUAGE UnliftedNewtypes #-}
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE PolyKinds #-}
-{-# LANGUAGE TypeInType #-}
+{-# LANGUAGE StandaloneKindSignatures #-}
 
 module UnliftedNewtypesLevityBinder where
 
 import GHC.Types (RuntimeRep,TYPE,Coercible)
 
-newtype Ident :: forall (r :: RuntimeRep). TYPE r -> TYPE r where
+type Ident :: forall (r :: RuntimeRep). TYPE r -> TYPE r
+newtype Ident a where
   IdentC :: forall (r :: RuntimeRep) (a :: TYPE r). a -> Ident a
 
 bad :: forall (r :: RuntimeRep) (a :: TYPE r). a -> Ident a