DIP 1028---Make @safe the Default---Community Review Round 1

Eugene Wissner belka at caraus.de
Fri Jan 3 15:48:03 UTC 2020

On Friday, 3 January 2020 at 15:38:02 UTC, Steven Schveighoffer 
> This is erroneous. It marks all templates @system, which would 
> otherwise be inferred @safe.
> And it does not mark member functions.

I think it applies only to other attributes.

import std.traits;


struct S {
   void func()()

static assert(!isSafe!(S.func!()));

More information about the Digitalmars-d mailing list