all OS functions should be "nothrow @trusted @nogc"

[Steven Schveighoffer via Digitalmars-d]

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