{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"sym::contract_check_ensures"}]}
        sym::contract_check_ensures => (2, 0, vec![param(0), param(1)], param(1)),
        sym::contract_check_requires => (1, 0, vec![param(0)], tcx.types.unit),