{"ast_node_type":"other","tokens":[{"end":11,"kind":"keyword","start":0,"text":"///"}]}
    /// ```
    ///     ^^^^^
    /// Only the end bound is spanned in this case, and this function has no idea if there was a `..=` before `pat_span`, hence the parameter.