https://github.com/erichkeane commented: THIS example should also be ill-formed by CWG3005: ``` struct S3 { union { int _; }; int _; // error, the one in the union isn't type independent }; ``` https://github.com/llvm/llvm-project/pull/138245