Sema: Restored AST verification but loosened the check
Sema: Restored AST verification but loosened the check

The check now passes if the type meets isExistentialType rather than isAnyExistentialType.

airspeedswift/swift,lorentey/swift,sschiau/swift,glessard/swift,rudkx/swift,atrick/swift,nathawes/swift,apple/swift,lorentey/swift,benlangmuir/swift,gregomni/swift,devincoughlin/swift,harlanhaskins/swift,karwa/swift,shahmishal/swift,JGiola/swift,parkera/swift,tkremenek/swift,CodaFi/swift,apple/swift,devincoughlin/swift,atrick/swift,airspeedswift/swift,JGiola/swift,lorentey/swift,benlangmuir/swift,JGiola/swift,tkremenek/swift,tkremenek/swift,airspeedswift/swift,roambotics/swift,aschwaighofer/swift,jckarter/swift,xedin/swift,glessard/swift,parkera/swift,jmgc/swift,jmgc/swift,xedin/swift,gregomni/swift,allevato/swift,jckarter/swift,benlangmuir/swift,hooman/swift,jckarter/swift,shahmishal/swift,jmgc/swift,gribozavr/swift,lorentey/swift,harlanhaskins/swift,xwu/swift,gribozavr/swift,jckarter/swift,rudkx/swift,devincoughlin/swift,allevato/swift,tkremenek/swift,tkremenek/swift,xedin/swift,jckarter/swift,xedin/swift,jckarter/swift,airspeedswift/swift,parkera/swift,apple/swift,stephentyrone/swift,stephentyrone/swift,CodaFi/swift,nathawes/swift,aschwaighofer/swift,karwa/swift,parkera/swift,sschiau/swift,stephentyrone/swift,devincoughlin/swift,hooman/swift,sschiau/swift,nathawes/swift,gribozavr/swift,gribozavr/swift,lorentey/swift,aschwaighofer/swift,glessard/swift,xedin/swift,hooman/swift,shajrawi/swift,glessard/swift,ahoppen/swift,parkera/swift,devincoughlin/swift,hooman/swift,ahoppen/swift,glessard/swift,harlanhaskins/swift,sschiau/swift,xedin/swift,CodaFi/swift,shahmishal/swift,ahoppen/swift,atrick/swift,aschwaighofer/swift,allevato/swift,atrick/swift,lorentey/swift,xwu/swift,glessard/swift,roambotics/swift,xwu/swift,apple/swift,JGiola/swift,roambotics/swift,parkera/swift,xwu/swift,benlangmuir/swift,airspeedswift/swift,sschiau/swift,shahmishal/swift,harlanhaskins/swift,stephentyrone/swift,hooman/swift,airspeedswift/swift,lorentey/swift,rudkx/swift,shajrawi/swift,hooman/swift,ahoppen/swift,CodaFi/swift,karwa/swift,karwa/swift,aschwaighofer/swift,nathawes/swift,rudkx/swift,stephentyrone/swift,shajrawi/swift,parkera/swift,devincoughlin/swift,ahoppen/swift,gribozavr/swift,shajrawi/swift,gregomni/swift,allevato/swift,shahmishal/swift,apple/swift,jmgc/swift,jckarter/swift,xwu/swift,sschiau/swift,atrick/swift,jmgc/swift,tkremenek/swift,gribozavr/swift,benlangmuir/swift,shajrawi/swift,parkera/swift,hooman/swift,roambotics/swift,xedin/swift,airspeedswift/swift,JGiola/swift,rudkx/swift,apple/swift,JGiola/swift,jmgc/swift,allevato/swift,benlangmuir/swift,lorentey/swift,gregomni/swift,tkremenek/swift,CodaFi/swift,sschiau/swift,shahmishal/swift,karwa/swift,atrick/swift,shahmishal/swift,nathawes/swift,gregomni/swift,jmgc/swift,gregomni/swift,shahmishal/swift,rudkx/swift,CodaFi/swift,aschwaighofer/swift,devincoughlin/swift,roambotics/swift,aschwaighofer/swift,shajrawi/swift,CodaFi/swift,harlanhaskins/swift,harlanhaskins/swift,xwu/swift,shajrawi/swift,harlanhaskins/swift,nathawes/swift,gribozavr/swift,karwa/swift,xwu/swift,ahoppen/swift,devincoughlin/swift,gribozavr/swift,shajrawi/swift,sschiau/swift,allevato/swift,nathawes/swift,roambotics/swift,stephentyrone/swift,xedin/swift,stephentyrone/swift,karwa/swift,allevato/swift,karwa/swift