Deactivating a dendrite user should make them leave all rooms beforehand

[spaetz]

Background information

• Dendrite version or git SHA: current main (commit 4472267)
• Monolith or Polylith?: monolith
• SQLite3 or Postgres?: Postgres
• Running in Docker?: No
• go version: 1.18
• Client used (if applicable): Android (but should not matter)

Description

For debugging purposes I created a user, joined a room and deactivated the test account on my dendrite server. Now the room still thinks the test user is in there (and will likely foreever remain there).

Should a "deactivate this account on the server" not let the user part from all rooms beforehand to clean things up?
I guess you could consider this a feature request or a bug. In any case, dendrite is going to leave corpses lying around left and right :-).