[Bug c++/98486] New: Variable template specialization doesn't account for primary's constraints

[johelegp at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98486

            Bug ID: 98486
           Summary: Variable template specialization doesn't account for
                    primary's constraints
           Product: gcc
           Version: 11.0
               URL: https://godbolt.org/z/jon9ea
            Status: UNCONFIRMED
          Keywords: accepts-invalid
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: johelegp at gmail dot com
  Target Milestone: ---

See https://godbolt.org/z/jon9ea.
```C++
template<class>concept C=false;
template<C>int v;
struct X{};
template<>X v<X>;
```