[GHC] #5320: check_overlap panic (7.1 regression)

[GHC]

#5320: check_overlap panic (7.1 regression)
-----------------------------------+----------------------------------------
    Reporter:  mikhail.vorozhtsov  |        Owner:                    
        Type:  bug                 |       Status:  new               
    Priority:  normal              |    Milestone:                    
   Component:  Compiler            |      Version:  7.1               
    Keywords:                      |     Testcase:                    
   Blockedby:                      |   Difficulty:                    
          Os:  Unknown/Multiple    |     Blocking:                    
Architecture:  Unknown/Multiple    |      Failure:  Compile-time crash
-----------------------------------+----------------------------------------

Comment(by mikhail.vorozhtsov):

 Can we safely ignore an overlap in case of "wildcard" (in the parameter(s)
 in question) instances like C Int b?

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