DIP1000: Should this compile

[Steven Schveighoffer]

On 5/16/19 10:21 PM, Max Haughton wrote:
> https://run.dlang.io/is/cKFsXh
> 
> Should this compile, or is return scope T* down to the user to not 
> escape (Returning &local directly does not compile)
> 

Answer to subject: no. This is a bug. Please file.

Not sure what the solution is, because dip1000 makes scope a storage 
class. So there's no way to tag what the input parameter points at.

-Steve