Dollar Føølish
В принципе в с++ то что за виртуальным вызовом тоже считается невидимым для оптимизаций, как будто бы это был другой TU . Не вижу решения для Дин трейтов😳
Поэтому люди и хотят type alias in impl trait, потому что они позволяют убрать боксинг, и снова сделать код прозрачным