This proposal is based (depends) on AsyncSequence proposal. But that proposal also depends on rethrowing protocol conformance, which is just a pitch that haven't become an accepted proposal yet (or I may be wrong). Why do we have a formal proposal accepted with dependency on a pitch?