Merge pull request #59676 from slavapestov/subst-map-superclass-check

AST: Remove unnecessary superclass bound check in SubstitutionMap::lookupConformance()

Author: slavapestov

lib/AST/SubstitutionMap.cpp

@@ -359,15 +359,6 @@ SubstitutionMap::lookupConformance(CanType type, ProtocolDecl *proto) const {
   if (auto directConformance = getSignatureConformance(type, proto))
     return *directConformance;
 
-  // Check whether the superclass conforms.
-  if (auto superclass = genericSig->getSuperclassBound(type)) {
-    LookUpConformanceInSignature lookup(getGenericSignature().getPointer());
-    auto substType = type.subst(*this);
-    if (auto conformance = lookup(type->getCanonicalType(), substType, proto)){
-      return conformance;
-    }
-  }
-
   // If the type doesn't conform to this protocol, the result isn't formed
   // from these requirements.
   if (!genericSig->requiresProtocol(type, proto)) {
@@ -378,7 +369,6 @@ SubstitutionMap::lookupConformance(CanType type, ProtocolDecl *proto) const {
   auto accessPath =
     genericSig->getConformanceAccessPath(type, proto);
 
-  // Fall through because we cannot yet evaluate an access path.
   ProtocolConformanceRef conformance;
   for (const auto &step : accessPath) {
     // For the first step, grab the initial conformance.

lib/SILOptimizer/Differentiation/JVPCloner.cpp

@@ -702,22 +702,16 @@ class JVPCloner::Implementation final
     extractAllElements(origResult, builder, origResults);
 
     // Get and partially apply the differential.
-    auto jvpGenericEnv = jvp->getGenericEnvironment();
-    auto jvpSubstMap = jvpGenericEnv
-                           ? jvpGenericEnv->getForwardingSubstitutionMap()
-                           : jvp->getForwardingSubstitutionMap();
+    auto jvpSubstMap = jvp->getForwardingSubstitutionMap();
     auto *differentialRef = builder.createFunctionRef(loc, &getDifferential());
     auto *differentialPartialApply = builder.createPartialApply(
         loc, differentialRef, jvpSubstMap, {diffStructVal},
         ParameterConvention::Direct_Guaranteed);
 
-    auto differentialType = jvp->getLoweredFunctionType()
-                                ->getResults()
-                                .back()
-                                .getSILStorageInterfaceType();
-    differentialType = differentialType.substGenericArgs(
-        getModule(), jvpSubstMap, TypeExpansionContext::minimal());
-    differentialType = differentialType.subst(getModule(), jvpSubstMap);
+    auto differentialType = jvp->mapTypeIntoContext(
+        jvp->getConventions().getSILType(
+            jvp->getLoweredFunctionType()->getResults().back(),
+            jvp->getTypeExpansionContext()));
     auto differentialFnType = differentialType.castTo<SILFunctionType>();
     auto differentialSubstType =
         differentialPartialApply->getType().castTo<SILFunctionType>();

lib/SILOptimizer/Differentiation/VJPCloner.cpp

@@ -231,10 +231,7 @@ class VJPCloner::Implementation final
     extractAllElements(origResult, Builder, origResults);
 
     // Get and partially apply the pullback.
-    auto vjpGenericEnv = vjp->getGenericEnvironment();
-    auto vjpSubstMap = vjpGenericEnv
-                           ? vjpGenericEnv->getForwardingSubstitutionMap()
-                           : vjp->getForwardingSubstitutionMap();
+    auto vjpSubstMap = vjp->getForwardingSubstitutionMap();
     auto *pullbackRef = Builder.createFunctionRef(loc, pullback);
 
     // Prepare partial application arguments.
@@ -257,13 +254,10 @@ class VJPCloner::Implementation final
     auto *pullbackPartialApply = Builder.createPartialApply(
         loc, pullbackRef, vjpSubstMap, {partialApplyArg},
         ParameterConvention::Direct_Guaranteed);
-    auto pullbackType = vjp->getLoweredFunctionType()
-                            ->getResults()
-                            .back()
-                            .getSILStorageInterfaceType();
-    pullbackType = pullbackType.substGenericArgs(
-        getModule(), vjpSubstMap, TypeExpansionContext::minimal());
-    pullbackType = pullbackType.subst(getModule(), vjpSubstMap);
+    auto pullbackType = vjp->mapTypeIntoContext(
+        vjp->getConventions().getSILType(
+            vjp->getLoweredFunctionType()->getResults().back(),
+            vjp->getTypeExpansionContext()));
     auto pullbackFnType = pullbackType.castTo<SILFunctionType>();
     auto pullbackSubstType =
         pullbackPartialApply->getType().castTo<SILFunctionType>();