Zašto tip value ne može da sadrži sam sebe? Objasnite zašto je ova tvrdnja tačna za sve predstavnike tipa value.

Tip vrednosti direktno čuva podatke. Ako bi mogao da čuva sam sebe, njegova veličina bi bila beskonačna, jer bi svaka instanca sadržavala još jednu instancu istog tipa, i tako redom. Takva rekurzivna struktura je nemoguća za tipove čija veličina mora biti fiksna i poznata tokom kompilacije. Ova tvrdnja važi za sve predstavnike tipa vrednosti (kao što su Struct, Enum, Tuple), jer svi oni čuvaju podatke po vrednosti i moraju imati određenu veličinu.