Thank you so much for bringing this up, I've just tested this myself and I've confirmed that's indeed the behaviour of Task.async !

This means there's an extra difference when using Task.async_stream since it is lazy 👍

I'll make sure to update the post in order to correct this mistake.
Again, thank you very much for this correction! :)