SILType: remove the now obsolete aggregateContainsRecord function

Author: eeckstein

include/swift/SIL/SILType.h

@@ -786,10 +786,6 @@ class SILType {
   /// representation. Class existentials do not always qualify.
   bool isHeapObjectReferenceType() const;
 
-  /// Returns true if this SILType is an aggregate that contains \p Ty
-  bool aggregateContainsRecord(SILType Ty, SILModule &SILMod,
-                               TypeExpansionContext context) const;
-
   /// Returns true if this SILType is an aggregate with unreferenceable storage,
   /// meaning it cannot be fully destructured in SIL.
   bool aggregateHasUnreferenceableStorage() const;

lib/SIL/IR/SILType.cpp

@@ -477,56 +477,6 @@ bool SILType::isHeapObjectReferenceType() const {
   return false;
 }
 
-bool SILType::aggregateContainsRecord(SILType Record, SILModule &Mod,
-                                      TypeExpansionContext context) const {
-  assert(!hasArchetype() && "Agg should be proven to not be generic "
-                             "before passed to this function.");
-  assert(!Record.hasArchetype() && "Record should be proven to not be generic "
-                                    "before passed to this function.");
-
-  llvm::SmallVector<SILType, 8> Worklist;
-  Worklist.push_back(*this);
-
-  // For each "subrecord" of agg in the worklist...
-  while (!Worklist.empty()) {
-    SILType Ty = Worklist.pop_back_val();
-
-    // If it is record, we succeeded. Return true.
-    if (Ty == Record)
-      return true;
-
-    // Otherwise, we gather up sub-records that need to be checked for
-    // checking... First handle the tuple case.
-    if (CanTupleType TT = Ty.getAs<TupleType>()) {
-      for (unsigned i = 0, e = TT->getNumElements(); i != e; ++i)
-        Worklist.push_back(Ty.getTupleElementType(i));
-      continue;
-    }
-
-    // Then if we have an enum...
-    if (EnumDecl *E = Ty.getEnumOrBoundGenericEnum()) {
-      for (auto Elt : E->getAllElements())
-        if (Elt->hasAssociatedValues())
-          Worklist.push_back(Ty.getEnumElementType(Elt, Mod, context));
-      continue;
-    }
-
-    // Then if we have a struct address...
-    if (StructDecl *S = Ty.getStructOrBoundGenericStruct())
-      for (VarDecl *Var : S->getStoredProperties())
-        Worklist.push_back(Ty.getFieldType(Var, Mod, context));
-
-    // If we have a class address, it is a pointer so it cannot contain other
-    // types.
-
-    // If we reached this point, then this type has no subrecords. Since it does
-    // not equal our record, we can skip it.
-  }
-
-  // Could not find the record in the aggregate.
-  return false;
-}
-
 bool SILType::aggregateHasUnreferenceableStorage() const {
   if (auto s = getStructOrBoundGenericStruct()) {
     return s->hasUnreferenceableStorage();