panic with scoped kind variables

Thanks for the scoped kind variables.

When they get confused with type variables, GHC panics instead of displaying an error.

{-# LANGUAGE KindSignatures, MultiParamTypeClasses #-}
class Panic a b
instance Panic (a :: b) b

ghc-stage2: panic! (the 'impossible' happened)
  (GHC version 7.5.20120416 for x86_64-unknown-linux):
        tcTyVarDetails a{tv aj60} [tv]

Trac metadata

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