{"ast_node_type":"variable","tokens":[{"end":44,"kind":"keyword","start":0,"text":"let"}]}
                    let check_ident: Ident =
                    // Set up the postcondition `let` statement.
                        Ident::from_str_and_span("__ensures_checker", ens_span);