[Dlang-internal] DIP1000 discussion and testing: borrowing a range

[Walter Bright via Dlang-internal]

On 10/16/2016 1:00 PM, Dicebot wrote:
> Range y = instance.borrow(); // compiles, but must require `scope Range y`

'scope' is inferred for 'y'.


> Now, I would be glad to provide minimal test cases for ease of debugging
> too, but that is not possible until I can reason which behavior is bug
> and which one is intentional. Getting your comments about why certain
> things don't work helps to understand.

When saying "this should compile" or "this should not compile" a minimized 
example is best when reasoning about it. Once we have understanding on what 
should and should not compile, a more meta example exploiting this would then be 
useful.