{"ast_node_type":"other","tokens":[{"end":1,"kind":"keyword","start":0,"text":"}"}]}
}
    ContractCheckEnsures,     sym::contract_check_ensures,      contract_check_ensures_fn,      Target::Fn, GenericRequirement::None;