From 530bd3f46c2d132cb579463542eed842a8c5adbe Mon Sep 17 00:00:00 2001
From: Alex Reinking <areinking@adobe.com>
Date: Sun, 24 Nov 2024 09:52:29 -0500
Subject: [PATCH] Remove unused operators

---
 src/Func.cpp | 24 ++----------------------
 1 file changed, 2 insertions(+), 22 deletions(-)

diff --git a/src/Func.cpp b/src/Func.cpp
index 9b03c64aa5ae..6f2a10d36309 100644
--- a/src/Func.cpp
+++ b/src/Func.cpp
@@ -684,8 +684,7 @@ std::optional<std::string> rfactor_validate_args(const vector<pair<RVar, Var>> &
         is_rfactored.insert(*rv_dim);
 
         // Check that the new pure Vars we used to rename the RVar aren't already in the dims list
-        const auto &v_dim = find_by_var_name(dims, v);
-        if (v_dim) {
+        if (find_by_var_name(dims, v)) {
             std::stringstream s;
             s << "can't rename the rvars " << rv.name() << " into " << v.name()
               << ", since it is already used in this Func's schedule elsewhere.";
@@ -714,29 +713,10 @@ std::optional<std::string> rfactor_validate_args(const vector<pair<RVar, Var>> &
     return std::nullopt;
 }
 
-template<typename T>
-std::vector<T> &operator+=(std::vector<T> &base, const std::vector<T> &other) {
-    base.insert(base.end(), other.begin(), other.end());
-    return base;
-}
-
-template<typename T, typename U>
-std::vector<T> &operator+=(std::vector<T> &base, const std::vector<U> &other) {
-    std::copy(other.begin(), other.end(), std::back_inserter(base));
-    return base;
-}
-
-template<typename T>
-std::vector<T> operator+(const std::vector<T> &base, const std::vector<T> &other) {
-    std::vector<T> merged = base;
-    merged += other;
-    return merged;
-}
-
 template<typename T, typename U>
 std::vector<T> operator+(const std::vector<T> &base, const std::vector<U> &other) {
     std::vector<T> merged = base;
-    merged += other;
+    merged.insert(merged.end(), other.begin(), other.end());
     return merged;
 }