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


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE TypeFamilies, ConstraintKinds, FlexibleInstances #-}
module ShouldFail where

import GHC.Exts( Constraint )

type family F a :: Constraint

class C a where

-- Should be rejected because of the type family
instance (F a) => C [[a]] where