「では、自分たち独自の unsafe トレイトを定義してみましょう。」

unsafe キーワードを追加し、コードをコンパイルしてください。

「トレイトの要件が意味的なものである場合、そのトレイトには メソッドがまったく不要なこともあります。ただし、ドキュメントは不可欠です。」

「メソッドを持たないトレイトはマーカートレイトと呼ばれます。これらを 型に対して実装するとき、型システムに情報を追加していることになります。 これによりコンパイラは、ドキュメントに記述された要件を満たす型に ついて扱えるようになります。」