another cool RTInfo trick - i want in runtime

[Marco Leise]

Am Fri, 17 Jan 2014 00:17:58 +0000
schrieb "Adam D. Ruppe" <destructionator at gmail.com>:

> On Friday, 17 January 2014 at 00:03:21 UTC, Meta wrote:
> > Didn't Andrei mention something about wanting new to be removed 
> > from the language and replaced with a library solution using 
> > allocators?
> 
> I'm not sure if he's on board, but that's something I've been 
> wanting for a while. Probably won't happen though, the new 
> operator has a lot of fans (I kinda like it myself and fear the 
> massive amount of code breakage removing it would cause).
> 
> But we could still use specialized alternatives - new being there 
> doesn't prohibit using a create function.

The state of NotNull without it being a language feature would
still be a bit silly. A good implementation allows promotion
to NotNull like this:

void foo(Object o) {
    if (o !is null) {
        bar(o);
    }
}

void bar(NotNull!Object) {}

Maybe it could be implemented like "if (__ctfe)".

-- 
Marco