Fastest Way to Append Multiple Elements to an Array

["Nordlöw" via Digitalmars-d-learn]

On Sunday, 14 December 2014 at 23:52:15 UTC, zeljkog wrote:
> void append(T, Args...)(ref T[] arr, Args args){
>   arr.length += args.length;
>   foreach(i, e; args)
>     arr[$ - args.length + i] = args[i];
> }

Isn't this algorithm already encoded somewhere in Phobos?