You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.The text was updated successfully, but these errors were encountered: