-
Simon Peyton Jones authored
This bug only reports a problem with phantom types, but actually there was quite a long-standing and significant omission in the constraint generation for derived classes. See Note [Superclasses of derived instance] in TcDeriv. The test deriving-1935 tests both cases.
162ae905