サブタイプと変性について。
ここでの「サブタイプ」はライフタイムの包含関係について言及している。オブジェクト指向言語におけるサブタイプ、つまり継承やインタフェースなどと語られる話題とはニュアンスがやや異なるので注意されたい。
2025 年現在、rustdoc は型パラメタの変性を文書化してくれない。
なお、既定では非公開フィールドも文書化されない。そのため、非公開フィールドで使用されている型パラメタの変性は完全にステルス化されてしまう。