{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"sym::contract_checks"}]}
        sym::contract_checks => (0, 0, Vec::new(), tcx.types.bool),
        // contract_checks() -> bool
        // contract_check_requires::<C>(C) -> bool, where C: impl Fn() -> bool