testsuite/tests/typecheck/should_compile/T17562b.hs


1
2
3
4
5
6
7

{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE QuantifiedConstraints, MultiParamTypeClasses, TypeFamilies, TypeOperators #-}
-- NB: No PolyKinds

module T17562b where

class (forall a. a b ~ a c) => C b c