Pourquoi le type value ne peut-il pas se contenir lui-même ? Expliquez pourquoi cette affirmation est vraie pour tous les représentants du type value.

Le type de valeur stocke les données directement. S'il pouvait se stocker lui-même, sa taille serait infinie, car chaque instance contiendrait une autre instance du même type, et ainsi de suite. Une telle structure récursive est impossible pour les types dont la taille doit être fixe et connue lors de la compilation. Cette affirmation est vraie pour tous les représentants du type de valeur (comme Struct, Enum, Tuple), car ils stockent tous des données par valeur et doivent avoir une taille déterminée.