Currently `@with t :a ./= 1` errors, `getfield` should be replace by calling `.`
Currently
@with t :a ./= 1errors,getfieldshould be replace by calling.