diff --git a/clang/test/CXX/temp/temp.decls/temp.spec.partial/temp.spec.partial.member/p2.cpp b/clang/test/CXX/temp/temp.decls/temp.spec.partial/temp.spec.partial.member/p2.cpp index 7969b7efe597f..61f8b1c32e264 100644 --- a/clang/test/CXX/temp/temp.decls/temp.spec.partial/temp.spec.partial.member/p2.cpp +++ b/clang/test/CXX/temp/temp.decls/temp.spec.partial/temp.spec.partial.member/p2.cpp @@ -1,5 +1,4 @@ // RUN: %clang_cc1 -std=c++20 -fsyntax-only -verify %s -// expected-no-diagnostics template struct A { @@ -70,11 +69,17 @@ constexpr int A::x = 5; static_assert(A::B::y == 3); static_assert(A::B::y == 3); static_assert(A::B::y == 3); -static_assert(A::B::y == 4); + +// FIXME: This should pass! +static_assert(A::B::y == 4); // expected-error {{static assertion failed due to requirement 'A::B::y == 4'}} + // expected-note@-1 {{expression evaluates to '3 == 4'}} static_assert(A::x == 3); static_assert(A::x == 3); static_assert(A::x == 3); -static_assert(A::x == 4); + +// FIXME: This should pass! +static_assert(A::x == 4); // expected-error {{static assertion failed due to requirement 'A::x == 4'}} + // expected-note@-1 {{expression evaluates to '3 == 4'}} static_assert(A::B::y == 0); static_assert(A::B::y == 1); static_assert(A::B::y == 2);