Respuesta corta, sí, las estructuras que se declaran como propiedades de instancia almacenadas se asignan en el montón, porque el almacenamiento de objetos ya está en el montón.

En Swift, cualquier tipo de valor (estructuras incluidas) se asigna en la ubicación de la memoria donde se declara:

• las variables locales terminan en la pila ^[1]
• las variables capturadas por los cierres de escape deben vivir en el montón; de lo contrario, en el momento en que se ejecuta el cierre, la pila podría usarse para otra cosa
• las propiedades de la instancia se asignan en el montón, junto con el resto de las propiedades
• variables globales y miembros de clase/estáticos, reciben un tratamiento diferente porque son perezosos: https://railsware.com/blog/2014/06/11/global-variables-in-swift-are-not-variables/
• los tipos de valor pasan a través de contenedores existenciales (también conocidos como protocolos) y ocupan más de 3 palabras, se copian en el montón, incluso si comienzan en la pila
• los tipos de valores asignados a otras ubicaciones cambiarán su almacenamiento de pila a montón, o de montón a pila, si el destino está almacenado en un tipo de memoria diferente.