feat: struct destructuring

test/src/e2e_vm_tests/test_programs/should_pass/language/nested_struct_destructuring/Forc.lock

@@ -0,0 +1,9 @@
+[[package]]
+name = 'core'
+source = 'path+from-root-F93ECA3248F311E3'
+dependencies = []
+
+[[package]]
+name = 'struct_destructuring'
+source = 'root'
+dependencies = ['core']

test/src/e2e_vm_tests/test_programs/should_pass/language/nested_struct_destructuring/Forc.toml

@@ -0,0 +1,8 @@
+[project]
+authors = ["Fuel Labs <contact@fuel.sh>"]
+entry = "main.sw"
+license = "Apache-2.0"
+name = "struct_destructuring"
+
+[dependencies]
+core = { path = "../../../../../../../sway-lib-core" }

test/src/e2e_vm_tests/test_programs/should_pass/language/nested_struct_destructuring/json_abi_oracle.json

@@ -0,0 +1,15 @@
+[
+  {
+    "inputs": [],
+    "name": "main",
+    "outputs": [
+      {
+        "components": null,
+        "name": "",
+        "type": "u64",
+        "typeArguments": null
+      }
+    ],
+    "type": "function"
+  }
+]

test/src/e2e_vm_tests/test_programs/should_pass/language/nested_struct_destructuring/src/main.sw

@@ -0,0 +1,21 @@
+script;
+
+// Tests nested struct destructuring
+
+fn main() -> u64 {
+    let point1 = Point { x: 0, y: 0 };
+    let point2 = Point { x: 1, y: 1 };
+    let line = Line { p1: point1, p2: point2 };
+    let Line { p1: Point { x: x0, y: y0 }, p2: Point { x: x1, y: y1} } = line;
+    x0
+}
+
+struct Point {
+    x: u64,
+    y: u64,
+}
+
+struct Line {
+    p1: Point,
+    p2: Point,
+}

test/src/e2e_vm_tests/test_programs/should_pass/language/nested_struct_destructuring/test.toml

@@ -0,0 +1,3 @@
+category = "run"
+expected_result = { action = "return", value = 0 }
+validate_abi = true