test: 补解构赋值写被捕获顶层 let 落 cell 回归钉

Cargo.lock

@@ -1095,7 +1095,7 @@ dependencies = [
 
 [[package]]
 name = "oxide_builtins"
-version = "0.8.17"
+version = "0.8.18"
 dependencies = [
  "chrono",
  "fast-float",
@@ -1120,7 +1120,7 @@ dependencies = [
 
 [[package]]
 name = "oxide_bytecode"
-version = "0.8.17"
+version = "0.8.18"
 dependencies = [
  "num-bigint",
  "oxide_log",
@@ -1128,7 +1128,7 @@ dependencies = [
 
 [[package]]
 name = "oxide_cfg"
-version = "0.8.17"
+version = "0.8.18"
 dependencies = [
  "oxide_bytecode",
  "oxide_emit",
@@ -1139,7 +1139,7 @@ dependencies = [
 
 [[package]]
 name = "oxide_cli"
-version = "0.8.17"
+version = "0.8.18"
 dependencies = [
  "ansi_term",
  "bumpalo",
@@ -1159,7 +1159,7 @@ dependencies = [
 
 [[package]]
 name = "oxide_code_cache"
-version = "0.8.17"
+version = "0.8.18"
 dependencies = [
  "lru",
  "oxide_bytecode",
@@ -1168,7 +1168,7 @@ dependencies = [
 
 [[package]]
 name = "oxide_compiler"
-version = "0.8.17"
+version = "0.8.18"
 dependencies = [
  "oxide_bytecode",
  "oxide_cfg",
@@ -1187,7 +1187,7 @@ dependencies = [
 
 [[package]]
 name = "oxide_dce"
-version = "0.8.17"
+version = "0.8.18"
 dependencies = [
  "oxide_bytecode",
  "oxide_cfg",
@@ -1201,7 +1201,7 @@ dependencies = [
 
 [[package]]
 name = "oxide_emit"
-version = "0.8.17"
+version = "0.8.18"
 dependencies = [
  "num-bigint",
  "oxc_allocator",
@@ -1216,7 +1216,7 @@ dependencies = [
 
 [[package]]
 name = "oxide_ir"
-version = "0.8.17"
+version = "0.8.18"
 dependencies = [
  "oxide_bytecode",
  "oxide_log",
@@ -1225,7 +1225,7 @@ dependencies = [
 
 [[package]]
 name = "oxide_kernel"
-version = "0.8.17"
+version = "0.8.18"
 dependencies = [
  "bumpalo",
  "dashmap",
@@ -1240,7 +1240,7 @@ dependencies = [
 
 [[package]]
 name = "oxide_liveness"
-version = "0.8.17"
+version = "0.8.18"
 dependencies = [
  "oxide_bytecode",
  "oxide_cfg",
@@ -1252,7 +1252,7 @@ dependencies = [
 
 [[package]]
 name = "oxide_log"
-version = "0.8.17"
+version = "0.8.18"
 dependencies = [
  "tracing",
  "tracing-appender",
@@ -1261,7 +1261,7 @@ dependencies = [
 
 [[package]]
 name = "oxide_parser"
-version = "0.8.17"
+version = "0.8.18"
 dependencies = [
  "oxc_allocator",
  "oxc_ast",
@@ -1276,7 +1276,7 @@ dependencies = [
 
 [[package]]
 name = "oxide_regalloc"
-version = "0.8.17"
+version = "0.8.18"
 dependencies = [
  "oxide_bytecode",
  "oxide_cfg",
@@ -1292,7 +1292,7 @@ dependencies = [
 
 [[package]]
 name = "oxide_runtime_api"
-version = "0.8.17"
+version = "0.8.18"
 dependencies = [
  "num-bigint",
  "num-traits",
@@ -1304,7 +1304,7 @@ dependencies = [
 
 [[package]]
 name = "oxide_test262"
-version = "0.8.17"
+version = "0.8.18"
 dependencies = [
  "oxide_bytecode",
  "oxide_compiler",
@@ -1321,7 +1321,7 @@ dependencies = [
 
 [[package]]
 name = "oxide_types"
-version = "0.8.17"
+version = "0.8.18"
 dependencies = [
  "bumpalo",
  "hashbrown 0.14.5",
@@ -1333,7 +1333,7 @@ dependencies = [
 
 [[package]]
 name = "oxide_vm"
-version = "0.8.17"
+version = "0.8.18"
 dependencies = [
  "bumpalo",
  "chrono",

Cargo.toml

@@ -22,7 +22,7 @@ members = [
 ]
 
 [workspace.package]
-version = "0.8.17"
+version = "0.8.18"
 edition = "2021"
 license = "MIT"
 rust-version = "1.80"

crates/oxide_vm/tests/tdz_upvalue_capture_tests.rs

@@ -286,3 +286,44 @@ fn typeof_captured_top_let_after_decl() {
         "typeof on a captured top-level let after initialization reports number"
     );
 }
+
+// ── 解构赋值写被捕获顶层 let：标识符目标写须落 cell，闭包读新值 ──
+
+#[test]
+fn captured_top_let_array_destructuring_assign() {
+    // 数组解构标识符目标：写只落寄存器而 cell 不更新时，闭包读旧值，此处判红。
+    assert_eq!(
+        eval("let x = 1; function f() { return x; } [x] = [2]; f() === 2 && x === 2"),
+        "true",
+        "array destructuring assignment to a captured top-level let updates the cell"
+    );
+}
+
+#[test]
+fn captured_top_let_object_destructuring_assign() {
+    assert_eq!(
+        eval("let x = 1; function f() { return x; } ({x} = {x: 3}); f() === 3 && x === 3"),
+        "true",
+        "object destructuring assignment to a captured top-level let updates the cell"
+    );
+}
+
+#[test]
+fn captured_top_let_destructuring_default_assign() {
+    // 默认值路径：元素为 undefined 触发默认值，写同样须落 cell。
+    assert_eq!(
+        eval("let x = 1; function f() { return x; } [x = 9] = [undefined]; f() === 9 && x === 9"),
+        "true",
+        "destructuring assignment with a default value to a captured top-level let updates the cell"
+    );
+}
+
+#[test]
+fn captured_top_let_rest_destructuring_assign() {
+    // rest 元素须为末位，标识符目标在 rest 前：写落 cell 的判别与主形同。
+    assert_eq!(
+        eval("let x = 1; function f() { return x; } [x, ...r] = [1, 2]; f() === 1 && x === 1"),
+        "true",
+        "rest destructuring assignment to a captured top-level let updates the cell"
+    );
+}