Simon Peyton Jones authored Jul 04, 2019 and Marge Bot committed Jul 04, 2019

Ticket #16247 showed that we were discarding an implication
constraint that had empty ic_wanted, when we still needed to
keep it so we could check whether it had a bad telescope.

Happily it's a one line fix.  All the rest is comments!