{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":")"}]}
    ) {
        resolved_pat: &ResolvedPat<'tcx>,
        let ResolvedPatKind::Path { res, pat_res, segments } = resolved_pat.kind else {