Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
The new implementation ensures that type class arguments are only infered in the very end. This avoids the need for the inG hack in a0348d7c.
Robbert Krebbers authoredThe new implementation ensures that type class arguments are only infered in the very end. This avoids the need for the inG hack in a0348d7c.
