-
Simon Peyton Jones authored
Consider Work item: k ~ * Inert item: (a::k) ~ Int Then we must kick out the inert item! We weren't doing that, something I discovered when fixing Trac #7384. Discussed with Dimitrios, and we wrote a long comment Note [Delicate equality kick-out] to explain.
545bb796