pub unsafe fn restriction_is_securely_promotable(
    arg_restrictinfo: *mut RestrictInfo,
    arg_rel: *mut RelOptInfo
) -> bool