Compile-time panic with kind-level application in type famiy decl

Minimal example:

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeInType #-}

type family E e (a :: k) (orn :: e a) :: ()

Error message:

ghc: panic! (the 'impossible' happened)
  (GHC version 8.2.2 for x86_64-unknown-linux):
	getRuntimeRep
  k_anW[sk:1] :: k0_aRs[tau:1]
  Call stack:
      CallStack (from HasCallStack):
        prettyCurrentCallStack, called at compiler/utils/Outputable.hs:1133:58 in ghc:Outputable
        callStackDoc, called at compiler/utils/Outputable.hs:1137:37 in ghc:Outputable
        pprPanic, called at compiler/types/Type.hs:1967:18 in ghc:Type

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

Trac metadata

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