{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"num_binders:"}]}
            num_binders: 0,
        let expected_sig = FnPointer {
            sig: FnSig { abi: FnAbi::RustCall, safety: chalk_ir::Safety::Safe, variadic: false },