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