diff --git a/src/verus.pest b/src/verus.pest
index 28b8f89..9e2ad61 100644
--- 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
index 65715f3..0978a92 100644
--- 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);
+    
+}
+