1 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/T16356_Compile1.hs b/testsuite/tests/indexed-types/should_compile/T16356_Compile1.hs
index 74dee38ac4..fd6a650eba 100644
--- a/testsuite/tests/indexed-types/should_compile/T16356_Compile1.hs
+++ b/testsuite/tests/indexed-types/should_compile/T16356_Compile1.hs
@@ -2,13 +2,15 @@
 {-# LANGUAGE PolyKinds #-}
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE StandaloneKindSignatures #-}
 module T16356_Compile1 where
 
 import Data.Kind (Type)
 
 data B (a :: k)
 
-type family FClosed :: k -> Type where
+type FClosed :: k -> Type
+type family FClosed where
   FClosed @k = B @k
 
 type family FOpen :: k -> Type