Skip to content
  • Simon Peyton Jones's avatar
    Don't report fundep wanted/wanted errors · 48daaaf0
    Simon Peyton Jones authored
    This makes GHC drop derived FunDep errors when they
    are come from wanted/wanted interactions.  Much along
    the lines of "don't rewrite wanteds with wanteds".
    
    See TcRnTypes Note [Dropping derived constraints]
    and the new code in isDroppableDerivedLoc.
    
    Fixes Trac #13506.
    48daaaf0