https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125261
--- Comment #5 from Joseph S. Myers <jsm28 at gcc dot gnu.org> --- Note that being non-evaluated in _Generic is tricky because you don't generally know whether the default association will be selected until subsequent ones have been processed, so avoiding any diagnostics for non-evaluation would mean queuing those diagnostics somehow and then emitting or not emitting them later depending on whether the code turns out to be evaluated. (As is done for checking the C23 rules regarding references to never-defined static functions being allowed in such locations.)
