[CSSimplify] Fix transitive conformance check to use `Optional<T>` on if resolved type is not optional
[CSSimplify] Fix transitive conformance check to use `Optional<T>` on if resolved type is not optional

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