blob: c9ff9cace6ea70ee3bcda75235acf5eb6df1d8f5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
// PR c++/66832
// { dg-do compile { target c++20 } }
template <class T, class U, unsigned N>
requires requires (T& t, U &u) { t.foo(); u.foo(); }
void foo_all( T (&t)[N], U (&u)[N] ) {
for(auto& x : t)
x.foo();
for(auto& x : u)
x.foo();
}
struct S {
void foo() {}
};
int main() {
S rg[4] {};
foo_all(rg, rg);
}
|