GHC 9.0.2 panics when building Adga 2.6.2.2 on i386 and mipsel

Summary

GHC 9.0.2 panics when building Adga 2.6.2.2 on i386 and mipsel architectures (both 32-bit)

[345 of 401] Compiling Agda.TypeChecking.Rules.Term ( src/full/Agda/TypeChecking/Rules/Term.hs, dist-ghc/build/Agda/TypeChecking/Rules/Term.o, dist-ghc/build/Agda/TypeChecking/Rules/Term.dyn_o )
ghc: panic! (the 'impossible' happened)
  (GHC version 9.0.2:
	applyTypeToArgs
  Expression: lambdaAnnotationCheck13
                ds18_s6rOs checkTacticAttribute_s ds20_s6rOu
  Type: Addr#
  Args: [ds18_s6rOs, checkTacticAttribute_s, ds20_s6rOu]
  Args': [ds18_s6rOs, checkTacticAttribute_s, ds20_s6rOu]
  Call stack:
      CallStack (from HasCallStack):
        callStackDoc, called at compiler/GHC/Utils/Outputable.hs:1230:37 in ghc:GHC.Utils.Outputable
        pprPanic, called at compiler/GHC/Core/Utils.hs:276:17 in ghc:GHC.Core.Utils

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

The full logs are available here: https://buildd.debian.org/status/fetch.php?pkg=agda&arch=i386&ver=2.6.2.2-1&stamp=1659812412&raw=0 https://buildd.debian.org/status/fetch.php?pkg=agda&arch=mipsel&ver=2.6.2.2-1&stamp=1659816519&raw=0

Steps to reproduce

Try to build Agda 2.6.2.2 with GHC 9.0.2.

Expected behavior

Build completes successfully.

Environment

• GHC version used: 9.0.2

Optional:

• Operating System: Debian Unstable
• System Architecture: i386, mipsel