Sign in
gnu
/
gcc
/
93ac832f1846e4867aa6537f76f510fab8e3e87d
/
.
/
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
);
}