Re: [whatwg/streams] Rigorously specify and test pipeTo (#512)

Couldn't you actually entirely replace the 'Closing must be propagated backward' code with a new abstract op `WritableStreamGetState(dest)` and a check whether it's `'closing'` or `'closed'` at the start of `pipeTo`, right after the brand checks? Unlike the other 3 propagation conditions, it can't ever suddenly happen after pipeTo starts.

-- 
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/512#issuecomment-254004972