trio-typing icon indicating copy to clipboard operation
trio-typing copied to clipboard

Infer presence/absence of trio.Process stream attributes based on constructor arguments

Open oremanj opened this issue 6 years ago • 0 comments

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.

oremanj avatar May 07 '19 14:05 oremanj