“Sanitize” requirements before checking inferred type witnesses.
“Sanitize” requirements before checking inferred type witnesses.

When we check type inferred type witnesses against the requirement
signature of the protocol, first "sanitize" the requirements to remap
any dependent member types into the equivalent dependent member types
within that protocol, dropping any requirements that can't be
remapped. This eliminates some extraneous recursion introduced by
checking requirements, and isolates us somewhat from the specific
choice of "canonical" associated types.

allevato/swift,karwa/swift,devincoughlin/swift,hooman/swift,apple/swift,amraboelela/swift,tkremenek/swift,amraboelela/swift,ahoppen/swift,nathawes/swift,stephentyrone/swift,xwu/swift,harlanhaskins/swift,harlanhaskins/swift,uasys/swift,benlangmuir/swift,benlangmuir/swift,gribozavr/swift,tkremenek/swift,practicalswift/swift,amraboelela/swift,JGiola/swift,huonw/swift,lorentey/swift,parkera/swift,xwu/swift,nathawes/swift,glessard/swift,hooman/swift,devincoughlin/swift,xwu/swift,xedin/swift,gribozavr/swift,shajrawi/swift,jmgc/swift,benlangmuir/swift,OscarSwanros/swift,huonw/swift,natecook1000/swift,karwa/swift,lorentey/swift,airspeedswift/swift,hooman/swift,rudkx/swift,jopamer/swift,shahmishal/swift,apple/swift,alblue/swift,uasys/swift,alblue/swift,practicalswift/swift,practicalswift/swift,stephentyrone/swift,zisko/swift,zisko/swift,JGiola/swift,amraboelela/swift,OscarSwanros/swift,shajrawi/swift,JGiola/swift,jckarter/swift,lorentey/swift,jopamer/swift,jmgc/swift,alblue/swift,practicalswift/swift,lorentey/swift,brentdax/swift,jopamer/swift,rudkx/swift,xedin/swift,tkremenek/swift,gregomni/swift,OscarSwanros/swift,xedin/swift,swiftix/swift,shajrawi/swift,shajrawi/swift,austinzheng/swift,natecook1000/swift,lorentey/swift,danielmartin/swift,shahmishal/swift,uasys/swift,apple/swift,amraboelela/swift,lorentey/swift,alblue/swift,devincoughlin/swift,danielmartin/swift,airspeedswift/swift,harlanhaskins/swift,jckarter/swift,danielmartin/swift,jmgc/swift,danielmartin/swift,gribozavr/swift,roambotics/swift,amraboelela/swift,brentdax/swift,jmgc/swift,devincoughlin/swift,nathawes/swift,natecook1000/swift,CodaFi/swift,CodaFi/swift,atrick/swift,gribozavr/swift,nathawes/swift,jckarter/swift,uasys/swift,karwa/swift,alblue/swift,danielmartin/swift,gribozavr/swift,gribozavr/swift,shahmishal/swift,ahoppen/swift,frootloops/swift,natecook1000/swift,karwa/swift,karwa/swift,devincoughlin/swift,zisko/swift,atrick/swift,gregomni/swift,roambotics/swift,shajrawi/swift,CodaFi/swift,xedin/swift,rudkx/swift,practicalswift/swift,hooman/swift,rudkx/swift,swiftix/swift,frootloops/swift,xwu/swift,JGiola/swift,sschiau/swift,sschiau/swift,jmgc/swift,stephentyrone/swift,frootloops/swift,swiftix/swift,sschiau/swift,zisko/swift,allevato/swift,nathawes/swift,jopamer/swift,swiftix/swift,parkera/swift,austinzheng/swift,swiftix/swift,shahmishal/swift,atrick/swift,OscarSwanros/swift,CodaFi/swift,hooman/swift,glessard/swift,devincoughlin/swift,frootloops/swift,OscarSwanros/swift,allevato/swift,sschiau/swift,austinzheng/swift,jopamer/swift,stephentyrone/swift,gregomni/swift,jckarter/swift,shahmishal/swift,atrick/swift,karwa/swift,aschwaighofer/swift,aschwaighofer/swift,zisko/swift,CodaFi/swift,harlanhaskins/swift,aschwaighofer/swift,danielmartin/swift,frootloops/swift,brentdax/swift,alblue/swift,allevato/swift,zisko/swift,uasys/swift,atrick/swift,brentdax/swift,aschwaighofer/swift,glessard/swift,huonw/swift,austinzheng/swift,aschwaighofer/swift,natecook1000/swift,austinzheng/swift,xedin/swift,alblue/swift,shajrawi/swift,benlangmuir/swift,shahmishal/swift,brentdax/swift,harlanhaskins/swift,lorentey/swift,JGiola/swift,ahoppen/swift,hooman/swift,parkera/swift,practicalswift/swift,jmgc/swift,aschwaighofer/swift,roambotics/swift,xwu/swift,airspeedswift/swift,practicalswift/swift,tkremenek/swift,OscarSwanros/swift,tkremenek/swift,harlanhaskins/swift,tkremenek/swift,xwu/swift,gregomni/swift,amraboelela/swift,frootloops/swift,stephentyrone/swift,stephentyrone/swift,jopamer/swift,shahmishal/swift,shahmishal/swift,CodaFi/swift,huonw/swift,sschiau/swift,parkera/swift,allevato/swift,jmgc/swift,swiftix/swift,natecook1000/swift,brentdax/swift,karwa/swift,uasys/swift,parkera/swift,gregomni/swift,glessard/swift,jopamer/swift,lorentey/swift,OscarSwanros/swift,huonw/swift,danielmartin/swift,huonw/swift,shajrawi/swift,jckarter/swift,huonw/swift,brentdax/swift,tjw/swift,airspeedswift/swift,atrick/swift,tjw/swift,allevato/swift,roambotics/swift,karwa/swift,aschwaighofer/swift,JGiola/swift,zisko/swift,xwu/swift,nathawes/swift,sschiau/swift,tjw/swift,benlangmuir/swift,devincoughlin/swift,xedin/swift,gribozavr/swift,stephentyrone/swift,xedin/swift,glessard/swift,sschiau/swift,parkera/swift,shajrawi/swift,roambotics/swift,ahoppen/swift,swiftix/swift,allevato/swift,sschiau/swift,tjw/swift,ahoppen/swift,parkera/swift,rudkx/swift,natecook1000/swift,gribozavr/swift,apple/swift,tjw/swift,hooman/swift,parkera/swift,benlangmuir/swift,frootloops/swift,rudkx/swift,jckarter/swift,apple/swift,airspeedswift/swift,xedin/swift,airspeedswift/swift,nathawes/swift,airspeedswift/swift,tjw/swift,practicalswift/swift,ahoppen/swift,apple/swift,tjw/swift,harlanhaskins/swift,austinzheng/swift,devincoughlin/swift,austinzheng/swift,roambotics/swift,glessard/swift,uasys/swift,tkremenek/swift,CodaFi/swift,gregomni/swift,jckarter/swift