Function has_field_step 

pub fn has_field_step<E>(target: &AssignmentTarget<E>) -> bool

Whether an assignment writes a composite field somewhere along its indirection.