[ConstraintSystem] Allow early conformance checking for overload choices if the best solution has a non-default literal type.
[ConstraintSystem] Allow early conformance checking for overload choices
if the best solution has a non-default literal type.

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