Fix documentation on type families not being extracted
Fixes #18241 (closed) by changing getInstLoc
so that it extracts the location of the type constructor for type families. This matches the location stored inside CoAxiom
s Name
s location.
Fixes #18241 (closed) by changing getInstLoc
so that it extracts the location of the type constructor for type families. This matches the location stored inside CoAxiom
s Name
s location.