Язык поддерживает разные формы владения объектом. Вы можете использовать как строгое владение объектами (как в Rust) так и возможность написания небезопасного кода (что рекомендуется в исключительных ситуациях). Также язык позволяет за счёт более медленной работы кода использовать классические GC, но своей ценой. Таким образом вы сами можете выбрать как писать свой код в зависимости от задачи оперируя при этом похожими конструкциями.
В языке есть некоторый набор дешёвых, но не нулевых по ресурсам параметров свойств объекта. Например есть флаг "перемещён", "удалён", "не инициализирован". Эти параметры добавляются к структуре объектов в большинстве случаев и занимает от 1го до нескольких байт. Это накладывает свои ограничения на скорость и вы можете явно от них отказаться в случае оптимизации кода, но в остальных случаях мета параметры генерируют вам более безопасный и предсказуемый код не очень большой ценой.