Perché il tipo value non può contenerne uno stesso? Spiega perché questa affermazione è vera per tutti i rappresentanti del tipo value.

Il tipo di valore memorizza i dati direttamente. Se potesse memorizzarsi da solo, la sua dimensione sarebbe infinita, poiché ogni istanza conterrebbe un'altra istanza dello stesso tipo, e così via. Una struttura ricorsiva del genere è impossibile per i tipi il cui size deve essere fisso e noto durante la compilazione. Questa affermazione è vera per tutti i rappresentanti del tipo di valore (come Struct, Enum, Tuple), perché tutti memorizzano i dati per valore e devono avere una dimensione definita.