[Issue 17927] [scope] scope input return value can be escaped

d-bugmail at puremagic.com d-bugmail at puremagic.com
Sun Oct 22 17:22:14 UTC 2017


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

--- Comment #1 from Martin Nowak <code at dawg.eu> ---
My bad, there are two bugs.

All of the above opSlice methods should fail to compile, but on the mutable and
cost method do, the inout silently compiles, even though it escapes a field.

All of the methods should and do compile with return scope (even the inout
one).
The compiler doesn't infer scope for their returned slice and thus allows
escaping that.

--


More information about the Digitalmars-d-bugs mailing list