[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