1 files changed, 22 insertions, 0 deletions
diff --git a/testsuite/tests/saks/should_compile/saks006.hs b/testsuite/tests/saks/should_compile/saks006.hs
new file mode 100644
index 0000000000..99e6b3aa5c
--- /dev/null
+++ b/testsuite/tests/saks/should_compile/saks006.hs
@@ -0,0 +1,22 @@
+{-# LANGUAGE StandaloneKindSignatures #-}
+{-# LANGUAGE MultiParamTypeClasses, FlexibleContexts #-}
+{-# LANGUAGE TypeFamilies, PolyKinds, ConstraintKinds #-}
+
+module SAKS_006 where
+
+import Data.Kind (Type, Constraint)
+
+type C :: (k -> Type) -> k -> Constraint
+type T :: k -> Type
+
+class C a b
+data T a
+
+-- type D :: j -> Constraint -- #16571
+type D :: Type -> Constraint
+type D = C T
+
+-- type DF :: j -> Constraint -- #16571
+type DF :: Type -> Constraint
+type family DF where
+  DF = C T