https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66834
--- Comment #8 from Jason Merrill <jason at gcc dot gnu.org> --- I think we should reconsider the rule against partial specialization of a variable concept, as that seems like the right way to handle this situation.