Skip to content

Draft: Use closed type family equations to infer type family arguments

Richard Eisenberg requested to merge wip/T23162 into master

This is a fix for #23162.

It's not working at the moment -- still need to debug. Posting to share WIP.

Merge request reports