{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"sym::contract_check_requires"}]}
        sym::contract_check_requires => (1, 0, vec![param(0)], tcx.types.unit),
        // contract_check_requires::<C>(C) -> bool, where C: impl Fn() -> bool
        sym::contract_check_ensures => (2, 0, vec![param(0), param(1)], param(1)),