-
batterseapower authored
This new check permits code such as the following: class B cls a where meth :: cls a => a -> a class B C a => C a where This code can never cause the constraint solver to diverge, adding infinite numbers of superclasses, because C is not mentioned as a superclass of B.
5ff06e90