GHC panics when compiling code generated from Agda with profiling enabled

Summary

I'm running into a problem with GHC where I'm trying to compile some code generated from Agda using MAlonzo. GHC panics with the following error message:

[200 of 539] Compiling MAlonzo.Code.Relation.Binary.PropositionalEquality.Properties ( MAlonzo/Code/Relation/Binary/PropositionalEquality/Properties.hs, dist/build/MAlonzo/Code/Relation/Binary/PropositionalEquality/Properties.p_o )

<no location info>: error:
    panic! (the 'impossible' happened)
  GHC version 9.8.2:
        coreToStgArgs
  ((scc<du_isDecEquivalence_398> v0_s41vj)
   `cast` (Sub (Sym Univ(nominal CorePrep
                         :: Any, Any -> Any -> T_Dec_20))
           :: (Any -> Any -> T_Dec_20) ~R# Any))
  `cast` (SelCo:Fun(arg)
              (Sub Univ(nominal CorePrep
                        :: Any -> Any, (Any -> Any -> T_Dec_20) -> T_IsDecEquivalence_44))
          :: Any ~R# (Any -> Any -> T_Dec_20))
  v0_s41vj
  v0_s41vj
  Call stack:
      CallStack (from HasCallStack):
        callStackDoc, called at compiler/GHC/Utils/Panic.hs:191:37 in ghc-9.8.2-inplace:GHC.Utils.Panic
        pprPanic, called at compiler/GHC/CoreToStg.hs:605:17 in ghc-9.8.2-inplace:GHC.CoreToStg
  CallStack (from HasCallStack):
    panic, called at compiler/GHC/Utils/Error.hs:503:29 in ghc-9.8.2-inplace:GHC.Utils.Error


Please report this as a GHC bug:  https://www.haskell.org/ghc/reportabug

It also seems to fail in multiple other files with a similar error. The project builds fine if the --enable-profiling flag is not set.

Steps to reproduce

• Clone the cardano-ledger-executable-spec repository
• Build the project using cabal build --enable-profiling

Expected behavior

I expect the project to compile successfully

Environment

• GHC versions used: 9.2.8, 9.4.7, 9.6.4, 9.8.2

Optional:

• Operating System: NixOS