Effects analysis distinguishes between struct fields