• Simon Peyton Jones's avatar
    More aggressive Given/Wanted overlap check · 8b7ceece
    Simon Peyton Jones authored
    This fixes Trac #10195
    For some reason we considered untouchability before, but Trac #10195
    shows that this is positively worng.
    See Note [Instance and Given overlap] in TcInteract.
    Looking at the Git log, it seems that this bug was introduced at the
    same time that we introduced the Given/Wanted overlap check in the first
TcInteract.hs 77 KB