«Теперь определим собственный небезопасный трейт».

Добавьте ключевое слово unsafe и скомпилируйте код.

«Если требования трейта семантические, трейту, возможно, вообще не понадобятся методы. Однако документация необходима».

«Трейты без методов называются маркерными трейтами. Реализуя их для типов, вы добавляете информацию в систему типов. Теперь компилятор может оперировать типами, которые удовлетворяют требованиям, описанным в документации».