I’ve drafted a paper for the latest WG21 mailing containing the following interesting examples,
and proposing (as yet, vaguely) that we should do something about it.

Authored by Arthur O'Dwyer, Quuxplusone offers  explorations of C++ programming language features, standard library design, and modern C++ development practices. Readers can delve into advanced topics such as template metaprogramming, design patterns, and effective use of language features. Additionally, they can learn about best practices for writing efficient and maintainable C++ code, optimizing performance, and leveraging the latest language standards.

Arthur O'Dwyer

Types that give false advertising about their trivial copyability and break STL functions.

Types that falsely advertise trivial copyability

A type that falsely advertises trivial copyability

A trivially copy-assignable type that breaks the world

A non-TC aggregate containing only TC types

A TC aggregate containing only non-TC types