pub unsafe fn process_implied_equality( arg_root: *mut PlannerInfo, arg_opno: Oid, arg_collation: Oid, arg_item1: *mut Expr, arg_item2: *mut Expr, arg_qualscope: Relids, arg_nullable_relids: Relids, arg_security_level: Index, arg_below_outer_join: bool, arg_both_const: bool) -> *mut RestrictInfo