Skip to content

Skip checking whether constructors are in scope when deriving newtype instances.

Closes #17328 (closed)

Skips checking whether constructors are in scope for newtype-derived instances: they aren't used since the instances rely on coerce anyway.

This was done as part of the GHC Contributors' Workshop

Merge request reports