[GHC] #12881: GHC 8.0.2 regression involving OVERLAP annotations

[GHC]

#12881: GHC 8.0.2 regression involving OVERLAP annotations
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:
            Type:  bug               |               Status:  new
        Priority:  high              |            Milestone:  8.0.2
       Component:  Compiler          |              Version:  8.0.2-rc1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 That sounds good to me.. thanks Ryan.  (Of course we are assuming that it
 is indeed "easy to convince people that their code is wrong".  It could be
 that we have missed something, and there are good reasons... but let's
 see.)

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