InteriorAssign trait { a := b }

It would be a circular argument if the goal was to argue that this should continue to be part of Rust’s philosophy. However, for the goal of saying what is currently the case, it doesn’t seem circular. Do keep in mind, of course, that breaking from the current ethos of the language requires a fairly strong motivation to overpower concerns about churn or confusion.