array append result type

[John Colvin via Digitalmars-d-learn]

string a;
char[] b;
pragma(msg, typeof(a ~ b)); // char[]

why not string?

What are the rules that determine this?