Fix DeepSubsumption05 in ghc-9.4
In the interest of getting a release candidate out, I have merged the current state of !8210 (closed) (ddc4465d, squashed) into ghc-9.4
. However, the DeepSubsumption05
is currently broken and I have marked it as such. We will need to fix this in !8210 (closed) and backport the fix to %9.4.1 prior to release.