Create di_scoped_tvs for associated data family instances properly
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
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).