about summary refs log tree commit diff
diff options
context:
space:
mode:
authorChris Denton <christophersdenton@gmail.com>2025-04-13 03:07:08 +0000
committerGitHub <noreply@github.com>2025-04-13 03:07:08 +0000
commitc3027182d19b4b3781eaf28b6e342ccd1f54a9e6 (patch)
tree583d5984f0104783640e3b8be610eb113b2fbd9e
parent34eca3b07c47a1f8d70a6ed4b07b28dc4e8cfece (diff)
parent83dd8a2c2a7d948e669adc7170dfc4bf0b76a873 (diff)
downloadrust-c3027182d19b4b3781eaf28b6e342ccd1f54a9e6.tar.gz
rust-c3027182d19b4b3781eaf28b6e342ccd1f54a9e6.zip
Rollup merge of #139708 - samueltardieu:push-onttwlpwurov, r=petrochenkov
Fix name of field in doc comment

Trivial doc fix
-rw-r--r--compiler/rustc_hir/src/hir.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_hir/src/hir.rs b/compiler/rustc_hir/src/hir.rs
index c9c4936c156..6455f33b9d1 100644
--- a/compiler/rustc_hir/src/hir.rs
+++ b/compiler/rustc_hir/src/hir.rs
@@ -1756,7 +1756,7 @@ pub enum PatKind<'hir> {
     Never,
 
     /// A tuple pattern (e.g., `(a, b)`).
-    /// If the `..` pattern fragment is present, then `Option<usize>` denotes its position.
+    /// If the `..` pattern fragment is present, then `DotDotPos` denotes its position.
     /// `0 <= position <= subpats.len()`
     Tuple(&'hir [Pat<'hir>], DotDotPos),