Revert "Fix issue with 'Self' metadata when class conforms to protocol with default implementations" (#12344)

It broke the 32-bit iOS simulator, and possibly the 64-bit simulator as well. Reverts 5618553.

Author: jrose-apple

include/swift/AST/DiagnosticsSema.def

@@ -1452,11 +1452,6 @@ ERROR(witness_requires_dynamic_self,none,
       "method %0 in non-final class %1 must return `Self` to conform to "
       "protocol %2",
       (DeclName, Type, Type))
-ERROR(witness_requires_class_implementation,none,
-      "method %0 in non-final class %1 cannot be implemented in a "
-      "protocol extension because it returns `Self` and has associated type "
-      "requirements",
-      (DeclName, Type))
 ERROR(witness_not_accessible_proto,none,
       "%select{initializer %1|method %1|%select{|setter for }2property %1"
       "|subscript%select{| setter}2}0 must be declared "

lib/SILOptimizer/Utils/Devirtualize.cpp

@@ -712,8 +712,7 @@ DevirtualizationResult swift::tryDevirtualizeClassMethod(FullApplySite AI,
 //===----------------------------------------------------------------------===//
 
 static SubstitutionMap
-getSubstitutionsForProtocolConformance(ModuleDecl *M,
-                                       ProtocolConformanceRef CRef) {
+getSubstitutionsForProtocolConformance(ProtocolConformanceRef CRef) {
   auto C = CRef.getConcrete();
 
   // Walk down to the base NormalProtocolConformance.
@@ -747,7 +746,8 @@ getSubstitutionsForProtocolConformance(ModuleDecl *M,
 
   if (Subs.empty()) {
     auto *DC = NormalC->getDeclContext();
-    return NormalC->getType()->getContextSubstitutionMap(M, DC);
+    return NormalC->getType()
+      ->getContextSubstitutionMap(DC->getParentModule(), DC);
   }
 
   return NormalC->getGenericSignature()->getSubstitutionMap(Subs);
@@ -764,50 +764,17 @@ getSubstitutionsForProtocolConformance(ModuleDecl *M,
 /// are written in terms of the requirement's generic signature need
 /// to be remapped to substitutions suitable for the witness signature.
 ///
-/// Supported remappings are:
-///
-/// - (Concrete witness thunk) Original substitutions:
-///   [Self := ConcreteType, R0 := X0, R1 := X1, ...]
-/// - Requirement generic signature:
-///   <Self : P, R0, R1, ...>
-/// - Witness thunk generic signature:
-///   <W0, W1, ...>
-/// - Remapped substitutions:
-///   [W0 := X0, W1 := X1, ...]
-///
-/// - (Class witness thunk) Original substitutions:
-///   [Self := C<A0, A1>, T0 := X0, T1 := X1, ...]
-/// - Requirement generic signature:
-///   <Self : P, R0, R1, ...>
-/// - Witness thunk generic signature:
-///   <Self : C<B0, B1>, B0, B1, W0, W1, ...>
-/// - Remapped substitutions:
-///   [Self := C<B0, B1>, B0 := A0, B1 := A1, W0 := X0, W1 := X1]
-///
-/// - (Default witness thunk) Original substitutions:
-///   [Self := ConcreteType, R0 := X0, R1 := X1, ...]
-/// - Requirement generic signature:
-///   <Self : P, R0, R1, ...>
-/// - Witness thunk generic signature:
-///   <Self : P, W0, W1, ...>
-/// - Remapped substitutions:
-///   [Self := ConcreteType, W0 := X0, W1 := X1, ...]
-///
 /// \param conformanceRef The (possibly-specialized) conformance
 /// \param requirementSig The generic signature of the requirement
 /// \param witnessThunkSig The generic signature of the witness method
 /// \param origSubs The substitutions from the call instruction
-/// \param isDefaultWitness True if this is a default witness method
-/// \param classWitness The ClassDecl if this is a class witness method
 static SubstitutionMap
 getWitnessMethodSubstitutions(
-    ModuleDecl *mod,
     ProtocolConformanceRef conformanceRef,
     GenericSignature *requirementSig,
     GenericSignature *witnessThunkSig,
     SubstitutionList origSubs,
-    bool isDefaultWitness,
-    ClassDecl *classWitness) {
+    bool isDefaultWitness) {
 
   if (witnessThunkSig == nullptr)
     return SubstitutionMap();
@@ -822,7 +789,7 @@ getWitnessMethodSubstitutions(
 
   // If `Self` maps to a bound generic type, this gives us the
   // substitutions for the concrete type's generic parameters.
-  auto baseSubMap = getSubstitutionsForProtocolConformance(mod, conformanceRef);
+  auto baseSubMap = getSubstitutionsForProtocolConformance(conformanceRef);
 
   unsigned baseDepth = 0;
   auto *rootConformance = conformance->getRootNormalConformance();
@@ -831,39 +798,6 @@ getWitnessMethodSubstitutions(
 
   auto origDepth = 1;
 
-  // If the witness has a class-constrained 'Self' generic parameter,
-  // we have to build a new substitution map that shifts all generic
-  // parameters down by one.
-  if (classWitness != nullptr) {
-    baseDepth += 1;
-
-    auto &ctx = mod->getASTContext();
-    auto *proto = conformance->getProtocol();
-    auto selfType = proto->getSelfInterfaceType();
-
-    auto witnessThunkToWitnessMap = witnessThunkSig->getSubstitutionMap(
-        [&](SubstitutableType *type) -> Type {
-          if (type->isEqual(selfType))
-            return classWitness->getSelfInterfaceType();
-
-          auto *origParamTy = cast<GenericTypeParamType>(type);
-          auto *substParamTy = GenericTypeParamType::get(
-              origParamTy->getDepth() - 1,
-              origParamTy->getIndex(),
-              ctx);
-
-          return substParamTy;
-        },
-        [&](CanType origType, Type replacementType, ProtocolType *protoType)
-            -> Optional<ProtocolConformanceRef> {
-          assert(!origType->isEqual(selfType));
-
-          return ProtocolConformanceRef(protoType->getDecl());
-        });
-
-    baseSubMap = witnessThunkToWitnessMap.subst(baseSubMap);
-  }
-
   return SubstitutionMap::combineSubstitutionMaps(
       baseSubMap,
       origSubMap,
@@ -873,40 +807,24 @@ getWitnessMethodSubstitutions(
       witnessThunkSig);
 }
 
-static ClassDecl *
-getWitnessMethodClass(SILFunctionType *witnessFnTy, ModuleDecl &M) {
-  auto selfTy = witnessFnTy->getSelfInstanceType();
-  auto genericSig = witnessFnTy->getGenericSignature();
-  if (auto paramTy = dyn_cast<GenericTypeParamType>(selfTy)) {
-    auto superclass = genericSig->getSuperclassBound(paramTy, M);
-    if (superclass)
-      return superclass->getClassOrBoundGenericClass();
-  }
-
-  return nullptr;
-}
-
 static SubstitutionMap
 getWitnessMethodSubstitutions(SILModule &Module, ApplySite AI, SILFunction *F,
                               ProtocolConformanceRef CRef) {
-  auto witnessFnTy = F->getLoweredFunctionType();
-  assert(witnessFnTy->getRepresentation() ==
-         SILFunctionTypeRepresentation::WitnessMethod);
-
   auto requirementSig = AI.getOrigCalleeType()->getGenericSignature();
-  auto witnessThunkSig = witnessFnTy->getGenericSignature();
+  auto witnessThunkSig = F->getLoweredFunctionType()->getGenericSignature();
 
   SubstitutionList origSubs = AI.getSubstitutions();
 
-  auto *mod = Module.getSwiftModule();
   bool isDefaultWitness =
-    (witnessFnTy->getDefaultWitnessMethodProtocol(*mod)
-      == CRef.getRequirement());
-  auto *classWitness = getWitnessMethodClass(witnessFnTy, *mod);
+    F->getLoweredFunctionType()->getRepresentation()
+      == SILFunctionTypeRepresentation::WitnessMethod &&
+    F->getLoweredFunctionType()->getDefaultWitnessMethodProtocol(
+                                                     *Module.getSwiftModule())
+      == CRef.getRequirement();
 
   return getWitnessMethodSubstitutions(
-      mod, CRef, requirementSig, witnessThunkSig,
-      origSubs, isDefaultWitness, classWitness);
+      CRef, requirementSig, witnessThunkSig,
+      origSubs, isDefaultWitness);
 }
 
 /// Generate a new apply of a function_ref to replace an apply of a