Why can't I give a function's return type the scope storage class?

[jmh530]

On Tuesday, 19 March 2019 at 14:28:00 UTC, ag0aep6g wrote:
> 
> [snip]
> By default, `_allocator` is `GCAllocator` (via some 
> obfuscations). `expandArray` calls the allocator's `reallocate` 
> method. `GCAllocator.reallocate` is not memory safe. The 
> documentation says [2]:
>

So I suppose the question then becomes can something like 
`reallocate` be made @safe with DIP1000?