test: add a test to contrain if expr

2024-09-20 15:27:45 +03:00 · 2021-05-28 12:57:45 -04:00 · 2021-05-28 12:57:45 -04:00 · 4739b5db91
commit 4739b5db91
parent 6f9e64f2ea
1 changed files with 12 additions and 0 deletions
--- a/editor/tests/solve_expr2.rs
+++ b/editor/tests/solve_expr2.rs
@ -274,3 +274,15 @@ fn constrain_access() {
        "Str",
    )
 }
+
+#[test]
+fn constrain_if() {
+    infer_eq(
+        indoc!(
+            r#"
+            if True then Green else Red
+            "#
+        ),
+        "[ Green, Red ]*",
+    )
+}