[CSBindings] Only add supertype bindings if TypeVar is a key path type

Author: Amritpan Kaur

lib/Sema/CSBindings.cpp

@@ -2044,10 +2044,14 @@ bool TypeVarBindingProducer::computeNext() {
         addNewBinding(binding.withSameSource(voidType, BindingKind::Exact));
       }
 
-      for (auto supertype : enumerateDirectSupertypes(type)) {
-        // If we're not allowed to try this binding, skip it.
-        if (auto simplifiedSuper = checkTypeOfBinding(TypeVar, supertype))
-          addNewBinding(binding.withType(*simplifiedSuper));
+      // If this is a type variable representing a key path type,
+      // try to bind to any direct supertypes.
+      if (!TypeVar->getImpl().isKeyPathType()) {
+        for (auto supertype : enumerateDirectSupertypes(type)) {
+          // If we're not allowed to try this binding, skip it.
+          if (auto simplifiedSuper = checkTypeOfBinding(TypeVar, supertype))
+            addNewBinding(binding.withType(*simplifiedSuper));
+        }
       }
     }
   }