+ -- For interest: report the no-type-constructor case.
+ -- Don't report when -fallow-undecidable-instances is on, because then
+ -- we call loadImportedInsts when looking up even predicates like (C a)
+ -- But without undecidable instances it's rare to see C (a b) and
+ -- somethat interesting
+#ifdef DEBUG
+ ; dflags <- getDOpts
+ ; WARN( not (dopt Opt_AllowUndecidableInstances dflags) && null tc_gates,
+ ptext SLIT("Interesting! No tycons in Inst:")
+ <+> pprClassPred cls tys )
+ return ()
+#endif
+