v0.37.0

Author: aDotInTheVoid

CHANGELOG.md

@@ -1,3 +1,14 @@
+<a name="v0.37.0"></a>
+# [v0.37.0](https://github.com/rust-lang/rustdoc-types/releases/tag/v0.37.0) - 2025-03-14
+
+**Breaking Change**: Change `GenericBound::Use` from `Vec<String>` to
+`Vec<PreciseCapturingArg>`, a new enum
+([rust#138109](https://github.com/rust-lang/rust/pull/138109)).
+
+- Format Version: 41
+- Upstream Commit: [`112f7b01a1b25035cd8b288d6936c6be48a3d845`](https://github.com/rust-lang/rust/commit/112f7b01a1b25035cd8b288d6936c6be48a3d845)
+- Diff: [v0.36.0...v0.37.0](https://github.com/rust-lang/rustdoc-types/compare/v0.36.0...v0.37.0)
+
 <a name="v0.36.0"></a>
 # [v0.36.0](https://github.com/rust-lang/rustdoc-types/releases/tag/v0.36.0) - 2025-02-26
 

COMMIT.txt

@@ -1 +1 @@
-f321f107e3af37996ac6cca74294d581f2fb20e7
+112f7b01a1b25035cd8b288d6936c6be48a3d845

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "rustdoc-types"
-version = "0.36.0"
+version = "0.37.0"
 edition = "2018"
 license = "MIT OR Apache-2.0"
 description = "Types for rustdoc's json output"

src/lib.rs

@@ -29,7 +29,7 @@ use serde::{Deserialize, Serialize};
 /// This integer is incremented with every breaking change to the API,
 /// and is returned along with the JSON blob as [`Crate::format_version`].
 /// Consuming code should assert that this value matches the format version(s) that it supports.
-pub const FORMAT_VERSION: u32 = 40;
+pub const FORMAT_VERSION: u32 = 41;
 
 /// The root of the emitted JSON blob.
 ///
@@ -908,7 +908,7 @@ pub enum GenericBound {
     /// ```
     Outlives(String),
     /// `use<'a, T>` precise-capturing bound syntax
-    Use(Vec<String>),
+    Use(Vec<PreciseCapturingArg>),
 }
 
 /// A set of modifiers applied to a trait.
@@ -926,6 +926,22 @@ pub enum TraitBoundModifier {
     MaybeConst,
 }
 
+/// One precise capturing argument. See [the rust reference](https://doc.rust-lang.org/reference/types/impl-trait.html#precise-capturing).
+#[derive(Clone, Debug, PartialEq, Eq, Hash, Serialize, Deserialize)]
+#[serde(rename_all = "snake_case")]
+pub enum PreciseCapturingArg {
+    /// A lifetime.
+    /// ```rust
+    /// pub fn hello<'a, T, const N: usize>() -> impl Sized + use<'a, T, N> {}
+    /// //                                                        ^^
+    Lifetime(String),
+    /// A type or constant parameter.
+    /// ```rust
+    /// pub fn hello<'a, T, const N: usize>() -> impl Sized + use<'a, T, N> {}
+    /// //                                                            ^  ^
+    Param(String),
+}
+
 /// Either a type or a constant, usually stored as the right-hand side of an equation in places like
 /// [`AssocItemConstraint`]
 #[derive(Clone, Debug, PartialEq, Eq, Hash, Serialize, Deserialize)]