Add tests for intersections

voyd-lang · Sep 21, 2024 · 1350163 · 1350163
1 parent 0c2a7cc
commit 1350163
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/src/__tests__/compiler.test.ts b/src/__tests__/compiler.test.ts
@@ -56,6 +56,7 @@ describe("E2E Compiler Pipeline", () => {
       82,
       3,
       42,
+      2, // IntersectionType tests
     ]);
   });
 

diff --git a/src/__tests__/fixtures/e2e-file.ts b/src/__tests__/fixtures/e2e-file.ts
@@ -209,6 +209,18 @@ pub fn test17()
   match(x)
     Some<i32>: x.value
     None: -1
+
+obj Animal { age: i32 }
+obj Insect extends Animal { age: i32, legs: i32 }
+obj Mammal extends Animal { age: i32, legs: i32 }
+
+fn get_legs(a: Animal & { legs: i32 }) -> i32
+  a.legs
+
+// Test intersection types
+pub fn test18() -> i32
+  let human = Mammal { age: 10, legs: 2 }
+  get_legs(human)
 `;
 
 export const tcoText = `