Regression in 2.6.4 in rewrite
with instances
#7150
Labels
instance
Instance resolution
regression in 2.6.4
Regression that first surfaced in Agda 2.6.4
rewrite
The "rewrite" construction in LHS-es
Milestone
@buggymcbugfix writes:
The fix for this issue (#7122) does not resolve the regression in the case of
rewrite
:Error:
The text was updated successfully, but these errors were encountered: