Ah, sorry, I meant assignment in general. Anything through which the compiler requires a `&mut` loan must be disallowed. Field assignment and regular assignment (`THING = A`) both require a `&mut` loan.