File tree Expand file tree Collapse file tree 1 file changed +8
-3
lines changed
clang/test/CXX/temp/temp.decls/temp.spec.partial/temp.spec.partial.member Expand file tree Collapse file tree 1 file changed +8
-3
lines changed Original file line number Diff line number Diff line change 1
1
// RUN: %clang_cc1 -std=c++20 -fsyntax-only -verify %s
2
- // expected-no-diagnostics
3
2
4
3
template <typename T>
5
4
struct A {
@@ -70,11 +69,17 @@ constexpr int A<long>::x<U&> = 5;
70
69
static_assert (A<int >::B<int >::y == 3 );
71
70
static_assert (A<int >::B<int *>::y == 3 );
72
71
static_assert (A<int >::B<int []>::y == 3 );
73
- static_assert (A<int >::B<int &>::y == 4 );
72
+
73
+ // FIXME: This should pass!
74
+ static_assert (A<int >::B<int &>::y == 4 ); // expected-error {{static assertion failed due to requirement 'A<int>::B<int &>::y == 4'}}
75
+ // expected-note@-1 {{expression evaluates to '3 == 4'}}
74
76
static_assert (A<int >::x<int > == 3 );
75
77
static_assert (A<int >::x<int *> == 3 );
76
78
static_assert (A<int >::x<int []> == 3 );
77
- static_assert (A<int >::x<int &> == 4 );
79
+
80
+ // FIXME: This should pass!
81
+ static_assert (A<int >::x<int &> == 4 ); // expected-error {{static assertion failed due to requirement 'A<int>::x<int &> == 4'}}
82
+ // expected-note@-1 {{expression evaluates to '3 == 4'}}
78
83
static_assert (A<long >::B<int >::y == 0 );
79
84
static_assert (A<long >::B<int *>::y == 1 );
80
85
static_assert (A<long >::B<int []>::y == 2 );
You can’t perform that action at this time.
0 commit comments