Защо типът value не може да съдържа себе си? Обяснете защо това твърдение е вярно за всички представители на типа value.

Типът на стойността съхранява данните директно. Ако можеше да съхранява себе си, размерът му щеше да бъде безкраен, тъй като всеки екземпляр щеше да съдържа още един екземпляр от същия тип, и така нататък. Такава рекурсивна структура е невъзможна за типове, чийто размер трябва да бъде фиксиран и известен по време на компилация. Това твърдение е вярно за всички представители на типа стойност (като Struct, Enum, Tuple), тъй като всички те съхраняват данните по стойност и трябва да имат определен размер.