I believe addition has an associativity of from left to right -- so the expression is not a string addition until it encounters it first string to add, and then generates a string as a result.
The + operator is syntactically left-associative, no matter whether it is later determined by type analysis to represent string concatenation or addition.