Miks value tüüp ei saa iseenda sees hoida? Selgitage, miks see väide kehtib kõigi value tüübi esindajate kohta.

Tüüp väärtus salvestab andmeid otse. Kui ta suudaks salvestada iseennast, oleks tema suurus lõpmatu, kuna iga eksemplar sisaldaks teist eksemplari samast tüübist, ja nii edasi. Selline rekursiivne struktuur on võimatu tüüpide jaoks, mille suurus peab olema fikseeritud ja teadaolev kompileerimise ajal. See väide kehtib kõigi väärtusetüüpide esindajate kohta (nagu Struct, Enum, Tuple), sest kõik nad salvestavad andmeid väärtusena ja neil peab olema määratletud suurus.