Новый RFC: область видимости impl Trait для типа

Открыт RFC, разрешающий явно указывать, для какого типа применяется impl Trait в позиции аргумента.

Суть

Сейчас impl Trait в аргументе — это сахар над generics, и программист не видит, к какому параметру он привязан. Предложение связывает его с конкретным типом, убирая двусмысленность.

Оригинал

Scoped impl Trait for Type