DIP-1000 and return

[Nordlöw via Digitalmars-d-learn]

On Sunday, 1 January 2017 at 18:00:54 UTC, Stefan Koch wrote:
> Try:
>  auto asStatic(T, size_t length)(scope T[length] arr)
>  {
>      return arr;
>  }

Fails as

array_ex.d(72,10): Error: parameter arr is 'return' but function 
does not return any indirections
array_ex.d(80,27): Error: template instance 
array_ex.asStatic!(int, 3LU) error instantiating
array_ex.d(81,9): Error: static assert  (is(typeof(x) == 
int[x.length])) is false