Test T15711 in indexed-types/should_compile/T15711

Author: Richard Eisenberg

testsuite/tests/indexed-types/should_compile/T15711.hs

@@ -0,0 +1,6 @@
+{-# LANGUAGE TypeFamilies, PolyKinds, DataKinds #-}
+
+module Bug where
+
+class C a where
+  type F (x :: Maybe a)

testsuite/tests/indexed-types/should_compile/T15711.stderr

@@ -0,0 +1,7 @@
+TYPE CONSTRUCTORS
+  C :: * -> Constraint
+  type role F nominal nominal
+  F :: forall a. Maybe a -> *
+Dependent modules: []
+Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3,
+                     integer-gmp-1.0.2.0]

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

@@ -294,3 +294,4 @@ test('T15322a', normal, compile_fail, [''])
 test('T15142', normal, compile, [''])
 test('T15352', normal, compile, [''])
 test('T15664', normal, compile, [''])
+test('T15711', normal, compile, ['-ddump-types'])