Symbol: has_trivial_assignment_operator