On Thu Jul 31 10:41:23 2025 +0000, Rémi Bernon wrote:
The state machine should guarantee that `impl->query` is set here. What about enforcing `DevCloseObjectQuery called && query == NULL` as an invariant everywhere, like this instead:
DevCloseObjectQuery( impl->query ); impl->query = NULL;
And remove the corresponding `watcher->query = NULL` above on `DevQueryStateClosed`.
Yeah, that's cleaner. Thanks.