non coercion variable in coVarKindsTypesRole

It is triggered by T14732... in the profasm way, and only that one.

$ make fulltest TEST="T14732" THREADS=4
=====> T14732(profasm) 1 of 1 [0, 0, 0]
cd "./typecheck/should_compile/T14732.run" &&  "/home/alp/WT/ghc-slow-validate/inplace/test   spaces/ghc-stage2" -c T14732.hs -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-debug-output -fno-warn-incomplete-patterns -O -prof -static -fprof-auto 
Compile failed (exit code 1) errors were:
ghc-stage2: panic! (the 'impossible' happened)
  (GHC version 8.5.20180511 for x86_64-unknown-linux):
	coVarKindsTypesRole, non coercion variable
  as_atY
  Vector a_a2sO
  Call stack:
      CallStack (from HasCallStack):
        callStackDoc, called at compiler/utils/Outputable.hs:1162:37 in ghc:Outputable
        pprPanic, called at compiler/types/Coercion.hs:376:16 in ghc:Coercion

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


*** unexpected failure for T14732(profasm)

Trac metadata

Trac field	Value
Version	8.5
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler (Type checker)
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture