[Issue 18445] New: [DIP25] Unreproducible/wrong "return as a parameter attribute" inference

[d-bugmail at puremagic.com]

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

          Issue ID: 18445
           Summary: [DIP25] Unreproducible/wrong "return as a parameter
                    attribute" inference
           Product: D
           Version: D2
          Hardware: x86_64
                OS: Linux
            Status: NEW
          Keywords: rejects-valid, safe, spec
          Severity: normal
          Priority: P1
         Component: dmd
          Assignee: nobody at puremagic.com
          Reporter: chilli at posteo.net
            Blocks: 18444

Example from phobos (-dip1000, DMD64 D Compiler v2.078.2+/master):
https://github.com/dlang/phobos/blob/master/std/container/slist.d

make -f posix.mak std/container/slist.test (-dip1000 switch for that module)

std/container/slist.d(378) [referring to struct SList(T). size_t
insertFront(Stuff)(Stuff stuff)]: Error: parameter stuff is return but function
does not return any indirections

No error, when -dip25 switch is thrown instead.


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"
--