Quem determina se é permitido colocar um determinado objeto na memória?

A alocação de objetos na memória em Go (Golang) é determinada pelo compilador e pelo tempo de execução.

• O compilador decide onde colocar a variável: na pilha ou no heap, com base na análise do seu escopo e tempo de vida (análise de escape).
• Se a variável «escapa» da função (por exemplo, é retornada ou usada após a saída da função), ela é colocada no heap.
• Caso contrário, ela é colocada na pilha, o que é mais rápido.

Assim, a decisão de colocar um objeto na memória é tomada pelo compilador na fase de compilação, e o tempo de execução gerencia a alocação e a coleta de lixo para objetos no heap.