The existing code relied on non-confluent behaviour in the constraint solver, which caused a problem when removing derived constraints GHC MR !5899. This comment explains the situation, and why it makes sense to reject the original program.
02:55:46
3 years ago
No artifacts found
02:12:33
