Skip to content
Snippets Groups Projects
Commit a466b024 authored by sheaf's avatar sheaf Committed by Marge Bot
Browse files

Improve overlap error for polykinded constraints 

There were two problems around `mkDictErr`:

  1. An outdated call to `flattenTys` meant that we missed out on some
     instances. As we no longer flatten type-family applications,
     the logic is obsolete and can be removed.

  2. We reported "out of scope" errors in a poly-kinded situation
     because `BoxedRep` and `Lifted` were considered out of scope.
     We fix this by using `pretendNameIsInScope`.

fixes #20465
parent 9af29e7f
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 111 additions and 72 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment