Allow imports to reference multiple fields with the same name
If a module M
exports two fields f
(using DuplicateRecordFields
), we can
still accept
import M (f)
import M hiding (f)
and treat f
as referencing both of them. This was accepted in GHC 9.0, but gave
rise to an ambiguity error in GHC 9.2. See #21625 (closed).