[whatwg/streams] What pipeTo does when both streams are closed (#647)

Previously it was ambiguous what implementations should do if both
source and destination are closed or errored at the start.

Clarify which states take priority in determining the behaviour. The new
text is based on the multiple-propagation.js tests and can be summarised
as "errors before closed, source before destination".
You can view, comment on, or merge this pull request online at:

  https://github.com/whatwg/streams/pull/647

-- Commit Summary --

  * What pipeTo does when both streams are closed

-- File Changes --

    M index.bs (28)

-- Patch Links --

https://github.com/whatwg/streams/pull/647.patch
https://github.com/whatwg/streams/pull/647.diff

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/streams/pull/647