Может ли value type оказаться в куче?

Обычно:

1. Value types (например, struct, enum) размещаются в стеке.

2. Reference types (например, class) — в куче.

Но если value type:

1. Хранится внутри class,

2. Захватывается замыканием (closure),

3. Используется в качестве большого объекта (optimization by compiler),

то он может быть перемещён в кучу.

Пример:

struct Data { var x: Int }
class Box { var value: Data }

let box = Box(value: Data(x: 5))
// `Data` теперь в куче, так как хранится в классе

Вывод:
Размещение зависит от контекста использования. Swift сам решает, где разместить value type, ради производительности и безопасности.