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.
If you say
trio.Process(..., stdin=DEVNULL, stdout=DEVNULL, stderr=PIPE)
, then you know that the stdin/stdout attributes on the resultingProcess
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.