Ok, simplifiquei de propósito, sei que o local exato onde será alocado depende de vários fatores. Um struct pode ficar no heap dependendo do caso, editei pra ficar mais claro.

Só fiz a simplificação pra contrapor a afirmação do texto de que objetos sempre ficam no heap. De qualquer forma, obrigado por complementar.