From 4fa86c90bf53d21dd2d869542dfbda3c86cb5e4f Mon Sep 17 00:00:00 2001 From: Erik Johnston Date: Thu, 27 Nov 2025 14:41:03 +0000 Subject: [PATCH] Add back missing example --- proposals/4186-simplified-sliding-sync.md | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/proposals/4186-simplified-sliding-sync.md b/proposals/4186-simplified-sliding-sync.md index 3b3781e58..47f06ac10 100644 --- a/proposals/4186-simplified-sliding-sync.md +++ b/proposals/4186-simplified-sliding-sync.md @@ -288,6 +288,15 @@ Room members can be lazily-loaded by using the `lazy_members` flag. Typically, w retrieve all state events except for `m.room.member` events which you want to lazily load. To get this behaviour, clients can send the following: +```jsonc + { + "required_state": { + "include": [{}], // An empty object matches everything + "lazy_members": true + } + } +``` + This is (almost) the same as [lazy loaded memberships](https://spec.matrix.org/v1.16/client-server-api/#lazy-loading-room-members) in `/v3/sync`. When specified, the server will return the membership events for: