Thanks for bringing up the topic, although I don’t read this specific case as being dismissed but rather “we should and can just fix it” while at the same time just not relying on the details of the proposal thread where this was posted.
Here’s a quote from @John_McCall on that from the quoted thread:
So in other words, we should just fix it and it’s not really relying on the proposals, so there’s not much to discuss about it there. Single stament async lets can be made to debate as expected by immediately ensuring an enqueue.
Timing wise it’d be good if we can make all those enqueue changes at the same time but we can’t guarantee any schedule decisions.