Michael J. Sullivan
Michael J. Sullivan
Yeah, this is a reduced case that exhibits the bug
I think we need a way to silence unused type ignore messages for individual type ignores short of disabling the warning.
Yeah, I agree that would probably be a better type in this case. But whether to infer a union type or a join is tricky and changing behavior will break...
Prompted by https://github.com/edgedb/edgedb/issues/6161, which I couldn't reproduce directly from the provided schema directory because of this nondeterminism
Hm, are you making lots of separate connections (like one connection per query)? Can you provide server logs? It looks like we do try to increase the limit on number...
I mean logs from the edgedb server when the error occured
These are all client side logs; do you have any logs from the server itself? If this is a local instance you can probably extract them with `edgedb instance logs`
Yeah, you should just have one client, probably. You'll be establishing way more connections than you need to otherwise. The client does connection pooling internally too, I think, so you...
Could you provide more logs from that last one?
Yes, one client is the recommended workflow