[clang] [Clang] Implement CWG2598: Union of non-literal types (PR #78195)

[Shafik Yaghmour via cfe-commits]

https://github.com/shafik commented:

Mostly looks good but I would like a second set of eyes.

https://github.com/llvm/llvm-project/pull/78195