[TypeChecker] NFC: Add a counter-test example for SR-12033
[TypeChecker] NFC: Add a counter-test example for SR-12033

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