RequirementMachine: Remove unused method

Author: slavapestov

lib/AST/RequirementMachine/RewriteSystem.cpp

@@ -79,18 +79,6 @@ void RewriteSystem::initialize(
     addRule(rule.first, rule.second);
 }
 
-Symbol RewriteSystem::simplifySubstitutionsInSuperclassOrConcreteSymbol(
-    Symbol symbol) const {
-  return symbol.transformConcreteSubstitutions(
-    [&](Term term) -> Term {
-      MutableTerm mutTerm(term);
-      if (!simplify(mutTerm))
-        return term;
-
-      return Term::get(mutTerm, Context);
-    }, Context);
-}
-
 /// Adds a rewrite rule, returning true if the new rule was non-trivial.
 ///
 /// If both sides simplify to the same term, the rule is trivial and discarded,

lib/AST/RequirementMachine/RewriteSystem.h

@@ -366,8 +366,6 @@ class RewriteSystem final {
                   std::vector<std::pair<MutableTerm, MutableTerm>> &&requirementRules,
                   ProtocolGraph &&protos);
 
-  Symbol simplifySubstitutionsInSuperclassOrConcreteSymbol(Symbol symbol) const;
-
   unsigned getRuleID(const Rule &rule) const {
     assert((unsigned)(&rule - &*Rules.begin()) < Rules.size());
     return (unsigned)(&rule - &*Rules.begin());