File tree Expand file tree Collapse file tree 2 files changed +0
-14
lines changed
clang/test/CXX/expr/expr.prim/expr.prim.req Expand file tree Collapse file tree 2 files changed +0
-14
lines changed Original file line number Diff line number Diff line change @@ -37,13 +37,6 @@ namespace std_example {
3737 static_assert (D<T1>);
3838 template <D T> struct D_check {}; // expected-note{{because 'short' does not satisfy 'D'}}
3939 using dc1 = D_check<short >; // expected-error{{constraints not satisfied for class template 'D_check' [with T = short]}}
40-
41- template <typename T>
42- concept C2 = requires (T a) {
43- requires sizeof (a) == 4 ; // OK
44- requires a == 0 ; // expected-note{{because 'a == 0' would be invalid: constraint variable 'a' cannot be used in an evaluated context}}
45- };
46- static_assert (C2<int >); // expected-note{{because 'int' does not satisfy 'C2'}} expected-error{{static assertion failed}}
4740}
4841
4942template <typename T>
Original file line number Diff line number Diff line change @@ -98,13 +98,6 @@ namespace std_example {
9898 using c1c2 = C_check<int *>; // expected-error{{constraints not satisfied for class template 'C_check' [with T = int *]}}
9999}
100100
101- // typeid() of an expression becomes potentially evaluated if the expression is
102- // of a polymorphic type.
103- class X { virtual ~X (); };
104- constexpr bool b = requires (X &x) { static_cast <int (*)[(typeid (x), 0 )]>(nullptr ); };
105- // expected-error@-1{{constraint variable 'x' cannot be used in an evaluated context}}
106- // expected-note@-2{{'x' declared here}}
107-
108101namespace access_checks {
109102namespace in_requires_expression {
110103template <auto >
You can’t perform that action at this time.
0 commit comments