feat: prevent variable declaration from shadowing functions

src/types/__snapshots__/resolveStatements.spec.ts.snap

@@ -470,6 +470,16 @@ Line 4, col 1:
 "
 `;
 
+exports[`resolveStatements should fail statements for case-47 1`] = `
+"<unknown>:4:5: Variable shadows existing function: rec
+Line 4, col 5:
+  3 | fun rec(): Int {
+> 4 |     let rec: Int = 42;  // shadowing error
+          ^~~~~~~~~~~~~~~~~~
+  5 |     return rec;
+"
+`;
+
 exports[`resolveStatements should resolve statements for case-0 1`] = `
 [
   [

src/types/resolveStatements.ts

@@ -180,6 +180,11 @@ function processStatements(
                 );
             }
 
+            const staticFunction = getAllStaticFunctions(ctx);
+            if (Object.values(staticFunction).some((f) => f.name === s.name)) {
+                throwError(`Variable shadows existing function: ${s.name}`, s.ref);
+
+            }
             // Add variable to statement context
             if (sctx.vars.has(s.name)) {
                 throwError(`Variable already exists: ${s.name}`, s.ref);

src/types/stmts-failed/case-47.tact

@@ -0,0 +1,6 @@
+primitive Int;
+
+fun rec(): Int {
+    let rec: Int = 42;  // shadowing error
+    return rec;
+}