生ポインタを返すしかない。ついても全く同様のコードになるので、実装例は省略する。等の実装を経由して実装する。作るよう変更しただけである。ついても同様で、特に語るべきことはない。ような追加の制限付きの型でも同様の実装になるため、これも例は省略する。セットアップが必要である。ある場合これらの型は全く別々の型になるため、それらの型を相互に紐付けする必要がある。トレイトで紐付いている。実装については後の節で説明する。