Skip to content

Fix over-eager implication constraint discard

Simon Peyton Jones requested to merge wip/T16247 into master

Ticket #16247 (closed) 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!

Merge request reports