угу, я правда обычно такое решаю разделением async-контекстов

а что звучит как issue rust-lang/rust

по-моему уже давно заведена.

Наверняка там есть какие-то объективные затыки.

Например в общем случае компилятор не имеет право переместить вызов деструктора из конца функции/блока до точки последнего использования

в общем надо явно ограничивать скоуп жизни гарда, чтобы чудо точно произошло )

странно, что drop вообще никакой эффект не оказал тут

да просто генераторы на коленке сделаны

так с размером вроде еще сложнее.
Чтобы находить ненужные переменные, нужен MIR. Чтобы построить MIR, нужно вывести типы. А при вычислении типов могут всплыть (ну может не сейчас а в будущем) вещи типа [u8; std::mem::size_of::<T>()].

ну дык оно и не Send, потому что переменная уже не нужна, но попала в поле генератора, разве нет?

хм, а ведь это может случиться в примере токио

финальная версия Delay с when равным текущему времени сразу вернет Poll::Ready(...), хотя будет запущен поток, который вызовет Wake еще раз

Объясните пожалуйста текущее состояние асинронных райнтаймов вкратце
Из того что мне удалось понять по сообщеиям в трёх чатах: async_std фигня какая-то и в tokio всё лучше, а smol вообще мем какой-то непонятый для меня

юзай токио и будешь счастлив

Я сейчас пишу на токио, но интересно узнать об альтернативах, ибо недавно я тут читал, что асинхронный раст далеко не "runtime-agnostic" и надо думать подо что делать

Они все норм, просто async-std ворвался в тихое болото с одним только токио и разворошил немного. В нём из проблем пока только то, что они не боятся сломать обратную совместимость в патч версиях, хоть и не должны. Ну и в целом в качестве разработки немношк есть сомнения. smol - сам по себе, он чисто рантайм, а не комбайны, как токио и async-std. async-std вообще в последней версии переходит на smol

Ну вот я и не понял, что тут происходит. async_std переходит на smol, но писали что там под капотом серьёзные проблемы с проивзодительностью
получается, этот "комбайн" отказался от своего рантайма в пользу smol, а там всё не так радужно?

Сомневаюсь, что они настолько серьёзные, чтобы ты их заметил при сравнительно небольшом количестве переключений. Сам по себе smol - микроскопический, 200 строк с комментариями. В основном (имхо, конечно же) проблема больше в том, что асинк-стд могут ломать, а токио лучше соблюдает правила релизов и старается пользователей не кошмарить лишний раз.
Если хочешь супер-стабильных сборок прямо сегодня - бери токио.
Лично мне асинк-стд нравится тем, что он всё более грамотно становится огранизован - раздедение на мелкие крейты, наличие mpmc - это из последнего.

из последнийх новостей про перформанс вот: https://github.com/async-rs/async-std/issues/848