Skip to content

Work around ghc#22519 in what4 patch

Ryan Scott requested to merge wip/ghc-22519 into master

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

Merge request reports