A = A .+ 1 yields different type than A .+= 1; why?

Aha!

From Overload addition assignment += operator - #2 by stevengj I deduced that x += ydoes exactly the same thing as x = x + y. This appears to be an exception.