{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"Ident::from_str_and_span(\"__ensures_checker\","}]}
                        Ident::from_str_and_span("__ensures_checker", ens_span);
                    let check_ident: Ident =
                    let (checker_pat, check_hir_id) = this.pat_ident_binding_mode_mut(