Would this include primary associated types for asynchronous sequences? I know this would potentially open the ‘typed throws’ can of worms, but think it would greatly improve the ergonomics and help adoption of structured concurrency more generally. I think it’s something people come up against relatively quickly as they attempt to use the feature.
(FWIW I’m -1 on typed throws as feel the additional complexity outweighs the control flow benefits, but I realise others feel differently.)