[Issue 14648] New: DIP25's "return" attribute breaks safety checks

[via Digitalmars-d-bugs]

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

          Issue ID: 14648
           Summary: DIP25's "return" attribute breaks safety checks
           Product: D
           Version: D2
          Hardware: x86_64
               URL: https://gist.github.com/Hackerpilot/d665a0d5c80ddc1634
                    54
                OS: Linux
            Status: NEW
          Keywords: safe
          Severity: enhancement
          Priority: P1
         Component: DMD
          Assignee: nobody at puremagic.com
          Reporter: briancschott at gmail.com

https://gist.github.com/Hackerpilot/d665a0d5c80ddc163454

This code compiles, runs, and segfaults despite being marked @safe. If the
`return` attribute is removed from `opSlice` the code will correctly fail to
compile.

--