Γιατί ο τύπος value δεν μπορεί να περιέχει τον εαυτό του; Εξηγήστε γιατί αυτή η δήλωση ισχύει για όλους τους εκπροσώπους του τύπου value.

Ο τύπος τιμής αποθηκεύει δεδομένα άμεσα. Αν μπορούσε να αποθηκεύσει τον εαυτό του, το μέγεθός του θα ήταν άπειρο, καθώς κάθε αντίγραφο θα περιείχε ένα άλλο αντίγραφο του ίδιου τύπου, και ούτω καθεξής. Μια τέτοια αναδρομική δομή είναι αδύνατη για τύπους των οποίων το μέγεθος πρέπει να είναι σταθερό και γνωστό κατά τη μεταγλώττιση. Αυτή η δήλωση ισχύει για όλους τους εκπροσώπους του τύπου τιμής (όπως Struct, Enum, Tuple), επειδή όλοι αποθηκεύουν δεδομένα με τιμή και πρέπει να έχουν ορισμένο μέγεθος.