From 14c83a7c5ff5a288c8707a39154b42694c974a0d Mon Sep 17 00:00:00 2001
From: Krzosa Karol <krzosa.karol@gmail.com>
Date: Sat, 1 Apr 2023 20:57:44 +0200
Subject: [PATCH] Small Messages

---
 core_polymorph.cpp    | 2 +-
 core_typechecking.cpp | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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;
                         }
                     }