More cleaning

src/Func.cpp

@@ -772,9 +772,9 @@ pair<ReductionDomain, SubstitutionMap> project_rdom(const vector<Dim> &dims, con
     // Compute the mapping of old dimensions to the projected RDom values.
     SubstitutionMap dim_projection{};
     SubstitutionMap dim_extent_alignment{};
-    for (const ReductionVariable &rv : rdom) {
-        add_let(dim_projection, rv.var, Variable::make(Int(32), rv.var));
-        dim_extent_alignment[rv.var] = rv.extent;
+    for (const auto &[var, _, extent] : rdom) {
+        add_let(dim_projection, var, Variable::make(Int(32), var));
+        dim_extent_alignment[var] = extent;
     }
     for (const Split &split : splits) {
         for (const auto &result : apply_split(split, "", dim_extent_alignment)) {
@@ -791,15 +791,15 @@ pair<ReductionDomain, SubstitutionMap> project_rdom(const vector<Dim> &dims, con
             case ApplySplitResult::SubstitutionInCalls:
             case ApplySplitResult::SubstitutionInProvides:
             case ApplySplitResult::BlendProvides:
-                // TODO: what to do here? BlendProvides is not included in the above checks.
+                // The lets returned by ApplySplit are sufficient
                 break;
             }
         }
     }
     for (auto &[_, e] : dim_projection) {
         e = substitute(bounds_projection, e);
     }
-    for (const ReductionVariable &rv : new_rdom.domain()) {
+    for (const auto &rv : new_rdom.domain()) {
         add_let(dim_projection, rv.var, Variable::make(Int(32), rv.var, new_rdom));
     }
 

test/error/rfactor_after_var_and_rvar_fusion.cpp

@@ -22,4 +22,4 @@ int main(int argc, char **argv) {
 
     printf("Success!\n");
     return 0;
-}
+}

test/error/rfactor_fused_var_and_rvar.cpp

@@ -23,4 +23,4 @@ int main(int argc, char **argv) {
 
     printf("Success!\n");
     return 0;
-}
+}