DIP 1025--Dynamic Arrays Only Shrink, Never Grow--Community Review Round 1

[Jab]

On Tuesday, 12 November 2019 at 03:08:28 UTC, Walter Bright wrote:
> On 11/11/2019 7:24 AM, jmh530 wrote:
>> malloc is also only allowed in @system code.
>
> Although malloc() is marked as @system, it actually is @safe. 
> It's free() that needs to be @system.

You can only really consider malloc @safe cause "void*" is 
completely useless in @safe, and casting it to a different type 
is what is unsafe. By those constraints free() could also be 
considered "safe". If you do cast the pointer to another type, 
then both are not safe.