fn stand_in_leave(
services: &Services,
room_id: &RoomId,
sender_user: &UserId,
) -> Result<Raw<AnySyncStateEvent>>Expand description
Builds a minimal leave event for a left room whose state supplies none.
A rescinded or rejected federated invite, or deleted, missing, or broken room state, leaves no real membership event to send, while clients read the departure from one. The stand-in names the user as sender under a fresh local event ID.