Sign in
gnu
/
gcc
/
1ba7adabf29eb671e418692fad076ea6edd08e3d
/
.
/
gcc
/
testsuite
/
g++.dg
/
cpp2a
/
concepts-requires13.C
blob: 062d22c5aeebcf93cdc19c3e94ba3e409c8f6b7e [
file
] [
log
] [
blame
]
// { dg-do compile { target c++20 } }
template
<
class
T
>
concept
C
=
true
;
template
<
class
T
>
requires C
<
typename
T
::
foo
>
void
f
(
T t
)
{
}
void
f
(...);
template
<
class
T
>
requires C
<
T
>
void
g
(
T t
)
{
}
int
main
()
{
f
(
42
);
g
(
42
);
}