On 7/26/17 3:05 AM, Shachar Shemesh wrote:
On 25/07/17 18:26, Andrei Alexandrescu wrote:
(btw void[] doesn't work)

Can you expand on this point?

Shachar

Because anything casts to void[] implicitly.

e.g.:

void main() @safe
{
   int *[] arr = new int*[5];
   read(0, arr); // reading raw pointer data, shouldn't be allowed
}

-Steve

Reply via email to