Test #9097.

testsuite/tests/indexed-types/should_fail/T9097.hs

+{-# LANGUAGE TypeFamilies, DataKinds #-}
+
+module T9097 where
+
+import GHC.Exts
+
+type family Foo x where
+  Foo True = False
+  Foo False = False
+  Foo Any = True

testsuite/tests/indexed-types/should_fail/T9097.stderr

+
+T9097.hs:10:3:
+    Illegal type synonym family application in instance: Any
+    In the equations for closed type family ‘Foo’
+    In the type family declaration for ‘Foo’

testsuite/tests/indexed-types/should_fail/all.T

@@ -122,4 +122,4 @@ test('T8518', normal, compile_fail, [''])
 test('T9036', normal, compile_fail, [''])
 test('T9167', normal, compile_fail, [''])
 test('T9171', normal, compile_fail, [''])
-
+test('T9097', normal, compile_fail, [''])