Bug 10847 – uninitializedArray accepts arguments which make it fail internally

----- import std.array; void main() { ubyte[] source = uninitializedArray!(ubyte[])(ulong.init); } ----- $ dmd test.d C:\DMD\dmd2\windows\bin\..\..\src\phobos\std\array.d(321): Error: function core.memory.GC.malloc (uint sz, uint ba = 0u) is not callable using argument types (ulong, BlkAttr) C:\DMD\dmd2\windows\bin\..\..\src\phobos\std\array.d(272): Error: template instance std.array.arrayAllocImpl!(false, ubyte[], ulong) error instantiating test.d(7): instantiated from here: uninitializedArray!(ubyte[], ulong) test.d(7): Error: template instance std.array.uninitializedArray!(ubyte[], ulong) error instantiating The constraint should disallow the argument instead of failing inside of Phobos when instantiating other templates.

(In reply to comment #0) > ----- > import std.array; > > void main() > { > ubyte[] source = uninitializedArray!(ubyte[])(ulong.init); > } > ----- > > $ dmd test.d > > C:\DMD\dmd2\windows\bin\..\..\src\phobos\std\array.d(321): Error: function > core.memory.GC.malloc (uint sz, uint ba = 0u) is not callable using argument > types (ulong, BlkAttr) > C:\DMD\dmd2\windows\bin\..\..\src\phobos\std\array.d(272): Error: template > instance std.array.arrayAllocImpl!(false, ubyte[], ulong) error instantiating > test.d(7): instantiated from here: uninitializedArray!(ubyte[], ulong) > test.d(7): Error: template instance std.array.uninitializedArray!(ubyte[], > ulong) error instantiating > > The constraint should disallow the argument instead of failing inside of Phobos > when instantiating other templates. This was specifically fixed in my "Rewrite [Un|Minimally]InitializedArray". https://github.com/D-Programming-Language/phobos/pull/1447 Specifically, it will static assert with the message: "Argument types in (ulong) are not all convertible to size_t: (ulong)"