From d057bcd35d66e1077dd682304b131552fe8b2634 Mon Sep 17 00:00:00 2001
From: Ziyang Hu <hu.ziyang@cantab.net>
Date: Tue, 9 May 2023 12:25:28 +0800
Subject: [PATCH] More tests for corner cases

---
 cozo-core/src/runtime/tests.rs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/cozo-core/src/runtime/tests.rs b/cozo-core/src/runtime/tests.rs
index d2e3e78d..fc33491f 100644
--- a/cozo-core/src/runtime/tests.rs
+++ b/cozo-core/src/runtime/tests.rs
@@ -1174,4 +1174,9 @@ fn parser_corner_case() {
     .unwrap();
     db.run_script(r#"?[k] := k in int_range(300)"#, Default::default())
         .unwrap();
+    db.run_script(
+        r#"ywcc[a] <- [[1]] noto[A] := ywcc[A] ?[A] := noto[A]"#,
+        Default::default(),
+    )
+    .unwrap();
 }