escaping pointer to scope local array: bug or not?

[Robert Fraser]

HOSOKAWA Kenchi wrote:
> It seems dmd 2.031 forgets scope attribute for array.ptr in some cases, so that it allows escaping a pointer to scope local array.
> I'm not sure this is a bug or a kind of "dangerous-but-valid".
 >
> int* ap()
> {
> 	scope auto a = new int[1];
> 	return a.ptr; // no error; this is the problem
> }

Probably should be an error, but, FWIW, scope arrays are still 
heap-allocated (yeah, I know it's inconsistent). So there's no chance of 
memory corruption, etc.; it's as if you didn't have the "scope" there.