> It also can't catch trivial stuff like misspelling a struct field on a variable of known type. The default definition is `getproperty(x, f::Symbol) = getfie

> It also can't catch trivial stuff like misspelling a struct field on a variable of known type. The default definition is `getproperty(x, f::Symbol) = getfield(x, f)` and `getproperty` can be overridden for a type, so `foo.a` can succeed even if `getfield(foo, :a)` fails. (`getfield` cannot be overridden). So it's not trivial to determine, given the the of `foo`, from the syntax `foo.a` whether that code errors.