[GHC] #13819: TypeApplications-related GHC panic

[GHC]

#13819: TypeApplications-related GHC panic
-------------------------------------+-------------------------------------
        Reporter:  Iceland_jack      |                Owner:  goldfire
            Type:  bug               |               Status:  merge
        Priority:  high              |            Milestone:  8.4.1
       Component:  Compiler (Type    |              Version:  8.2.1-rc2
  checker)                           |             Keywords:
      Resolution:                    |  TypeApplications
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  Compile-time      |            Test Case:
  crash or panic                     |  typecheck/should_fail/T13819
      Blocked By:                    |             Blocking:
 Related Tickets:  #13846, #13850    |  Differential Rev(s):  Phab:D3754
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by RyanGlScott):

 Ben, I take it that commit c2417b87ff59c92fbfa8eceeff2a0d6152b11a47 (`Fix
 #13819 by refactoring TypeEqOrigin.uo_thing`) isn't going to be merged
 into 8.2.2? If so, we ought to close this.

 It's interesting to note that even though that commit hasn't been merged
 to 8.2.2, the program in this ticket not longer panics on GHC 8.2.2! It
 turns out that commit cbf472384b5b583c24d1a1a32f3fa58d4f1501b1 (`Small
 refactor of getRuntimeRep`) //separately// fixed this panic, and that
 commit was backported to 8.2.2. So that's nice.

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