[GHC] #2019: GADT record with polytype argument causes irrefutable pattern failure in basicTypes/MkId.lhs

[GHC]

#2019: GADT record with polytype argument causes irrefutable pattern failure in
basicTypes/MkId.lhs
-------------------------+--------------------------------------------------
    Reporter:  japple    |       Owner:       
        Type:  bug       |      Status:  new  
    Priority:  normal    |   Milestone:       
   Component:  Compiler  |     Version:  6.8.2
    Severity:  normal    |    Keywords:       
  Difficulty:  Unknown   |    Testcase:       
Architecture:  x86       |          Os:  Linux
-------------------------+--------------------------------------------------
 {{{
 data GADTRecordPoly a n where
     G {val :: a} :: GADTRecordPoly a (forall n . n)
 }}}
 causes

 *** Exception: basicTypes/MkId.lhs:642:8-70: Irrefutable pattern failed
 for pattern Maybes.Succeeded refinement

 when loaded in GHCi

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