Fix bug in SubstitutionMap::verify(), and add check that concrete conformances match concrete types
Fix bug in SubstitutionMap::verify(), and add check that concrete conformances match concrete types

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