// RUN: %clang_cc1 -fsyntax-only -std=c++17 -verify %s
// RUN: %clang_cc1 -fsyntax-only -std=c++20 -verify %s
// expected-no-diagnostics

struct false_type {
	static constexpr bool value = false;
};

struct true_type {
	static constexpr bool value = true;
};

template <auto& Value, int>
struct test : false_type {};

template <auto& Value>
struct test<Value, 0> : true_type {};

int main() {
    static constexpr int v = 42;
    static_assert(test<v, 0>::value);
}