Исправление dave, 15.05.18 10:13 (текущая версия) :
Не вчитывался. А вы не путаете с trait object? Для impl trait нет отношения эквивалентности.
Исходная версия dave, 15.05.18 10:12:
Не вчитывался. А вы не путаете с trait object? Для impl trait нет отношения эквивалентности. Оно даже не симметрично. Рефлексия есть, и только.