Skip to content

Create di_scoped_tvs for associated data family instances properly

Ryan Scott requested to merge wip/T18055 into master

See Note [Associated data family instances and di_scoped_tvs] in GHC.Tc.TyCl.Instance, which explains all of the moving parts.

Fixes #18055 (closed).

Edited by Ryan Scott

Merge request reports