{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":")"}]}
    ) -> ErrorGuaranteed {
        pat_info: PatInfo<'tcx>,
        let PatInfo { top_info: ti, current_depth, .. } = pat_info;