feat: Add test

tact-lang · Mar 31, 2024 · 1f783dc · 1f783dc
1 parent 40813c0
commit 1f783dc
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 0 deletions.
diff --git a/src/types/__snapshots__/resolveDescriptors.spec.ts.snap b/src/types/__snapshots__/resolveDescriptors.spec.ts.snap
@@ -248,6 +248,16 @@ Line 15, col 3:
 "
 `;
 
+exports[`resolveDescriptors should fail descriptors for case-25 1`] = `
+"<unknown>:8:21: Cannot evaluate constant expression due to integer overflow
+Line 8, col 21:
+  7 | 
+> 8 | const a: Int = 1 + (1 >> -1073741824);
+                          ^~~~~~~~~~~~~~~~
+  9 | 
+"
+`;
+
 exports[`resolveDescriptors should resolve descriptors for case-0 1`] = `
 {
   "BaseTrait": {

diff --git a/src/types/test-failed/case-25.tact b/src/types/test-failed/case-25.tact
@@ -0,0 +1,8 @@
+primitive Int;
+primitive Bool;
+
+trait BaseTrait {
+
+}
+
+const a: Int = 1 + (1 >> -1073741824);