This C++0X feature seems to need a change in the cross-vendor C++ ABI. Have the details already been spelled out?
There is some interaction with the VLA C++ extension. We should probably prohibit allocation of objects of a VLA-based type with operator new and operator new[].
