Add support for the rename item (#7)

This PR adds support for the rename item, which allows use crate as _ (importing the crate without importing its name).
verus-lang · Nov 10, 2023 · 73910ea · 73910ea
1 parent 223251c
commit 73910ea
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/src/lib.rs b/src/lib.rs
@@ -543,7 +543,7 @@ fn to_doc<'a>(
         Rule::module => unsupported(pair),
         Rule::item_list => unsupported(pair),
         Rule::extern_crate => unsupported(pair),
-        Rule::rename => unsupported(pair),
+        Rule::rename => map_to_doc(ctx, arena, pair),
         Rule::r#use => map_to_doc(ctx, arena, pair),
         Rule::use_tree => map_to_doc(ctx, arena, pair),
         Rule::use_tree_list => comma_delimited(ctx, arena, pair).braces().group(),

diff --git a/tests/rustfmt-tests.rs b/tests/rustfmt-tests.rs
@@ -345,3 +345,12 @@ type NoSpaceTypeA=NoSpaceTypeB;
 "#;
     compare(file);
 }
+
+#[test]
+fn rust_rename() {
+    let file = r#"
+use crate::parse_serialize::View as _;
+use LongLongLongLongLongLongLongLongLongLongType as LongerLongLongLongLongLongLongLongLongLongLongType;
+"#;
+    compare(file);
+}