Prohibiting dynamic allocation for the given type

Is it possible to "prohibit" dynamic allocation for the given type?

Let's suppose that I have a type which instances make sense only on
the stack. I want to prohibit users from dynamically allocating
instances of this type so that they don't get into troubles.
Preferably at compile-time.

My understanding is that it cannot be done (allocation is not
considered to be a type's operation and there is no way to "hide" it
from users - as is possible in C++), but I would like to have it
confirmed.

--
Maciej Sobczak * www.msobczak.com * www.inspirel.com