new should lower to a template function call

[Seb]

On Friday, 24 July 2020 at 14:06:28 UTC, Andrei Alexandrescu 
wrote:
>
> Problem is there are not enough.

+2

> We need to template all we can of druntime. All those silly 
> C-style functions decaying to void* and dependencies and 
> runtime type information must go.

<3

One very important upsides that hasn't even been mentioned is 
that the compiler (+ the C-style functions) are plainly lying to 
us as they aren't properly type-checked.
The compiler assumes that they are e.g. `@nogc @safe pure 
nothrow`, but this is not always true.
This alone should be motivation enough.

Further details regarding the breakout of the type system can be 
found in Dan's GSoC19 project:

https://github.com/dlang/projects/issues/25