testsuite/tests/typecheck/should_fail/T12083b.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE GADTs #-}

module T12083b where

class Class a where
    test :: a -> (Eq a => r) -> r

data P a b where
    Con :: (Class a, a ~ b) => P a b