Fix wildcard type annotation (#11)

This should fix #10. I added a small test, which passes for me.
verus-lang · Nov 11, 2023 · c021b73 · c021b73
2 parents 73910ea + e3c4e5e
commit c021b73
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 2 deletions.
diff --git a/src/verus.pest b/src/verus.pest
@@ -516,7 +516,7 @@ extern_crate = {
 }
 
 rename = {
-    as_str ~ (name | "_")
+    as_str ~ (name | underscore_str)
 }
 
 use = {
@@ -1213,7 +1213,7 @@ slice_type = {
 }
 
 infer_type = {
-    "_"
+    underscore_str
 }
 
 fn_ptr_type = {

diff --git a/tests/rustfmt-tests.rs b/tests/rustfmt-tests.rs
@@ -354,3 +354,20 @@ use LongLongLongLongLongLongLongLongLongLongType as LongerLongLongLongLongLongLo
 "#;
     compare(file);
 }
+
+#[test]
+fn rust_wildcard_type_annotation() {
+    let file = r#"
+fn foo() {
+    let x: _ = bar();
+}
+
+fn blah() {
+let (temp_owl__x607, Tracked(itree)): ( _
+, Tracked<ITreeToken<(Seq<u8>, state_Initiator), Endpoint>> ) = { baz(); };
+}
+"#;
+    compare(file);
+
+}
+