Fix Trace #1494
Fix Trace #1494

A tricky bug to do with the way the implication constraints are
solved in TcSimplify.  See Note [Reducing implication constraints].


nkaretnikov/ghc,mettekou/ghc,TomMD/ghc,elieux/ghc,mcschroeder/ghc,da-x/ghc,oldmanmike/ghc,siddhanathan/ghc,spacekitteh/smcghc,wxwxwwxxx/ghc,mcschroeder/ghc,olsner/ghc,gcampax/ghc,spacekitteh/smcghc,fmthoma/ghc,ilyasergey/GHC-XAppFix,sgillespie/ghc,urbanslug/ghc,shlevy/ghc,TomMD/ghc,nomeata/ghc,gridaphobe/ghc,fmthoma/ghc,GaloisInc/halvm-ghc,sgillespie/ghc,christiaanb/ghc,ghc-android/ghc,shlevy/ghc,mcschroeder/ghc,anton-dessiatov/ghc,mettekou/ghc,GaloisInc/halvm-ghc,elieux/ghc,tibbe/ghc,siddhanathan/ghc,ghc-android/ghc,lukexi/ghc-7.8-arm64,TomMD/ghc,olsner/ghc,shlevy/ghc,urbanslug/ghc,mcschroeder/ghc,tjakway/ghcjvm,da-x/ghc,ghc-android/ghc,oldmanmike/ghc,jstolarek/ghc,tibbe/ghc,siddhanathan/ghc,nkaretnikov/ghc,TomMD/ghc,da-x/ghc,ezyang/ghc,mettekou/ghc,ezyang/ghc,urbanslug/ghc,ghc-android/ghc,vikraman/ghc,nomeata/ghc,lukexi/ghc,christiaanb/ghc,wxwxwwxxx/ghc,holzensp/ghc,frantisekfarka/ghc-dsi,holzensp/ghc,siddhanathan/ghc,holzensp/ghc,da-x/ghc,tjakway/ghcjvm,forked-upstream-packages-for-ghcjs/ghc,olsner/ghc,ryantm/ghc,TomMD/ghc,vTurbine/ghc,vikraman/ghc,snoyberg/ghc,olsner/ghc,elieux/ghc,fmthoma/ghc,bitemyapp/ghc,nushio3/ghc,nathyong/microghc-ghc,nushio3/ghc,GaloisInc/halvm-ghc,acowley/ghc,fmthoma/ghc,green-haskell/ghc,ezyang/ghc,gcampax/ghc,gcampax/ghc,lukexi/ghc,fmthoma/ghc,gcampax/ghc,siddhanathan/ghc,fmthoma/ghc,ghc-android/ghc,tibbe/ghc,mcmaniac/ghc,vTurbine/ghc,acowley/ghc,ghc-android/ghc,jstolarek/ghc,ezyang/ghc,acowley/ghc,oldmanmike/ghc,bitemyapp/ghc,vTurbine/ghc,jstolarek/ghc,TomMD/ghc,oldmanmike/ghc,snoyberg/ghc,forked-upstream-packages-for-ghcjs/ghc,nushio3/ghc,lukexi/ghc-7.8-arm64,hferreiro/replay,hferreiro/replay,mettekou/ghc,nathyong/microghc-ghc,sgillespie/ghc,mfine/ghc,jstolarek/ghc,acowley/ghc,nomeata/ghc,gridaphobe/ghc,GaloisInc/halvm-ghc,vTurbine/ghc,snoyberg/ghc,anton-dessiatov/ghc,nkaretnikov/ghc,shlevy/ghc,tjakway/ghcjvm,snoyberg/ghc,sdiehl/ghc,frantisekfarka/ghc-dsi,tjakway/ghcjvm,mcmaniac/ghc,nathyong/microghc-ghc,ekmett/ghc,green-haskell/ghc,vikraman/ghc,sdiehl/ghc,holzensp/ghc,fmthoma/ghc,TomMD/ghc,frantisekfarka/ghc-dsi,nathyong/microghc-ghc,wxwxwwxxx/ghc,spacekitteh/smcghc,christiaanb/ghc,ml9951/ghc,AlexanderPankiv/ghc,ezyang/ghc,GaloisInc/halvm-ghc,mcschroeder/ghc,ekmett/ghc,ryantm/ghc,snoyberg/ghc,olsner/ghc,tjakway/ghcjvm,AlexanderPankiv/ghc,hferreiro/replay,elieux/ghc,forked-upstream-packages-for-ghcjs/ghc,hferreiro/replay,ekmett/ghc,acowley/ghc,urbanslug/ghc,AlexanderPankiv/ghc,christiaanb/ghc,forked-upstream-packages-for-ghcjs/ghc,ezyang/ghc,gcampax/ghc,tjakway/ghcjvm,frantisekfarka/ghc-dsi,nushio3/ghc,snoyberg/ghc,AlexanderPankiv/ghc,mfine/ghc,snoyberg/ghc,anton-dessiatov/ghc,acowley/ghc,nathyong/microghc-ghc,sgillespie/ghc,green-haskell/ghc,wxwxwwxxx/ghc,olsner/ghc,GaloisInc/halvm-ghc,ezyang/ghc,lukexi/ghc-7.8-arm64,wxwxwwxxx/ghc,mettekou/ghc,ml9951/ghc,ml9951/ghc,christiaanb/ghc,gridaphobe/ghc,nushio3/ghc,hferreiro/replay,tibbe/ghc,gridaphobe/ghc,oldmanmike/ghc,da-x/ghc,sgillespie/ghc,mcmaniac/ghc,ghc-android/ghc,shlevy/ghc,wxwxwwxxx/ghc,wxwxwwxxx/ghc,forked-upstream-packages-for-ghcjs/ghc,lukexi/ghc,nushio3/ghc,spacekitteh/smcghc,urbanslug/ghc,bitemyapp/ghc,vTurbine/ghc,nathyong/microghc-ghc,GaloisInc/halvm-ghc,nkaretnikov/ghc,ilyasergey/GHC-XAppFix,elieux/ghc,ryantm/ghc,forked-upstream-packages-for-ghcjs/ghc,ekmett/ghc,mettekou/ghc,vikraman/ghc,green-haskell/ghc,oldmanmike/ghc,tibbe/ghc,acowley/ghc,mfine/ghc,nomeata/ghc,sdiehl/ghc,mcschroeder/ghc,gridaphobe/ghc,elieux/ghc,ryantm/ghc,AlexanderPankiv/ghc,ml9951/ghc,jstolarek/ghc,sdiehl/ghc,da-x/ghc,anton-dessiatov/ghc,lukexi/ghc-7.8-arm64,vTurbine/ghc,gcampax/ghc,hferreiro/replay,nomeata/ghc,hferreiro/replay,mfine/ghc,sdiehl/ghc,vikraman/ghc,anton-dessiatov/ghc,anton-dessiatov/ghc,nkaretnikov/ghc,ilyasergey/GHC-XAppFix,ml9951/ghc,spacekitteh/smcghc,nushio3/ghc,ml9951/ghc,ml9951/ghc,holzensp/ghc,siddhanathan/ghc,mfine/ghc,urbanslug/ghc,sdiehl/ghc,gcampax/ghc,da-x/ghc,nkaretnikov/ghc,tjakway/ghcjvm,oldmanmike/ghc,lukexi/ghc-7.8-arm64,bitemyapp/ghc,urbanslug/ghc,vikraman/ghc,shlevy/ghc,nkaretnikov/ghc,AlexanderPankiv/ghc,christiaanb/ghc,gridaphobe/ghc,mettekou/ghc,mfine/ghc,green-haskell/ghc,lukexi/ghc,sgillespie/ghc,sgillespie/ghc,ml9951/ghc,mfine/ghc,mcmaniac/ghc,christiaanb/ghc,bitemyapp/ghc,vikraman/ghc,vTurbine/ghc,ekmett/ghc,elieux/ghc,ilyasergey/GHC-XAppFix,sdiehl/ghc,olsner/ghc,anton-dessiatov/ghc,mcmaniac/ghc,frantisekfarka/ghc-dsi,lukexi/ghc,forked-upstream-packages-for-ghcjs/ghc,AlexanderPankiv/ghc,shlevy/ghc,nathyong/microghc-ghc,mcschroeder/ghc,ryantm/ghc,gridaphobe/ghc,siddhanathan/ghc