.github/workflows/ci.yml

@@ -36,6 +36,11 @@ jobs:
       - run: cargo test
         env:
           RUSTFLAGS: ${{env.RUSTFLAGS}} ${{matrix.rust == 'nightly' && '--cfg exhaustive' || ''}}
+      - uses: actions/upload-artifact@v4
+        if: matrix.rust == 'nightly' && always()
+        with:
+          name: Cargo.lock
+          path: Cargo.lock
 
   examples:
     name: Examples

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "prettyplease"
-version = "0.2.21"
+version = "0.2.22"
 authors = ["David Tolnay <dtolnay@gmail.com>"]
 autoexamples = false
 categories = ["development-tools"]

src/generics.rs

@@ -151,13 +151,19 @@ impl Printer {
     #[cfg(feature = "verbatim")]
     fn type_param_bound_verbatim(&mut self, tokens: &TokenStream) {
         use syn::parse::{Parse, ParseStream, Result};
-        use syn::{parenthesized, token, Token};
+        use syn::{parenthesized, token, Ident, Lifetime, Token};
 
         enum TypeParamBoundVerbatim {
             Ellipsis,
+            PreciseCapture(Vec<Capture>),
             TildeConst(TraitBound),
         }
 
+        enum Capture {
+            Lifetime(Lifetime),
+            Type(Ident),
+        }
+
         impl Parse for TypeParamBoundVerbatim {
             fn parse(input: ParseStream) -> Result<Self> {
                 let content;
@@ -167,7 +173,33 @@ impl Printer {
                     (None, input)
                 };
                 let lookahead = content.lookahead1();
-                if lookahead.peek(Token![~]) {
+                if lookahead.peek(Token![use]) {
+                    input.parse::<Token![use]>()?;
+                    input.parse::<Token![<]>()?;
+                    let mut captures = Vec::new();
+                    loop {
+                        let lookahead = input.lookahead1();
+                        captures.push(if lookahead.peek(Lifetime) {
+                            input.parse().map(Capture::Lifetime)?
+                        } else if lookahead.peek(Ident) {
+                            input.parse().map(Capture::Type)?
+                        } else if lookahead.peek(Token![>]) {
+                            break;
+                        } else {
+                            return Err(lookahead.error());
+                        });
+                        let lookahead = input.lookahead1();
+                        if lookahead.peek(Token![,]) {
+                            input.parse::<Token![,]>()?;
+                        } else if lookahead.peek(Token![>]) {
+                            break;
+                        } else {
+                            return Err(lookahead.error());
+                        }
+                    }
+                    input.parse::<Token![>]>()?;
+                    Ok(TypeParamBoundVerbatim::PreciseCapture(captures))
+                } else if lookahead.peek(Token![~]) {
                     content.parse::<Token![~]>()?;
                     content.parse::<Token![const]>()?;
                     let mut bound: TraitBound = content.parse()?;
@@ -191,6 +223,19 @@ impl Printer {
             TypeParamBoundVerbatim::Ellipsis => {
                 self.word("...");
             }
+            TypeParamBoundVerbatim::PreciseCapture(captures) => {
+                self.word("use<");
+                for capture in captures.iter().delimited() {
+                    match *capture {
+                        Capture::Lifetime(lifetime) => self.lifetime(lifetime),
+                        Capture::Type(ident) => self.ident(ident),
+                    }
+                    if !capture.is_last {
+                        self.word(", ");
+                    }
+                }
+                self.word(">");
+            }
             TypeParamBoundVerbatim::TildeConst(trait_bound) => {
                 let tilde_const = true;
                 self.trait_bound(&trait_bound, tilde_const);

src/lib.rs

@@ -320,7 +320,7 @@
 //! these situations with conditional punctuation tokens whose selection can be
 //! deferred and populated after it's known that the group is or is not broken.
 
-#![doc(html_root_url = "https://docs.rs/prettyplease/0.2.21")]
+#![doc(html_root_url = "https://docs.rs/prettyplease/0.2.22")]
 #![allow(
     clippy::cast_possible_wrap,
     clippy::cast_sign_loss,