Incoherent instance tracking assumes desugarer scope matches program scope
Changes in question: b56025f4
There is an assumption that the body of a definition which uses an EvBinds
is desugared in the continuation of dsEvBinds
.
However, this is just not true and could lead to situations where a dictionary is marked as incoherent but nospec
is not applied.
Two places I found are
matchOneConLike
dsGRHSs
but I imagine there could be more.