Кто определяет, разрешено ли разместить определённый объект в памяти?

В Go (Golang) размещение объектов в памяти определяется компилятором и рантаймом.

• Компилятор решает, где разместить переменную: в стеке или в куче, исходя из анализа её области видимости и времени жизни (escape analysis).
• Если переменная «убегает» из функции (например, возвращается или используется после выхода из функции), она размещается в куче.
• В противном случае — в стеке, что быстрее.

Таким образом, решение о размещении объекта в памяти принимает компилятор на этапе компиляции, а рантайм управляет выделением и сборкой мусора для объектов в куче.