[AST Verifier] Drop checks that don’t work with lazily-computed overrides.
[AST Verifier] Drop checks that don’t work with lazily-computed overrides.


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