[Issue 17934] [scope] scopeness entrypoint for unique/ref-counted missing

d-bugmail at puremagic.com d-bugmail at puremagic.com
Wed Mar 30 12:29:06 UTC 2022


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

Nick Treleaven <nick at geany.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |nick at geany.org

--- Comment #9 from Nick Treleaven <nick at geany.org> ---
(In reply to Mike Franklin from comment #7)
> What about having `scope` apply to return values of functions, so `list()`
> could be written as `scope List list() @trusted`?

That might work there, but what about when a method wants to specify that the
return value is `scope`? The `scope` attribute would be interpreted as applying
to the `this` reference, when we might need a smaller scope. I really wish
`this` parameter qualifiers were only allowed after the parameter list to avoid
ambiguities.

--


More information about the Digitalmars-d-bugs mailing list