Core Lint error on (# #) = (# #)
The silly declaration (# #) = (# #)
causes an assertion failure or a Core Lint error:
GHCi, version 9.5.20220429: https://www.haskell.org/ghc/ :? for help
ghci> :set -XUnboxedTuples -dcore-lint
ghci> let (# #) = (# #)
panic! (the 'impossible' happened)
GHC version 9.5.20220429:
ASSERT failed!
NonRecursive
{(##) = (##)}
Call stack:
CallStack (from HasCallStack):
assertPpr, called at compiler/GHC/HsToCore/Expr.hs:163:11 in ghc:GHC.HsToCore.Expr
Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug
ghci> (# #) = (# #)
*** Core Lint errors : in result of Desugar (before optimization) ***
<no location info>: warning:
The type of this binder is unlifted: ds_dzK
Binder's type: (# #)
In the RHS of ds_dzK :: (# #)
Substitution: [TCvSubst
In scope: InScope {}
Type env: []
Co env: []]