Waarom kan het type value zichzelf niet bevatten? Leg uit waarom deze bewering voor alle vertegenwoordigers van het type value waar is.

Het waarde-type slaat gegevens rechtstreeks op. Als het zichzelf kon opslaan, zou de grootte oneindig zijn, omdat elk exemplaar nog een exemplaar van hetzelfde type zou bevatten, en zo verder. Zo'n recursieve structuur is onmogelijk voor types waarvan de grootte vast en bekend moet zijn tijdens compilatie. Deze uitspraak geldt voor alle vertegenwoordigers van het waarde-type (zoals Struct, Enum, Tuple), omdat ze allemaal gegevens per waarde opslaan en een bepaalde grootte moeten hebben.