async fn handle_left_room(
services: &Services,
since: u64,
room_id: OwnedRoomId,
sender_user: &UserId,
next_batch: u64,
full_state: bool,
use_state_after: bool,
filter: &FilterDefinition,
) -> Result<Option<LeftRoom>>