Simplify verification of ArrayUpcastConversionExpr
Simplify verification of ArrayUpcastConversionExpr

I got a little ahead of myself on this one, so without the remaining work for rdar://problem/16540403 it wasn't quite correct. For now just descend into the sub expression.

Swift SVN r16859

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