[clang] [clang][Sema] Track trivial-relocatability as a type trait (PR #84621)

dangelog wrote: I perfectly understand that Clang wants to implement the semantics that are being adopted by standard C++, so it wants to reserve `__is_trivially_relocatable` to match those semantics. The amount of comments in this PR is however a strong signal that standard C++ is going dire

[clang] [clang][Sema] Track trivial-relocatability as a type trait (PR #84621)

@@ -857,8 +881,13 @@ void CXXRecordDecl::addedMember(Decl *D) { data().HasDeclaredCopyAssignmentWithConstParam = true; } -if (Method->isMoveAssignmentOperator()) +if (Method->isMoveAssignmentOperator()) { SMKind |= SMF_MoveAssignment; +} + +i