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

[Eugene Wissner]

On Friday, 3 January 2020 at 15:38:02 UTC, Steven Schveighoffer 
wrote:
> 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;

@system:

struct S {
   void func()()
   {
   }
}

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