Fix egregious bug in implication constraints
Fix egregious bug in implication constraints

Build an implication constraint if there is a non-trivial
refinement, even if there are no other 'given' constraints.

Test = gadt/set.hs


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