Start working on for loops

verus-lang · Nov 15, 2023 · e936a5b · e936a5b
1 parent ace91ab
commit e936a5b
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/examples/wip.rs b/examples/wip.rs
@@ -1,7 +1,9 @@
 verus! {
 
-fn get<'a>(&'a self, k: &K) -> (o: Option<&'a V>) {
-    a
+fn test() {
+    for CKeyKV { k, v } in v {
+        res.insert(k, v);
+    }
 }
 
 } // verus!