[TypeChecker] NFC: Add a couple of tests for inference with optional/pointer promotion
[TypeChecker] NFC: Add a couple of tests for inference with optional/pointer promotion

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