{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"///"}]}
        /// The ADT the pattern is a constructor for, if applicable, so that we don't peel it. See
    Implicit {
        /// [`ResolvedPat`] for more information.