Martin Nowak:OK, I think that it will be enough to add a Phobos function like this (what's the right Phobos module to put it?) (why isn't this @trusted?) (why isn't this returning a T*?):
ref T uninitializedAlloc(T)() @system pure nothrow { return *cast(T*)GC.malloc(T.sizeof); }
Plus these one of two Phobos functions: https://d.puremagic.com/issues/show_bug.cgi?id=8280(But the request about optionally strongly typed array indexes is still active).
Bye, bearophile