GHC issueshttps://gitlab.haskell.org/ghc/ghc/-/issues2020-02-29T12:16:39Zhttps://gitlab.haskell.org/ghc/ghc/-/issues/17801GHC 8.11.0.20200204 panics in `applyTypeToArgs`2020-02-29T12:16:39ZawsonGHC 8.11.0.20200204 panics in `applyTypeToArgs`## Summary
Compiling fresh (7 feb, 20, master branch) Agda GHC 8.11.0.20200204 panics with
```
[248 of 373] Compiling Agda.TypeChecking.Primitive.Cubical ( src\full\Agda\TypeChecking\Primitive\Cubical.hs, dist\build\Agda\TypeChecking\Pr...## Summary
Compiling fresh (7 feb, 20, master branch) Agda GHC 8.11.0.20200204 panics with
```
[248 of 373] Compiling Agda.TypeChecking.Primitive.Cubical ( src\full\Agda\TypeChecking\Primitive\Cubical.hs, dist\build\Agda\TypeChecking\Primitive\Cubical.o )
<no location info>: error:
ghc.exe: panic! (the 'impossible' happened)
(GHC version 8.11.0.20200204:
applyTypeToArgs
Expression: $s$w$cp1MonadReduce_sHs3l @err_X5u void#
Type: Void#
-> forall err.
(# Functor (ExceptT err (TCMT IO)),
forall a. a -> ExceptT err (TCMT IO) a,
forall a b.
ExceptT err (TCMT IO) (a -> b)
-> ExceptT err (TCMT IO) a -> ExceptT err (TCMT IO) b,
forall a b c.
(a -> b -> c)
-> ExceptT err (TCMT IO) a
-> ExceptT err (TCMT IO) b
-> ExceptT err (TCMT IO) c,
forall a b.
ExceptT err (TCMT IO) a
-> ExceptT err (TCMT IO) b -> ExceptT err (TCMT IO) b,
forall a b.
ExceptT err (TCMT IO) a
-> ExceptT err (TCMT IO) b -> ExceptT err (TCMT IO) a #)
Args: [TYPE: err_X5u, void#]
Call stack:
CallStack (from HasCallStack):
callStackDoc, called at compiler\utils\Outputable.hs:1187:37 in ghc:Outputable
pprPanic, called at compiler\coreSyn\CoreUtils.hs:234:14 in ghc:CoreUtils
Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug
```
## Environment
* GHC version used: HEAD 8.11.0.202002048.10.1