InteriorAssign trait { a := b }

steffahn:

We don’t even have traits for customizing “assignment” operations for the non-interior-mutable case; we also don’t have special syntax for borrow_mut()-style projections in the non-interior-mutable case.

Why would you need it for those cases? You can just a regular = for those.