Add a regression test

verus-lang · Dec 29, 2023 · a1da3d8 · a1da3d8
1 parent 13281b9
commit a1da3d8
Showing 1 changed file with 28 additions and 0 deletions.
diff --git a/tests/verus-consistency.rs b/tests/verus-consistency.rs
@@ -1312,3 +1312,31 @@ exec static LAZY_X: Lazy<X> ensures LAZY_X.wf() { Lazy::<X>::new() }
     } // verus!
     "###);
 }
+
+#[test]
+fn verus_requires_clauses_confusable_with_generics() {
+    // Regression test for https://github.com/jaybosamiya/verusfmt/issues/19
+    let file = r#"
+verus! {
+
+fn test()
+    requires i < 0, len > 0,
+{
+}
+
+} // verus!
+"#;
+
+    assert_snapshot!(parse_and_format(file).unwrap(), @r###"
+    verus! {
+
+    fn test()
+        requires
+            i < 0,
+            len > 0,
+    {
+    }
+
+    } // verus!
+    "###);
+}