[NFC] Fold Switch-Nest in Obligation Verification
[NFC] Fold Switch-Nest in Obligation Verification

Fold the switch statement to have each arm share as much code between them as possible. This reduces a ton of duplication from the error continuations and makes it slightly easier to update this code when more kinds of cases show up here later.

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