rgrig/infer

reproduce unification failure

Opened this issue · 0 comments

rgrig commented

This was fixed in cc92320 (and then re-fixed in b8449ca), but we do not have a proper repro so we can make a pull request.