Push NeverNullType Into The Leaves of Type Resolution
Push NeverNullType Into The Leaves of Type Resolution

This ought to afford more specific traces when a null type is actually propagated out of the branches. As an added benefit, we no longer have to check for the null type when making recursive calls into type resolution and will now recieve a compile-time error when such a comparison is attempted.

benlangmuir/swift,rudkx/swift,hooman/swift,rudkx/swift,hooman/swift,roambotics/swift,JGiola/swift,tkremenek/swift,hooman/swift,benlangmuir/swift,parkera/swift,hooman/swift,gregomni/swift,rudkx/swift,parkera/swift,apple/swift,ahoppen/swift,apple/swift,apple/swift,roambotics/swift,jmgc/swift,xwu/swift,parkera/swift,glessard/swift,xwu/swift,apple/swift,jmgc/swift,JGiola/swift,parkera/swift,apple/swift,roambotics/swift,roambotics/swift,tkremenek/swift,glessard/swift,JGiola/swift,rudkx/swift,benlangmuir/swift,xwu/swift,roambotics/swift,parkera/swift,roambotics/swift,jmgc/swift,jmgc/swift,xwu/swift,hooman/swift,tkremenek/swift,JGiola/swift,hooman/swift,atrick/swift,atrick/swift,xwu/swift,atrick/swift,gregomni/swift,atrick/swift,gregomni/swift,jmgc/swift,parkera/swift,JGiola/swift,parkera/swift,glessard/swift,tkremenek/swift,rudkx/swift,glessard/swift,tkremenek/swift,tkremenek/swift,ahoppen/swift,xwu/swift,gregomni/swift,benlangmuir/swift,ahoppen/swift,hooman/swift,ahoppen/swift,glessard/swift,benlangmuir/swift,JGiola/swift,glessard/swift,benlangmuir/swift,parkera/swift,xwu/swift,jmgc/swift,gregomni/swift,ahoppen/swift,tkremenek/swift,jmgc/swift,ahoppen/swift,gregomni/swift,rudkx/swift,atrick/swift,apple/swift,atrick/swift