Deriving Eq on bottom types breaks reflexivity of (==)

{-# LANGUAGE EmptyDataDecls, StandaloneDeriving #-}
data Z
deriving instance Eq Z
g :: Z
g = g
main :: IO ()
main = print (g == g)

Observed output ((==) not reflexive anymore?):

False

Expected output (this is what TcGenDeriv.mkRdrFunBind does for Show etc.):

"*** Exception: Void (==)

Trac metadata

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information