Opened 19 months ago

#14778 new bug

FunDep origin not correctly attributed

Reported by: simonpj Owned by:
Priority: normal Milestone:
Component: Compiler Version: 8.2.2
Keywords: FunDeps Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description

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`.

Change History (0)

Note: See TracTickets for help on using tickets.