¿Cuándo las estructuras pueden almacenarse en el montón y los tipos de valores en la pila?

Las estructuras siempre se almacenan en la pila cuando son variables locales en una función.

Las estructuras pueden almacenarse en el montón en los siguientes casos:

1. Cuando son propiedades de una clase. Las instancias de clases siempre están en el montón, y sus propiedades (incluidas las estructuras) se almacenan junto con la instancia de la clase en el montón.
2. Cuando son capturadas por un cierre y el cierre las almacena en el montón.
3. Cuando están dentro de otros tipos que se almacenan en el montón, como arreglos o diccionarios almacenados en el montón.

Los tipos de valor (estructuras, enumeraciones, tipos básicos como Int, Bool, etc.) siempre se almacenan en la pila cuando son variables locales. De ninguna manera los tipos de valor pueden almacenarse en la pila si son propiedades de una clase o elementos de un contenedor almacenado en el montón.