• d-bugmail puremagic.com (22/22) Feb 27 2019 https://issues.dlang.org/show_bug.cgi?id=19706

d-bugmail puremagic.com writes:

https://issues.dlang.org/show_bug.cgi?id=19706

          Issue ID: 19706
           Summary: Attribute inference in struct fails
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: major
          Priority: P1
         Component: dmd
          Assignee: nobody puremagic.com
          Reporter: qs.il.paperinik gmail.com

In this code

    struct S
    {
        static int fImpl(Ret)() { return Ret.init; }

        // tells us: `fImpl!int` is  system
        pragma(msg, __traits(getFunctionAttributes, fImpl!int)); 
    }

the function attributes should be  safe, pure, nothrow and  nogc.

--