Sign in
gnu
/
gcc
/
7ff47281ce4f3699185b06a3430968eac2a5b0c6
/
.
/
gcc
/
testsuite
/
g++.dg
/
cpp2a
/
concepts-pr68434.C
blob: 23ecf4de2bc5be298b5656b9511e9f12df8febd2 [
file
] [
log
] [
blame
]
// { dg-do compile { target c++2a } }
template
<class>
concept
C1
=
true
;
template
<class>
concept
C2
=
true
;
template
<
class
Expr
>
concept
C3
=
requires
(
Expr
expr
)
{
{
expr
}->
C1
;
{
expr
}->
C2
;
};
template
<
C3 T
>
auto
f
(
T
);