Function collect_device_list_left 

fn collect_device_list_left<'a>(
    services: &'a Services,
    sender_user: &'a UserId,
    left_encrypted_users: HashSet<OwnedUserId>,
) -> impl Future<Output = Vec<OwnedUserId>> + Send + 'a