1. Pin
2. сам видел ошибки
3. плохо композируется с лайфтаймами/Send/Sync

4. не работает с одной из главных фич языка — трейтами

Этого всего можно было бы избежать, если бы добавили возможность в язык возвращать impl Trait в методах трейта. Pin бы не было, ошибки были бы маленькие из-за стирания типов, а композироваться с лайфтаймами будет также, как и Iterator

Поэтому, КМК, ошибка всё же концептуальная

Box<dyn Trait> это и есть стирание типов

+ Код бы не пришлось переписывать на async/.await

Без Box и dyn, пожалуйста

И со статической типизацией

так стёрты ж типы

Ты же можешь написать

fn foo(...) -> impl Trait { ... }

Может хватит бухтеть и дестабилизировать ситуацию в расте?
Есть инфа от знающего человека, что у нас в сообществе скоро ожидаются реальные изменения. После того, как стабилизируют ситуацию с awync/await, уничтожат actix. Тогда везде и сформируют функциональный альянс с свифтом. impl Trait  поднимут и будут держать,  UB ничего не сможет сделать. Сейчас главное не бухтеть.

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

А pin'а почему-бы не было? Он нужен для структур со ссылками внутрь себя. impl Trait тут параллельно

fn foo(...) -> impl Trait { ... }

вроде ж impl Trait ансайзд, не?

С futures 0.1.0 не нужен он был

Брррр. Лучше пин, чем комбинаторы

Почему?

хотя непонятно, почему он должен быть ансайзд

Потому что конечные автоматы конструировать с помощью комбинаторов - то ещё удовольствие.