head.hackage: package "what4" no longer compiles
See also #22663 (closed)
Triggers error GHC-18872
First occurrence on 27 November: https://gitlab.haskell.org/ghc/head.hackage/-/jobs/1245011
src/What4/Interface.hs:2593:3: error: [GHC-18872]
• Couldn't match representation of type: IO (SymBV' sym (n * w))
with that of: IO (SymExpr sym (BaseBVType (n * w)))
arising from a use of ‘coerce’
The data constructor ‘GHC.Types.IO’ of newtype ‘IO’ is not in scope
src/What4/Interface.hs:2611:3: error: [GHC-18872]
• Couldn't match representation of type: IO (Vector.Vector n (SymBV' sym w))
with that of: IO (Vector.Vector n (SymExpr sym (BaseBVType w)))
arising from a use of ‘coerce’
The data constructor ‘GHC.Types.IO’ of newtype ‘IO’ is not in scope