{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//"}]}
                // This lets rustdoc render it correctly in documentation.
                // we can keep the same name for the parameter.
                hir::PatKind::Binding(_, _, ident, _) => (ident, false),