Andrei
I'm thinking of allowing or even restricting placement new to accept
values of type void[] for the underlying storage of the object. That
allows bounds checking to make sure that the object fits. I even wonder
whether certain uses of placement new would work in safe code.
