`M3-9-1`: Exclude partially specialized variable templates

[lcartey]

Affected rules

• M3-9-1
• A2-10-4

Description

This query finds declaration entries which do not match, however it currently erroneously reports partially specialized template variables as having conflicting declarations.

Example

template <class, template <class...> class Template, class... P>
extern constexpr bool substitution_succeeds = false;

template <template <class...> class Template, class... P>
extern constexpr bool substitution_succeeds<void_t<Template<P...>>, Template, P...> = true;