Новый RFC: типы async T и gen T как аналоги impl Trait

Открыт RFC, предлагающий писать async T и gen T в позициях, где сейчас допустим impl Trait — как эквиваленты impl Future<Output = T> и impl Iterator<Item = T>.

Зачем

Функции, обрабатывающие множество итераторов или futures, приходится заворачивать в impl Trait, что читается нечётко. Явные типы async/gen делают сигнатуры самодокументируемыми.

Оригинал

async T and gen T types