More tests for corner cases

1 year ago · d057bcd35d
parent 5b3533ef71
commit d057bcd35d
1 changed files with 5 additions and 0 deletions
--- 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();
 }