Factor witness checking into its own function.
Factor witness checking into its own function.

No functionality change.


Swift SVN r11424

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