Add framework for handling decls in the verifier.
Add framework for handling decls in the verifier.



Swift SVN r1926

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