From c8eb2071d8c835fdc8bf990ea49f042e268c1034 Mon Sep 17 00:00:00 2001
From: Asger F <asgerf@github.com>
Date: Thu, 2 Jul 2026 17:17:47 +0200
Subject: [PATCH] unified: Add tests with 'while let'

---
 .../test/library-tests/variables/test.swift   | 27 +++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/unified/ql/test/library-tests/variables/test.swift b/unified/ql/test/library-tests/variables/test.swift
index 7860c801fbe..4b96101bd4a 100644
--- a/unified/ql/test/library-tests/variables/test.swift
+++ b/unified/ql/test/library-tests/variables/test.swift
@@ -307,3 +307,30 @@ func t34() {
         print(x) // $ access=x2
     }
 }
+
+// While-let optional binding
+func t35(optional: Int?) { // name=optional1
+    while let x = optional { // $ access=optional1 // name=x1
+        print(x) // $ MISSING: access=x1
+    }
+}
+
+// While with a sequence of variable bindings in the condition
+func t36(a: Int?, b: Int?) {
+    while let x = a, // $ access=a
+          let y = b, // $ access=b
+          x < y { // $ $ access=x access=y
+        print(x) // $ MISSING: access=x
+        print(y) // $ MISSING: access=y
+    }
+}
+
+// While-let with a sequence of shadowing variable declarations
+func t37() {
+    let x = 1 // name=x1
+    while let x = x, // $ access=x1 // name=x2
+          let x = x, // $ access=x2 // name=x3
+          x > 0 { // $ access=x3
+        print(x) // $ MISSING: access=x3 SPURIOUS: access=x1
+    }
+}