{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"num_binders:"}]}
            num_binders: fn_ty.num_binders,
        TyKind::Function(fn_ty) => TyKind::Function(FnPointer {
            sig: FnSig { safety, abi: FnAbi::Rust, variadic: fn_ty.sig.variadic },