https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117293
--- Comment #3 from m.cencora at gmail dot com --- I think it should be marked rejects-valid because it makes valid program ill-formed if compiled with -Werror. The problematic diagnostic is user-defined but in code that is never reached, so should not be printed.
