Add some more pattern matching tests.

Author: tritao

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

@@ -1,4 +1,14 @@
+[[package]]
+name = 'core'
+source = 'path+from-root-8F0E3A0B953247F5'
+dependencies = []
+
 [[package]]
 name = 'match_expressions_rest'
 source = 'root'
-dependencies = []
+dependencies = ['std']
+
+[[package]]
+name = 'std'
+source = 'git+https://github.com/fuellabs/sway?tag=v0.16.0#948f7aba42b4138433fb5b61c698c8f4a60db424'
+dependencies = ['core']

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

@@ -3,4 +3,4 @@ authors = ["Fuel Labs <[email protected]>"]
 license = "Apache-2.0"
 name = "match_expressions_rest"
 entry = "main.sw"
-implicit-std = false
+implicit-std = true

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

@@ -5,6 +5,23 @@ struct Point {
   y: u64
 }
 
+struct Point3D {
+  x: u64,
+  y: u64,
+  z: u64
+}
+
+struct Line {
+    p1: Point,
+    p2: Point
+}
+
+enum Kind {
+    Point: Point,
+    Point3D: Point3D,
+    Line: Line
+}
+
 fn main() -> u64 {
     let p = Point {
         x: 1u64,
@@ -15,5 +32,35 @@ fn main() -> u64 {
         Point { x, .. } => { x },
     };
 
+    let p2 = Point3D {
+        x: 1u64,
+        y: 2u64,
+        z: 3u64,
+    };
+
+    match p2 {
+        Point3D { x, .. } => { x },
+    };
+
+    let l = Line { p1: p, p2: p };
+
+    match l {
+        Line { p1, .. } => {}
+    }
+
+    match l {
+        Line { p1: Point { .. }, p2: Point { .. } } => {}
+    }
+
+    let k = Kind::Point(p);
+
+    match k {
+        Kind::Point(Point { x, .. }) => {},
+        Kind::Point3D(Point3D { z, .. }) => {},
+        Kind::Line(Line { p1: Point { .. }, p2: Point { .. } }) => {},
+    }
+
+    let a = [p, p];
+
     0
 }