TypeApplications: panic from unknown function identifier

Using type application with an unknown function identifier causes ghci to panic:

$ ghci
GHCi, version 8.0.2: http://www.haskell.org/ghc/  :? for help
Prelude> :set -XDataKinds
Prelude> :set -XTypeApplications
Prelude> foo @3
ghc: panic! (the 'impossible' happened)
  (GHC version 8.0.2 for x86_64-unknown-linux):
	initTc: unsolved constraints
  WC {wc_insol =
        [W] foo_a12q :: t_a12p[tau:1] (CHoleCan: foo)
        [W] foo_a12O :: t_a12N[tau:1] (CHoleCan: foo)}

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

Prelude> 

Trac metadata

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