Могут ли объекты структур лежать в куче?

Да, могут.

Объекты структур, являющиеся типами значений в C#, обычно хранятся в стеке. Однако они могут находиться в куче в следующих случаях:

• Являются полями ссылочного типа (класса). Объект класса находится в куче, и его поля-структуры будут храниться вместе с ним.
• Боксинг (упаковка). Когда объект структуры преобразуется в объект типа object или интерфейса, он оборачивается в ссылочный тип и размещается в куче.
• Элементы массива структур. Массив (являющийся ссылочным типом) размещается в куче, и его элементы-структуры хранятся в памяти, выделенной для этого массива.

Пример боксинга:

csharp