Classical bug

[Fyodor Ustinov via Digitalmars-d-learn]

Hi!

I thought at least in safe mode this code will not compile or I 
get warning:

byte[] func() @safe {
 byte[1024] buffer;
 return buffer[0..3];
}

void main() {
  auto b = func();
  b[0] = 1;
}

But no any error. Dlang do not catch this?

WBR,
    Fyodor.