[GHC] #15163: non coercion variable in coVarKindsTypesRole

[GHC]

#15163: non coercion variable in coVarKindsTypesRole
-------------------------------------+-------------------------------------
        Reporter:  alpmestan         |                Owner:  (none)
            Type:  bug               |               Status:  merge
        Priority:  normal            |            Milestone:  8.4.4
       Component:  Compiler (Type    |              Version:  8.5
  checker)                           |
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:  T14732
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D4725
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Ben Gamari <ben@…>):

 In [changeset:"c65159dcf401d36e8920f43fec300264533642b9/ghc"
 c65159dc/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="c65159dcf401d36e8920f43fec300264533642b9"
 T14732 now passes with the profasm way

 Simon PJ recently fixed the problem behind this failure
 so we can now expect this test to pass in all ways again.

 The fixes got introduced in the following commits:
   86bba7d519fb6050f78b7e3bac2b3f54273fd70e
   d191db48c43469ee1818887715bcbc5c0eb1d91f

 Test Plan: T14732 (profasm way)

 Reviewers: bgamari, RyanGlScott, simonpj

 Reviewed By: RyanGlScott, simonpj

 Subscribers: simonpj, RyanGlScott, rwbarton, thomie, carter

 GHC Trac Issues: #15163

 Differential Revision: https://phabricator.haskell.org/D4725
 }}}

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