invalid rewrite tactic, failed to synthesize type class

Stream: general

[Eric Wieser]

I'm getting the error

invalid rewrite tactic, failed to synthesize type class instance

I know what the error means; but is there any way to get lean to tell me _which_ typeclass instance it can't find?

[Eric Wieser]

Made an optimistic attempt at a fix in lean#577