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

--- Comment #4 from Carsten Blüggel <chilli@posteo.net> ---
Another error example from phobos (-dip1000, DMD64 D Compiler v2.078.2): https://github.com/dlang/phobos/blob/master/std/range/package.d

std/range/package.d(1738) [referring to roundRobin.Result. @property auto ref
front()]: Error: function type pure nothrow @nogc @property return @safe int()
has return but does not return any indirections

--

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

Walter Bright <bugzilla@digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bugzilla@digitalmars.com
            Summary|[REG 2.073] [DIP1000] Error |[REG 2.073] [DIP1000] Error
                   |on bad interplay of "auto   |on bad interplay of 'auto
                   |ref" and "return" attribute |ref' and 'return' attribute
                   |deduction.                  |deduction.

--

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

--- Comment #5 from Walter Bright <bugzilla@digitalmars.com> ---
https://github.com/dlang/dmd/pull/8001

--

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

--- Comment #6 from github-bugzilla@puremagic.com ---
Commits pushed to master at https://github.com/dlang/dmd

https://github.com/dlang/dmd/commit/56b770c60cb301b46a287e201fb4934f6551414b fix Issue 17512 - [REG 2.073] [DIP1000] Error on bad interplay of 'auto ref' and 'return' attribute deduction

https://github.com/dlang/dmd/commit/abd5267fc35169111fac9a9fa919195c4c9a7762 Merge pull request #8001 from WalterBright/fix17512

fix Issue 17512 - [REG 2.073] [DIP1000] Error on bad interplay of 'au…

--

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

John Colvin <john.loughran.colvin@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
                 CC|                            |john.loughran.colvin@gmail.
                   |                            |com
         Resolution|FIXED                       |---

--- Comment #7 from John Colvin <john.loughran.colvin@gmail.com> ---
This seems to not to be totally resolved in very similar cases:

struct S0(T)
{
    int a;
    auto ref immutable(int) getA() { return a; }
}

alias A = S0!int;

test.d(4): Error: function type pure nothrow @nogc return @safe
immutable(int)() has return but does not return any indirections

--

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

Carsten Blüggel <chilli@posteo.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Blocks|18444                       |


Referenced Issues:

https://issues.dlang.org/show_bug.cgi?id=18444
[Issue 18444] [DIP25][DIP1000] Tracking issue for: "The implementation doesn't
match DIPs 25/1000"
--

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

Walter Bright <bugzilla@digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |RESOLVED
           See Also|                            |https://issues.dlang.org/sh
                   |                            |ow_bug.cgi?id=18661
         Resolution|---                         |FIXED

--- Comment #8 from Walter Bright <bugzilla@digitalmars.com> ---
(In reply to John Colvin from comment #7)
> This seems to not to be totally resolved in very similar cases:

Please do not reopen bugs because more issues come up. File a new issue instead. Otherwise, bugzilla loses the 1:1 correlation between PRs and issues, and becomes much less manageable.

I refiled it as https://issues.dlang.org/show_bug.cgi?id=18661

Closing this again.

--