TODO: if-let

verus-lang · Dec 18, 2023 · 4d878b2 · 4d878b2
1 parent 6600daa
commit 4d878b2
Showing 1 changed file with 5 additions and 6 deletions.
diff --git a/examples/wip.rs b/examples/wip.rs
@@ -1,13 +1,12 @@
 verus! {
 
+// TODO: Need to add support for if-let https://doc.rust-lang.org/reference/expressions/if-expr.html
 fn test() {
-    loop
-        invariant
-            x > 0,
-    {
-        x += 1;
+    if let Result::Ok(val) = res {
+        0
+    } else {
+        1
     }
-
 }
 
 } // verus!