Removing short circuiting from static semantics.
Static struct field access.
Type compatibility issue, formatting.