https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105351
--- Comment #4 from Gawain Bolton <gawain.bolton at free dot fr> --- I am confused as to how the requirement expression be valid and yet not be evaluated. This is also not consistent with how the requirement check is done for functions. Finally, this also begs the question as to how one could write a requirement to ensure a class has a static attribute.