trio-typing
trio-typing copied to clipboard
Infer presence/absence of trio.Process stream attributes based on constructor arguments
If you say trio.Process(..., stdin=DEVNULL, stdout=DEVNULL, stderr=PIPE), then you know that the stdin/stdout attributes on the resulting Process object are None and the stderr attribute is not None. If the plugin could let mypy understand this, it would save a bunch of unnecessary assertions.