Type checker does not check if field accesses use correct static/instance field type.

The type checker does not check that a static field expression actually refers to a static field rather than an instance field. Similarly, it does not check that an instance field expression refers to an instance field rather than an static field.