Does multimatch display the same backtracking behavior if it's called from a
Hint Extern in auto? Like if auto calls that
Hint Extern, succeeds, moves on and then backtracks, will calling the same
Hint Extern give the same result or a different one?
eauto. It might work the way you want it to in
typeclasses eauto with core; try it?
Last updated: Oct 05 2023 at 02:01 UTC