Miért nem tartalmazhatja a value típus önmagát? Magyarázza el, miért igaz ez az állítás minden value típusú képviselőre.

Az értéktípus közvetlenül tárolja az adatokat. Ha saját magát tudná tárolni, mérete végtelen lenne, mivel minden példány tartalmazna egy másik példányt ugyanabból a típusból, és így tovább. Egy ilyen rekurzív szerkezet lehetetlen olyan típusok számára, amelyek mérete fix és fordítási időben ismert kell legyen. Ez az állítás igaz minden értéktípus képviselőjére (például Struct, Enum, Tuple), mert mindegyik értékként tárolja az adatokat, és meghatározott mérettel kell rendelkeznie.