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

Eduard Staniloiu <edi33416@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |edi33416@gmail.com

--- Comment #1 from Eduard Staniloiu <edi33416@gmail.com> ---
If you change the return type of your function to `auto`, pragma will output the expected `tuple("pure", "nothrow", "@nogc", "@safe")` function attributes.

What is more interesting is that even if you don't change the return type, you can safely call the function in a `@safe` function and the deduction is correct

```
struct S
{
  static int fImpl(Ret)() { return Ret.init; }
  @safe void bar() { fImpl!int(); }
}
```

Will compile just fine

--

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

Bolpat <qs.il.paperinik@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid

--

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

Iain Buclaw <ibuclaw@gdcproject.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P1                          |P2

--

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

Dlang Bot <dlang-bot@dlang.rocks> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull

--- Comment #2 from Dlang Bot <dlang-bot@dlang.rocks> ---
@RazvanN7 created dlang/dmd pull request #15129 "Fix Issue 19706 - Attribute inference in struct fails" fixing this issue:

- Fix Issue 19706 - Attribute inference in struct fails

https://github.com/dlang/dmd/pull/15129

--

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

Dlang Bot <dlang-bot@dlang.rocks> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #3 from Dlang Bot <dlang-bot@dlang.rocks> ---
dlang/dmd pull request #15129 "Fix Issue 19706 - Attribute inference in struct fails" was merged into master:

- c0c4b07ff530e7209dd921e0d9082405d3cfe3bd by RazvanN7:
  Fix Issue 19706 - Attribute inference in struct fails

https://github.com/dlang/dmd/pull/15129

--