Може ли типът Value да съхранява себе си? И наистина ли е вярно това твърдение за всички представители на value типовете?

Не, типът на стойността не може директно да съдържа собствен екземпляр. Опитът да се дефинира в структура или енум поле от същия тип ще доведе до грешка при компилация, тъй като това ще създаде безкраен размер.

Въпреки това, типът на стойността може да съдържа опционален екземпляр на себе си (Self?), препратка към екземпляр на друг тип (например чрез клас) или да използва индирекция (Indirect) в енумите.

Това важи за всички типове стойности (структури и енумове).

Пример:

// Грешка при компилация: типът на стойността не може да съдържа не-опционално свойство от собствения си тип
// struct MyStruct {
//     var myself: MyStruct
// }

// Вариант с опционално
struct MyStructWithOptional {
    var myself: MyStructWithOptional?
}

// Вариант с препратка към клас
class MyClass {}
struct MyStructWithReference {
    var myReference: MyClass
}

// Вариант с индирекция в enum (позволява рекурсивни случаи)
indirect enum MyEnum {
    case case1
    case case2(MyEnum)
}