diff --git a/core_polymorph.cpp b/core_polymorph.cpp
index b677c53..002ad82 100644
--- a/core_polymorph.cpp
+++ b/core_polymorph.cpp
@@ -358,7 +358,7 @@ Ast_Decl *get_or_instantiate_polymorph_lambda(Token *pos, Ast_Decl *poly, Array<
             auto &it = result->lambda->args[i];
             if (it->flags & AST_IDENT_POLYMORPH) {
                 result->lambda->args.ordered_remove(it);
-                i -= 1;
+                i -= 1; // @verify: Need to pay attention if this is correct
             }
         }
 
diff --git a/core_typechecking.cpp b/core_typechecking.cpp
index 891449e..0361a6a 100644
--- a/core_typechecking.cpp
+++ b/core_typechecking.cpp
@@ -1700,7 +1700,7 @@ resolve_expr(Ast_Expr *ast, Resolve_Flag flags, Ast_Type *compound_and_const_str
                         Match &it = matches[i];
                         if (it.lambda_arg->flags & AST_POLYMORPH) {
                             replacements.add(it.call_arg);
-                            matches.ordered_remove(it);
+                            matches.ordered_remove(it); // @verify: Need to pay attention if this is correct
                             i -= 1;
                         }
                     }