11 Jul
2008
11 Jul
'08
8:45 p.m.
I'm not sure I understand exactly what you mean with 'the use of "x" is statically bound'.
x is looked up using the standard rules, and the result happens to be a constant (in A or B, depending on the class instance). That doesn't mean that the expression x itself is constant. It would be truly odd if the result of the lookup would affect the lookup process itself. The current behavior in that regard is compatible, highly useful and imo quite natural.