Bug 22519 – [dip1000] cannot take address of `ref return`

Compile with -preview=dip1000 ``` @safe: void main() { int x; int* a = &identity(x); // error int* b = identity(x).addressOf; // workaround } ref int identity(return ref int x) {return x;} int* addressOf(return ref int x) {return &x;} ``` > onlineapp.d(5): Error: cannot take address of `ref return` of `identity()` > in `@safe` function `main` This is a needless limitation. As shown, it can be worked around using the `addressOf` function instead of the & operator.

@dkorpel created dlang/dmd pull request #13351 "Fix Issue 22519 - cannot take address of `ref return`" fixing this issue: - Fix Issue 22519 - cannot take address of `ref return` https://github.com/dlang/dmd/pull/13351

How does this interact with -preview=rvaluerefparam ? I smell a bug with that `addressOf` implementation, though it probably should be addressed in the implementation of the abovementioned switch.

(In reply to Stanislav Blinov from comment #2) > How does this interact with -preview=rvaluerefparam ? I thought rvaluerefparam was syntactic sugar for creating a local variable just before the function call and passing that to the function parameter, so it should work just fine. I also agree that it should be the concern of the rvaluerefparam implementation, especially since it's not in the language yet and the DIP for it hasn't even reached draft review.

dlang/dmd pull request #13351 "Fix Issue 22519 - cannot take address of `ref return`" was merged into master: - 3f1c763b9ed58f323550bd6d99e3dec031016f7b by dkorpel: Fix Issue 22519 - cannot take address of `ref return` https://github.com/dlang/dmd/pull/13351