From 41c0fb1d6fc0aef93ad2f51fd1eab8069fc7abc1 Mon Sep 17 00:00:00 2001
From: dimgigov <gigov@gigov.org>
Date: Tue, 9 Jun 2026 17:32:21 +0300
Subject: [PATCH] feat(selfhost): double mutable borrow detection in @[Checked]
 functions

Detect when the same variable is passed as &mut argument twice
in a single function call (e.g. Swap(&x, &x)) inside checked functions.
Matches bootstrap sema.nim behavior (lines 1078-1089).
---
 src/sema.bux | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)

diff --git a/src/sema.bux b/src/sema.bux
index 0c59df4..6a7afe2 100644
--- a/src/sema.bux
+++ b/src/sema.bux
@@ -388,6 +388,34 @@ func Sema_CheckExpr(sema: *Sema, expr: *Expr) -> int {
             discard Sema_CheckExpr(sema, arg.expr);
             arg = arg.next;
         }
+        // Borrow check: reject double mutable borrow in @[Checked] functions
+        if sema.checkedFunc {
+            var a: *ExprList = expr.callArgs;
+            var ai: int = 0;
+            while a != null as *ExprList {
+                if a.expr != null as *Expr && a.expr.kind == ekUnary && a.expr.intValue == tkAmp {
+                    if a.expr.child1 != null as *Expr && a.expr.child1.kind == ekIdent {
+                        let name1: String = a.expr.child1.strValue;
+                        var b: *ExprList = a.next;
+                        var bi: int = ai + 1;
+                        while b != null as *ExprList {
+                            if b.expr != null as *Expr && b.expr.kind == ekUnary && b.expr.intValue == tkAmp {
+                                if b.expr.child1 != null as *Expr && b.expr.child1.kind == ekIdent {
+                                    if String_Eq(name1, b.expr.child1.strValue) {
+                                        Sema_EmitError(sema, expr.line, expr.column,
+                                            String_Concat("mutable borrow conflict: multiple &mut references to '", String_Concat(name1, "'")));
+                                    }
+                                }
+                            }
+                            b = b.next;
+                            bi = bi + 1;
+                        }
+                    }
+                }
+                a = a.next;
+                ai = ai + 1;
+            }
+        }
         // Indirect call through function-typed value
         if calleeType == tyFunc {
             if expr.child1.refType != null as *TypeExpr && expr.child1.refType.kind == tekFunc {