!252: Work around ghc/ghc#22519 in what4 patch · Merge requests · Glasgow Haskell Compiler / head.hackage

Ryan Scott requested to merge wip/ghc-22519 into master Nov 29, 2022

We move around some uses of coerce to avoid coercing underneath IO, which triggers ghc#22519 (closed) on HEAD.

Work around ghc#22519 in what4 patch