[Issue 19965] [DIP1000] Template allows to escape internal pointer

d-bugmail at puremagic.com d-bugmail at puremagic.com
Fri Aug 23 01:35:42 UTC 2019


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

--- Comment #2 from Mike Franklin <slavo5150 at yahoo.com> ---
The problem appears to be with `scope` inference.  In `escape.d` there are many
places where `STC.maybescope` is removed after it has been determined that
`scope` cannot be inferred.  There is even a function `notMaybeScope` to do
this.  

I believe all that needs to be done is to call `notMaybeScope(v)` in the right
place and for the right conditions so `scope` is no longer inferred for this
scenario.

--


More information about the Digitalmars-d-bugs mailing list