https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109150
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- I don't think we're on the same page at all. I'm intending to use the trait to mean that the assignment is known to call no operation that is not trivial, as defined in the standard today.