wip: fix update comments

Author: elsakeirouz

lib/Sema/TypeCheckStmt.cpp

@@ -3493,8 +3493,6 @@ static BraceStmt *desugarForEachStmt(ForEachStmt* stmt){
   Expr *makeIteratorCall =
         CallExpr::createImplicitEmpty(ctx, makeIteratorRef);
 
-  // FIXME: commenting this out "fixes" a redundant visit of the sequence's init
-  // expr. We need to investigate this.
   // Swap in the 'unsafe' expression.
   if (unsafeExpr) {
     unsafeExpr = UnsafeExpr::createImplicit(ctx, unsafeExpr->getUnsafeLoc(), makeIteratorCall);
@@ -3596,31 +3594,10 @@ static BraceStmt *desugarForEachStmt(ForEachStmt* stmt){
       nullptr, /*implicit*/ true, ctx);
   }
 
+  // FIXME: do we need to do anything extra here or elseswhere if the for each
+  // stmt is async?
   auto* whileStmt = new (ctx) WhileStmt(stmt->getLabelInfo(), SourceLoc(), ctx.AllocateCopy(cond), whileBody, true);
 
-  /*
-  // IF BORROWING:
-  // condition is an array of StmtConditionElements
-  // We want to reuse the pattern for the for loop
-  // the borrow $x
-  // Contextual Type of the pattern can be used to
-  // case let = BindingPattern used for ConditionalPatternBindingInfo
-  // BindingPattern + NamedPattern  = condition
-  SmallVector<StmtConditionElement, 2> Cond;
-  auto spanVar = new (ctx) VarDecl(false,
-                                     VarDecl::Introducer::Let,
-                                     SourceLoc()
-                                    , ctx.getIdentifier("span")
-                                    , nullptr); 
-  spanVar->setImplicit();
-  // FIXME: rename variable
-  // Why do we need things to be Implicit? Do we even?
-  auto *spanVarPattern= NamedPattern::createImplicit(ctx, spanVar, nextCall->getType());
-  auto *let =
-      BindingPattern::createImplicit(ctx, VarDecl::Introducer::Let, spanVarPattern);
-  Cond.emplace_back(let);
-  auto spanIsEmptyExpr = new (ctx) Expr();*/
-
   SmallVector<ASTNode, 2> stmts;
   stmts.push_back(PB);
   stmts.push_back(whileStmt);