Фантомные типы — это тип универсальных типов в программировании, где параметр типа объявляется, но не используется непосредственно в определении структуры данных, функции или класса. Они обычно используются для обеспечения дополнительной безопасности типов без необходимости включения фактических данных этого типа в структуру данных. Это может помочь предотвратить некоторые типы ошибок во время компиляции, предоставляя определенные преимущества статической типизации.

Дополнительные сведения см. в этом руководстве по дженерикам, в котором есть раздел о фантомных типах: [Move Basics Generics](https://move-book.com/move-basics/generics.html? highlight=phanto (параметры типа #phantom).