When we find a definitive type binding, use it to simplify the current system immediately. This saves ~2500 constraint systems (1%) and 6% time type-checking swift.swift.
When we find a definitive type binding, use it to simplify the current
system immediately. This saves ~2500 constraint systems (1%) and 6%
time type-checking swift.swift.


Swift SVN r3083

sschiau/swift,milseman/swift,devincoughlin/swift,gmilos/swift,atrick/swift,aschwaighofer/swift,gribozavr/swift,sdulal/swift,ahoppen/swift,johnno1962d/swift,dreamsxin/swift,xedin/swift,apple/swift,atrick/swift,Jnosh/swift,kstaring/swift,ken0nek/swift,russbishop/swift,khizkhiz/swift,lorentey/swift,allevato/swift,KrishMunot/swift,stephentyrone/swift,JGiola/swift,slavapestov/swift,IngmarStein/swift,uasys/swift,huonw/swift,tkremenek/swift,ben-ng/swift,russbishop/swift,roambotics/swift,therealbnut/swift,rudkx/swift,sdulal/swift,austinzheng/swift,kstaring/swift,MukeshKumarS/Swift,milseman/swift,xedin/swift,tardieu/swift,arvedviehweger/swift,CodaFi/swift,aschwaighofer/swift,russbishop/swift,karwa/swift,zisko/swift,brentdax/swift,gregomni/swift,aschwaighofer/swift,Ivacker/swift,tjw/swift,nathawes/swift,felix91gr/swift,huonw/swift,amraboelela/swift,sdulal/swift,LeoShimonaka/swift,adrfer/swift,kentya6/swift,glessard/swift,ben-ng/swift,gregomni/swift,practicalswift/swift,jopamer/swift,kusl/swift,natecook1000/swift,glessard/swift,JaSpa/swift,xwu/swift,practicalswift/swift,JGiola/swift,therealbnut/swift,glessard/swift,aschwaighofer/swift,benlangmuir/swift,harlanhaskins/swift,KrishMunot/swift,codestergit/swift,brentdax/swift,gottesmm/swift,gmilos/swift,return/swift,modocache/swift,airspeedswift/swift,tinysun212/swift-windows,aschwaighofer/swift,LeoShimonaka/swift,benlangmuir/swift,JaSpa/swift,parkera/swift,stephentyrone/swift,Jnosh/swift,nathawes/swift,nathawes/swift,gregomni/swift,IngmarStein/swift,cbrentharris/swift,xwu/swift,emilstahl/swift,gribozavr/swift,kusl/swift,mightydeveloper/swift,amraboelela/swift,khizkhiz/swift,djwbrown/swift,kperryua/swift,glessard/swift,IngmarStein/swift,jmgc/swift,OscarSwanros/swift,alblue/swift,djwbrown/swift,tkremenek/swift,stephentyrone/swift,johnno1962d/swift,kentya6/swift,stephentyrone/swift,practicalswift/swift,emilstahl/swift,dduan/swift,roambotics/swift,cbrentharris/swift,LeoShimonaka/swift,gottesmm/swift,milseman/swift,tinysun212/swift-windows,hooman/swift,mightydeveloper/swift,tkremenek/swift,jckarter/swift,SwiftAndroid/swift,arvedviehweger/swift,manavgabhawala/swift,kusl/swift,ben-ng/swift,OscarSwanros/swift,ken0nek/swift,gmilos/swift,stephentyrone/swift,kentya6/swift,uasys/swift,lorentey/swift,gregomni/swift,felix91gr/swift,frootloops/swift,jtbandes/swift,MukeshKumarS/Swift,airspeedswift/swift,aschwaighofer/swift,OscarSwanros/swift,dduan/swift,codestergit/swift,shajrawi/swift,IngmarStein/swift,rudkx/swift,hughbe/swift,dduan/swift,CodaFi/swift,danielmartin/swift,CodaFi/swift,tjw/swift,Ivacker/swift,kusl/swift,dduan/swift,calebd/swift,tinysun212/swift-windows,parkera/swift,benlangmuir/swift,swiftix/swift.old,khizkhiz/swift,felix91gr/swift,devincoughlin/swift,bitjammer/swift,kentya6/swift,swiftix/swift,hooman/swift,swiftix/swift,devincoughlin/swift,ahoppen/swift,amraboelela/swift,kstaring/swift,gmilos/swift,bitjammer/swift,deyton/swift,natecook1000/swift,jckarter/swift,emilstahl/swift,swiftix/swift.old,xwu/swift,brentdax/swift,deyton/swift,huonw/swift,tardieu/swift,harlanhaskins/swift,devincoughlin/swift,natecook1000/swift,Ivacker/swift,arvedviehweger/swift,Jnosh/swift,parkera/swift,parkera/swift,bitjammer/swift,allevato/swift,danielmartin/swift,return/swift,jopamer/swift,milseman/swift,return/swift,swiftix/swift.old,felix91gr/swift,modocache/swift,xedin/swift,benlangmuir/swift,SwiftAndroid/swift,glessard/swift,ben-ng/swift,therealbnut/swift,kstaring/swift,austinzheng/swift,jmgc/swift,LeoShimonaka/swift,russbishop/swift,adrfer/swift,jopamer/swift,atrick/swift,deyton/swift,hooman/swift,jtbandes/swift,deyton/swift,SwiftAndroid/swift,gmilos/swift,manavgabhawala/swift,devincoughlin/swift,slavapestov/swift,alblue/swift,hughbe/swift,ken0nek/swift,JaSpa/swift,tkremenek/swift,gregomni/swift,karwa/swift,karwa/swift,nathawes/swift,practicalswift/swift,SwiftAndroid/swift,sdulal/swift,practicalswift/swift,ben-ng/swift,dduan/swift,russbishop/swift,apple/swift,xedin/swift,sdulal/swift,cbrentharris/swift,jmgc/swift,djwbrown/swift,atrick/swift,airspeedswift/swift,tinysun212/swift-windows,shahmishal/swift,kentya6/swift,calebd/swift,roambotics/swift,huonw/swift,Ivacker/swift,cbrentharris/swift,jtbandes/swift,parkera/swift,mightydeveloper/swift,kentya6/swift,shajrawi/swift,OscarSwanros/swift,amraboelela/swift,JaSpa/swift,hughbe/swift,practicalswift/swift,CodaFi/swift,xwu/swift,shajrawi/swift,gribozavr/swift,OscarSwanros/swift,lorentey/swift,swiftix/swift,natecook1000/swift,danielmartin/swift,tkremenek/swift,slavapestov/swift,cbrentharris/swift,milseman/swift,tardieu/swift,johnno1962d/swift,frootloops/swift,xwu/swift,KrishMunot/swift,gribozavr/swift,adrfer/swift,ahoppen/swift,modocache/swift,gribozavr/swift,ahoppen/swift,apple/swift,danielmartin/swift,zisko/swift,tardieu/swift,shahmishal/swift,xedin/swift,ken0nek/swift,shahmishal/swift,frootloops/swift,djwbrown/swift,khizkhiz/swift,kperryua/swift,karwa/swift,roambotics/swift,sschiau/swift,modocache/swift,johnno1962d/swift,emilstahl/swift,rudkx/swift,codestergit/swift,xedin/swift,atrick/swift,jtbandes/swift,arvedviehweger/swift,uasys/swift,benlangmuir/swift,tkremenek/swift,Ivacker/swift,alblue/swift,mightydeveloper/swift,alblue/swift,JGiola/swift,manavgabhawala/swift,JaSpa/swift,JGiola/swift,deyton/swift,return/swift,dreamsxin/swift,zisko/swift,shajrawi/swift,apple/swift,danielmartin/swift,codestergit/swift,MukeshKumarS/Swift,kperryua/swift,LeoShimonaka/swift,adrfer/swift,xedin/swift,ben-ng/swift,natecook1000/swift,CodaFi/swift,natecook1000/swift,lorentey/swift,tardieu/swift,shahmishal/swift,LeoShimonaka/swift,MukeshKumarS/Swift,tardieu/swift,dduan/swift,shahmishal/swift,harlanhaskins/swift,hughbe/swift,MukeshKumarS/Swift,milseman/swift,sdulal/swift,KrishMunot/swift,kperryua/swift,arvedviehweger/swift,sschiau/swift,roambotics/swift,swiftix/swift.old,lorentey/swift,gottesmm/swift,roambotics/swift,austinzheng/swift,Jnosh/swift,arvedviehweger/swift,karwa/swift,khizkhiz/swift,calebd/swift,modocache/swift,johnno1962d/swift,gottesmm/swift,kusl/swift,IngmarStein/swift,emilstahl/swift,huonw/swift,mightydeveloper/swift,manavgabhawala/swift,ken0nek/swift,ken0nek/swift,therealbnut/swift,djwbrown/swift,airspeedswift/swift,shajrawi/swift,tjw/swift,swiftix/swift.old,shajrawi/swift,huonw/swift,LeoShimonaka/swift,xwu/swift,slavapestov/swift,gribozavr/swift,karwa/swift,slavapestov/swift,kstaring/swift,mightydeveloper/swift,harlanhaskins/swift,uasys/swift,djwbrown/swift,swiftix/swift.old,hooman/swift,djwbrown/swift,cbrentharris/swift,jmgc/swift,lorentey/swift,Jnosh/swift,jmgc/swift,ben-ng/swift,nathawes/swift,airspeedswift/swift,tinysun212/swift-windows,CodaFi/swift,harlanhaskins/swift,MukeshKumarS/Swift,dduan/swift,zisko/swift,swiftix/swift,amraboelela/swift,kstaring/swift,jckarter/swift,harlanhaskins/swift,therealbnut/swift,deyton/swift,felix91gr/swift,devincoughlin/swift,gottesmm/swift,parkera/swift,tjw/swift,frootloops/swift,rudkx/swift,brentdax/swift,calebd/swift,return/swift,alblue/swift,hughbe/swift,felix91gr/swift,mightydeveloper/swift,gribozavr/swift,adrfer/swift,mightydeveloper/swift,SwiftAndroid/swift,Jnosh/swift,brentdax/swift,emilstahl/swift,uasys/swift,jopamer/swift,Ivacker/swift,shajrawi/swift,kperryua/swift,gribozavr/swift,codestergit/swift,KrishMunot/swift,JGiola/swift,JaSpa/swift,KrishMunot/swift,danielmartin/swift,kusl/swift,nathawes/swift,JaSpa/swift,tkremenek/swift,bitjammer/swift,calebd/swift,therealbnut/swift,jtbandes/swift,amraboelela/swift,russbishop/swift,jtbandes/swift,jmgc/swift,uasys/swift,allevato/swift,frootloops/swift,kentya6/swift,OscarSwanros/swift,modocache/swift,tjw/swift,austinzheng/swift,shahmishal/swift,khizkhiz/swift,swiftix/swift,emilstahl/swift,jckarter/swift,slavapestov/swift,lorentey/swift,jopamer/swift,adrfer/swift,austinzheng/swift,khizkhiz/swift,bitjammer/swift,jckarter/swift,swiftix/swift,sdulal/swift,harlanhaskins/swift,IngmarStein/swift,kperryua/swift,jopamer/swift,ahoppen/swift,benlangmuir/swift,codestergit/swift,jckarter/swift,sschiau/swift,rudkx/swift,uasys/swift,gmilos/swift,rudkx/swift,modocache/swift,tjw/swift,ken0nek/swift,therealbnut/swift,gottesmm/swift,frootloops/swift,shahmishal/swift,zisko/swift,zisko/swift,brentdax/swift,KrishMunot/swift,apple/swift,shajrawi/swift,airspeedswift/swift,airspeedswift/swift,nathawes/swift,stephentyrone/swift,Ivacker/swift,hughbe/swift,tardieu/swift,return/swift,tjw/swift,parkera/swift,adrfer/swift,arvedviehweger/swift,cbrentharris/swift,allevato/swift,devincoughlin/swift,kusl/swift,huonw/swift,codestergit/swift,kperryua/swift,atrick/swift,tinysun212/swift-windows,alblue/swift,Ivacker/swift,brentdax/swift,karwa/swift,alblue/swift,allevato/swift,sdulal/swift,practicalswift/swift,swiftix/swift,IngmarStein/swift,johnno1962d/swift,hooman/swift,bitjammer/swift,gregomni/swift,gmilos/swift,parkera/swift,milseman/swift,sschiau/swift,slavapestov/swift,kstaring/swift,deyton/swift,allevato/swift,MukeshKumarS/Swift,calebd/swift,glessard/swift,return/swift,danielmartin/swift,hughbe/swift,xwu/swift,bitjammer/swift,gottesmm/swift,manavgabhawala/swift,jopamer/swift,russbishop/swift,jtbandes/swift,amraboelela/swift,stephentyrone/swift,sschiau/swift,felix91gr/swift,manavgabhawala/swift,calebd/swift,zisko/swift,JGiola/swift,lorentey/swift,kusl/swift,karwa/swift,jckarter/swift,emilstahl/swift,johnno1962d/swift,devincoughlin/swift,hooman/swift,apple/swift,sschiau/swift,sschiau/swift,SwiftAndroid/swift,jmgc/swift,Jnosh/swift,LeoShimonaka/swift,swiftix/swift.old,natecook1000/swift,ahoppen/swift,OscarSwanros/swift,tinysun212/swift-windows,practicalswift/swift,cbrentharris/swift,shahmishal/swift,SwiftAndroid/swift,aschwaighofer/swift,swiftix/swift.old,xedin/swift,frootloops/swift,hooman/swift,manavgabhawala/swift,CodaFi/swift,austinzheng/swift,kentya6/swift,austinzheng/swift,allevato/swift