Following on from the discussion about "std::optional<T>::abandon",
I'd like to discuss whether it would be helpful to be able to know at
compile time how much trailing padding there is inside a type?
This is the `__datasizeof` builtin. In chronological order: