In Odoo 11 CE, I have added the following custom field to project.task.
facilitators = fields.Many2many('res.users')
I now want to create a record rule that allows users that have been added to a task as a facilitator to edit project tasks even if they have not been assigned the task. There could be one or multiple users added as facilitators on any given task.
What is the correct way to express this domain filter?