Есть некий тип-обертка T<X>, хочу сделать конвертацию для вложенного типа

Question

Есть некий тип-обертка T<X>, хочу сделать конвертацию для вложенного типа

(i.e. forall X -> Y: T<X> -> T<Y>). Вот это

impl<X, Y> From<T<X>> for T<Y>
where Y: From<X>

предсказуемо конфликтует с стдшным: impl<A> From<A> for A, специализацию низя т.к. стейбл компайлер, единственное что в голову приходит — это сделать метод в духе`impl T<X> { fn convert<Y>(self) -> T<Y> where Y: From<X> { .. } }`, но мб есть способ поидиоматичнее?

#backend #embedded #programming #russian #rust

0

13.05.2020