Когда мы передаем экземпляр объекта в параметр типа &dyn MyTrait
, мы передаем то, что называется типаж объект (trait object).
Типаж объект (trait object) - это то, что позволяет нам косвенно вызывать правильные методы экземпляра объекта. Типаж объект - это структура, которая содержит указатель нашего экземпляра со списком указателей функций на методы этого экземпляра.
Детали для запоминания: