Когда структуры могут храниться в куче, а типы значений - в стеке?

Структуры всегда хранятся на стеке, когда они являются локальными переменными в функции.

Структуры могут храниться в куче в следующих случаях:

1. Когда они являются свойством класса. Экземпляры классов всегда находятся в куче, и их свойства (включая структуры) хранятся вместе с экземпляром класса в куче.
2. Когда они захватываются замыканием и замыкание хранит их в куче.
3. Когда они находятся внутри других типов, которые хранятся в куче, например, массивов или словарей, хранящихся в куче.

Типы значений (структуры, перечисления, базовые типы типа Int, Bool и т.д.) всегда хранятся на стеке, когда они являются локальными переменными. Ни в каком виде типы значений не могут храниться на стеке, если являются свойством класса или элементом контейнера, хранящегося в куче.