FunDep origin not correctly attributed
In TcInteract.improveTopFunEqs
we do not give the derived constraints an origin of FunDepOrigin
. As a result, dropDerivedSimples
will discard even an insoluble constraint arising from a fundep. In contrast class instance fundeps do have FunDepOrigin
and are kept.
This is at least inconsistent. And we get less good error messages.
Shows up in tests T13651,
TR8450,
T13506,
T14325`.
Trac metadata
Trac field | Value |
---|---|
Version | 8.2.2 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |