• via Digitalmars-d-bugs (21/21) Jun 03 2015 https://issues.dlang.org/show_bug.cgi?id=14648

via Digitalmars-d-bugs <digitalmars-d-bugs puremagic.com> writes:

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 puremagic.com
          Reporter: briancschott 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.

--