Some algorithms can be optimised for trivially copyable types.

All polymorphic classes in C++ are deemed to be "not trivially
copyable" . . . even though the vast majority of them are.

So would it make sense to have "is_trivially_copyable_in_reality"
which will be 'true' for polymorphic types which are, in actual fact,
trivially copyable?