RequirementMachine: Relax cross-check assert for areSameTypeParameterInContext()
RequirementMachine: Relax cross-check assert for areSameTypeParameterInContext()

The GSB and RequirementMachine sometimes disagree on whether two
type parameters that have both been equated to the same concrete
type belong to the same equivalence class or not.

Since in practice, this distinction does not matter, relax the
assert here.

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