Function routine_privilege_allowed 

pub fn routine_privilege_allowed(
    owner: &RoleIdentity,
    acl: Option<&[RoutineAclEntry]>,
    grant_option: bool,
    superuser: bool,
    has_role: impl Fn(&RoleIdentity) -> bool,
) -> bool

Ownership retains grant options even when the owner’s explicit EXECUTE was revoked.