{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"///"}]}
        /// its endpoints.
        /// `subpattern` may actually be a range pattern, and `def_id` be the constant for one of
        subpattern: Box<Pat<'tcx>>,