Может ли тип Value хранить сам себя? И действительно ли это утверждение верно для всех представителей value-типов?

Нет, value-тип не может непосредственно хранить экземпляр самого себя. Попытка определить в структуре или перечислении поле того же типа приведет к ошибке компиляции, поскольку это создаст бесконечный размер.

Однако, value-тип может хранить опциональный экземпляр самого себя (Self?), ссылку на экземпляр другого типа (например, через класс) или использовать индирекцию (Indirect) в перечислениях.

Это верно для всех представителей value-типов (структур и перечислений).

Пример:

// Ошибка компиляции: value type cannot contain a non-optional property of its own type
// 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)
}