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

but I imagine there could be more.

Edited Jun 26, 2023 by Matthew Pickering

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information