`M0-1-3`: Exclude uninstantiated variable templates

[lcartey]

Affected rules

• M0-1-3

Description

Exclude variables from uninstantiated templates and compiler generated variables from this query.

Example

template <bool... Args>
extern constexpr bool all_of_v = true;

template <bool B1, bool... Args>
extern constexpr bool all_of_v<B1, Args...> = B1 && all_of_v<Args...>;

void test() {
  all_of_v<true,true,true>;
}