Quando as estruturas podem ser armazenadas no heap e os tipos de valores na pilha?

As estruturas são sempre armazenadas na pilha quando são variáveis locais numa função.

As estruturas podem ser armazenadas no heap nos seguintes casos:

1. Quando são propriedades de uma classe. As instâncias de classes estão sempre no heap, e as suas propriedades (incluindo estruturas) são armazenadas juntamente com a instância da classe no heap.
2. Quando são capturadas por um closure e o closure as armazena no heap.
3. Quando estão dentro de outros tipos armazenados no heap, como arrays ou dicionários armazenados no heap.

Os tipos de valor (estruturas, enumerações, tipos básicos como Int, Bool, etc.) são sempre armazenados na pilha quando são variáveis locais. De nenhuma forma, os tipos de valor podem ser armazenados na pilha se forem propriedades de uma classe ou elementos de um contêiner armazenado no heap.