import Bug1a


class C Int t t' => Bug1 t where
    g :: t -> Bool


{-
loading the file gives no error, but after editing it
an error is reported even though no significant change is made
(i.e. delete a blank line)
ERROR "B.hs":3 - Illegal type in class constraint
-}