[Exclusivity] Extend SILVerifier for init_block_storage_header for exclusivity
[Exclusivity] Extend SILVerifier for init_block_storage_header for exclusivity

Extend the SIL verifier to check for the assumptions that the static exclusivity
diagnostics make about conversions from noescape closures to noescape blocks.
Soundness of the static diagnostics requires that the analysis can locally
determine when a noescape closure is converted to a noescape and then
passed to a function.

allevato/swift,harlanhaskins/swift,hooman/swift,austinzheng/swift,sschiau/swift,gribozavr/swift,lorentey/swift,ahoppen/swift,jopamer/swift,shajrawi/swift,karwa/swift,atrick/swift,karwa/swift,amraboelela/swift,CodaFi/swift,JGiola/swift,allevato/swift,allevato/swift,jmgc/swift,hooman/swift,jmgc/swift,jckarter/swift,brentdax/swift,devincoughlin/swift,xwu/swift,karwa/swift,tjw/swift,tkremenek/swift,huonw/swift,lorentey/swift,stephentyrone/swift,xedin/swift,practicalswift/swift,practicalswift/swift,rudkx/swift,austinzheng/swift,jmgc/swift,atrick/swift,danielmartin/swift,ahoppen/swift,sschiau/swift,nathawes/swift,gregomni/swift,gribozavr/swift,stephentyrone/swift,tjw/swift,benlangmuir/swift,atrick/swift,shajrawi/swift,lorentey/swift,tjw/swift,practicalswift/swift,CodaFi/swift,airspeedswift/swift,jopamer/swift,parkera/swift,jmgc/swift,airspeedswift/swift,gribozavr/swift,harlanhaskins/swift,allevato/swift,karwa/swift,amraboelela/swift,rudkx/swift,allevato/swift,xedin/swift,harlanhaskins/swift,amraboelela/swift,sschiau/swift,danielmartin/swift,roambotics/swift,natecook1000/swift,apple/swift,austinzheng/swift,JGiola/swift,parkera/swift,zisko/swift,apple/swift,parkera/swift,ahoppen/swift,lorentey/swift,amraboelela/swift,xwu/swift,rudkx/swift,shajrawi/swift,atrick/swift,gribozavr/swift,practicalswift/swift,danielmartin/swift,CodaFi/swift,brentdax/swift,lorentey/swift,roambotics/swift,benlangmuir/swift,xedin/swift,gregomni/swift,shajrawi/swift,devincoughlin/swift,glessard/swift,brentdax/swift,huonw/swift,zisko/swift,xedin/swift,rudkx/swift,amraboelela/swift,aschwaighofer/swift,apple/swift,devincoughlin/swift,stephentyrone/swift,rudkx/swift,tkremenek/swift,huonw/swift,glessard/swift,hooman/swift,huonw/swift,roambotics/swift,gregomni/swift,xedin/swift,huonw/swift,shahmishal/swift,austinzheng/swift,alblue/swift,karwa/swift,practicalswift/swift,shajrawi/swift,jopamer/swift,jopamer/swift,rudkx/swift,devincoughlin/swift,shahmishal/swift,karwa/swift,nathawes/swift,tkremenek/swift,shahmishal/swift,xwu/swift,danielmartin/swift,harlanhaskins/swift,shahmishal/swift,jopamer/swift,airspeedswift/swift,atrick/swift,allevato/swift,aschwaighofer/swift,harlanhaskins/swift,xedin/swift,natecook1000/swift,glessard/swift,aschwaighofer/swift,benlangmuir/swift,shahmishal/swift,brentdax/swift,natecook1000/swift,airspeedswift/swift,danielmartin/swift,airspeedswift/swift,jckarter/swift,lorentey/swift,amraboelela/swift,xwu/swift,amraboelela/swift,alblue/swift,parkera/swift,JGiola/swift,xedin/swift,tkremenek/swift,aschwaighofer/swift,zisko/swift,tjw/swift,alblue/swift,shajrawi/swift,danielmartin/swift,sschiau/swift,jmgc/swift,natecook1000/swift,stephentyrone/swift,sschiau/swift,allevato/swift,xwu/swift,devincoughlin/swift,devincoughlin/swift,jmgc/swift,brentdax/swift,apple/swift,CodaFi/swift,xwu/swift,JGiola/swift,shahmishal/swift,tkremenek/swift,harlanhaskins/swift,nathawes/swift,apple/swift,tjw/swift,shahmishal/swift,jopamer/swift,austinzheng/swift,brentdax/swift,karwa/swift,brentdax/swift,benlangmuir/swift,practicalswift/swift,apple/swift,JGiola/swift,aschwaighofer/swift,shajrawi/swift,gribozavr/swift,tkremenek/swift,aschwaighofer/swift,nathawes/swift,hooman/swift,parkera/swift,austinzheng/swift,jckarter/swift,stephentyrone/swift,CodaFi/swift,jckarter/swift,atrick/swift,benlangmuir/swift,tjw/swift,gregomni/swift,hooman/swift,airspeedswift/swift,jopamer/swift,airspeedswift/swift,zisko/swift,CodaFi/swift,parkera/swift,practicalswift/swift,austinzheng/swift,jmgc/swift,zisko/swift,gribozavr/swift,shajrawi/swift,karwa/swift,aschwaighofer/swift,gregomni/swift,devincoughlin/swift,ahoppen/swift,alblue/swift,glessard/swift,shahmishal/swift,parkera/swift,glessard/swift,nathawes/swift,gribozavr/swift,lorentey/swift,alblue/swift,stephentyrone/swift,ahoppen/swift,sschiau/swift,natecook1000/swift,huonw/swift,sschiau/swift,natecook1000/swift,JGiola/swift,roambotics/swift,zisko/swift,jckarter/swift,devincoughlin/swift,huonw/swift,glessard/swift,zisko/swift,alblue/swift,natecook1000/swift,ahoppen/swift,lorentey/swift,roambotics/swift,danielmartin/swift,practicalswift/swift,hooman/swift,xwu/swift,xedin/swift,tkremenek/swift,stephentyrone/swift,tjw/swift,hooman/swift,roambotics/swift,gribozavr/swift,benlangmuir/swift,gregomni/swift,jckarter/swift,parkera/swift,alblue/swift,harlanhaskins/swift,sschiau/swift,jckarter/swift,nathawes/swift,nathawes/swift,CodaFi/swift