The compiler widens the left hand side in a dotted property access, but section 4.10 in the spec does not mention the widening. It is also strange that we do this for a dotted property access but not for a bracket access.