- [x] Deprecate `__builtin_trivially_relocate` - [ ] Enforce that `[[trivial_abi]]` is applied only to relocatable types - [ ] Add logic to static assert / overload resolution diagnostics to explain _why_ a type is no relocatable - [ ] Detect incorrect uses of memcpy on non-bitwise-copyable types