Field access is expressed by using the dot
. followed by the name of the field.
This syntax is also used to access types within packages in the form of
The typer ensures that an accessed field actually exist and may apply transformations depending on the nature of the field. If a field access is ambiguous, understanding the resolution order may help.