; checkInstTermination dflags theta inst_tys
-- The Coverage Condition
- ; checkTc (dopt Opt_AllowUndecideableInstances dflags ||
+ ; checkTc (dopt Opt_AllowUndecidableInstances dflags ||
checkInstCoverage clas inst_tys)
(instTypeErr (pprClassPred clas inst_tys) msg)
}