[Dlang-internal] DIP1000 discussion and testing

[Walter Bright via Dlang-internal]

I think I thought of a solution. Currently, the design ignores 'scope' if it is 
applied to a variable with no indirections. But we can make it apply, in that 
the 'scope' of a function's return value is tied to the 'scope' of the argument, 
even if that argument has no indirections.

This should make Dicebot's design work.