Что хотят услышать интервьюеры:

Да, могут: экземпляр значимого типа может быть размещён в куче, если он является полем ссылочного объекта, элементом массива или захвачен в boxing. Важно различать сам тип и место хранения конкретного экземпляра. Значимый тип не означает автоматически стек, а ссылочный тип не означает автоматически куча во всех деталях использования.

Определение:

Значимый тип в C# — это тип, значение которого хранится непосредственно в переменной или внутри другого объекта. Но сам экземпляр такого типа может оказаться как в стеке, так и в куче, в зависимости от контекста создания и использования.

Обычно в памяти на куче оказываются:

поля значимых типов внутри классов;
элементы массивов значимых типов;
boxed-значения при приведении к object или интерфейсу.

Пример использования:

struct Point
{
    public int X;
    public int Y;
}

class Line
{
    public Point Start;   // Point хранится внутри объекта Line в куче
    public Point End;
}

Point p = new Point();    // обычно локальная переменная
Line line = new Line();    // сам Line в куче, а его поля Point — тоже внутри этого объекта

object boxed = p;          // boxing: копия Point помещается в кучу

Пояснение кода:

Код показывает три разных случая.

Point p = new Point(); — Point как локальная переменная обычно хранится в области стека или может быть оптимизирован компилятором/CLR, но важно то, что это не обязательно куча.
Line line = new Line(); — объект Line создаётся в куче.
Поля Start и End внутри Line — это значимые типы, но они находятся внутри памяти самого объекта Line, то есть тоже в куче.
object boxed = p; — происходит boxing: создаётся копия Point в куче, а переменная boxed хранит ссылку на неё.

Ключевые моменты:

Значимый тип не гарантирует размещение только в стеке.
Экземпляр struct может находиться в куче как часть ссылочного объекта.
Boxing всегда создаёт объект в куче.
Массив значимых типов тоже хранится в куче, а его элементы — внутри этого массива.
Важнее смотреть не на тип, а на контекст хранения экземпляра.

Могут ли экземпляры значимых объектов находиться в области динамического выделения памяти?