--- Comment #5 from Jonathan M Davis <> 2012-10-17 16:57:55 
PDT ---
> The code segment must be rejected, but what makes it unsafe is the escaping.
> Banning the slicing is not very precise.

It's exactly what happens with taking the address of a local variable. It's an
error if the compiler can determine that it's escaping, but it's @system
regardless. And because the compiler _can't_ guarantee that the reference isn't
escaping, it really has no choice but to make it @system to take the address or
slice in the first place. Doing otherwise would mean that it's possible to have
memory corruption issues when only using @safe code, which would be violating

Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to