[GHC] #15163: non coercion variable in coVarKindsTypesRole

[GHC]

#15163: non coercion variable in coVarKindsTypesRole
-------------------------------------+-------------------------------------
           Reporter:  alpmestan      |             Owner:  (none)
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  Compiler       |           Version:  8.5
  (Type checker)                     |
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
          Test Case:  T14732         |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 It is triggered by T14732... in the `profasm` way, and only that one.

 {{{#!sh
 $ 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)
 }}}

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15163>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler