Classical bug

[bearophile via Digitalmars-d-learn]

Vladimir Panteleev:

> But the check seems very simple, and is easily circumvented. 
> This compiles:
>
> byte[] func() {
>  byte[1024] buffer;
>  auto p = buffer[0..3];
>  return p;
> }

I guess such bugs will be detected (in safe code only!) after the 
implementation of: http://wiki.dlang.org/DIP69 Currently we are 
implementing a kind of pre-phase: http://wiki.dlang.org/DIP25

And here I have asked for @safe to become the default (Walter 
seems not against this idea):
https://d.puremagic.com/issues/show_bug.cgi?id=13838

Bye,
bearophile