Rollup merge of #139708 - samueltardieu:push-onttwlpwurov, r=petrochenkov

Fix name of field in doc comment

Trivial doc fix
This commit is contained in:
Chris Denton 2025-04-13 03:07:08 +00:00 committed by GitHub
commit c3027182d1
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -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),