T[] concat(T)(const(T[]) arr1, const(T[]) arr2) pure

{

    return cast(T[])(arr1 ~ arr2);

}

​

void main()

{

import std.meta : AliasSeq;

    static foreach (T; AliasSeq!(char, const(char), immutable(char))) {{

        pragma(msg, T.stringof, ":");

        T[] s = "".dup;

        // Result type of concatenation may differ:

        pragma(msg, "Variable: ", typeof(s~s).stringof);

        pragma(msg, "Literal:  ", typeof(s~"").stringof);

        // Two const(char)[]s:

        {

            char* p1 = (concat(s, s)).ptr;

            //immutable(char)* p2 = (concat(s, s)).ptr;

            const(char)* p3 = (concat(s, s)).ptr;

            char[] a = concat(s, s);

            string b = concat(s, s);

            const(char)[] c = concat(s, s);

        }

        // One literal:

        {

            char* p1 = (concat(s, "")).ptr;

            //immutable(char)* p2 = (concat(s, "")).ptr;

            const(char)* p3 = (concat(s, "")).ptr;

            char[] a = concat(s, "");

            string b = concat(s, "");

            const(char)[] c = concat(s, "");

        }

    }}

}