TFs: T2677

testsuite/tests/ghc-regress/indexed-types/should_fail/T2677.hs

+{-# LANGUAGE TypeFamilies #-}
+
+module T2677 where
+
+type family A x
+type instance A a = Bool
+type instance A Int = Char

testsuite/tests/ghc-regress/indexed-types/should_fail/T2677.stderr

+
+T2677.hs:6:14:
+    Conflicting family instance declarations:
+      type instance A a -- Defined at T2677.hs:6:14
+      type instance A Int -- Defined at T2677.hs:7:14

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

@@ -50,3 +50,4 @@ test('T2693', normal, compile_fail, [''])
 test('T2888', normal, compile, [''])
 test('T3092', normal, compile_fail, [''])
 test('NoMatchErr', normal, compile_fail, [''])
+test('T2677', normal, compile_fail, [''])