Added test case for function parameter shadowing a constant.

src/interpreter.ts

@@ -1066,6 +1066,17 @@ export class Interpreter {
         const paramNames = functionCode.params.map((param) =>
             idText(param.name),
         );
+        // Check parameter names do not shadow constants
+        if (
+            paramNames.some((paramName) =>
+                hasStaticConstant(this.context, paramName),
+            )
+        ) {
+            throwInternalCompilerError(
+                `some parameter of function ${idText(functionCode.name)} shadows a constant with the same name`,
+                functionCode.loc,
+            );
+        }
         // Call function inside a new environment
         return this.envStack.executeInNewEnvironment(
             () => {

src/test/compilation-failed/const-eval-failed.spec.ts

@@ -169,4 +169,9 @@ describe("fail-const-eval", () => {
         errorMessage:
             "[INTERNAL COMPILER ERROR]: declaration of C shadows a constant with the same name",
     });
+    itShouldNotCompile({
+        testName: "const-eval-constant-shadowing-in-fun-argument",
+        errorMessage:
+            "[INTERNAL COMPILER ERROR]: some parameter of function shadowingFunction shadows a constant with the same name",
+    });
 });

src/test/compilation-failed/contracts/const-eval-constant-shadowing-in-fun-argument.tact

@@ -0,0 +1,11 @@
+const C: Int = 0;
+
+fun shadowingFunction(C: Int): Int {
+    return C;
+}
+
+contract ConstEvalNegativeTest {
+    get fun something(): Int {
+        return shadowingFunction(2);
+    }
+}

src/test/compilation-failed/contracts/const-eval-constant-shadowing-in-fun.tact

@@ -0,0 +1,12 @@
+const C: Int = 0;
+
+fun shadowingFunction(): Int {
+    let C: Int = 3;
+    return C;
+}
+
+contract ConstEvalNegativeTest {
+    get fun something(): Int {
+        return shadowingFunction();
+    }
+}

src/test/compilation-failed/tact.config.json

@@ -191,6 +191,11 @@
       "name": "const-eval-constant-shadowing-in-fun",
       "path": "./contracts/const-eval-constant-shadowing-in-fun.tact",
       "output": "./contracts/output"
+    },
+    {
+      "name": "const-eval-constant-shadowing-in-fun-argument",
+      "path": "./contracts/const-eval-constant-shadowing-in-fun-argument.tact",
+      "output": "./contracts/output"
     }
   ]
 }