Sign in
gnu
/
gcc
/
a48323ff520827d38b0ca4b6af4dc87fe9e26b50
/
.
/
gcc
/
testsuite
/
g++.dg
/
concepts
/
deduction-constraint1.C
blob: dfb0c6e9436776b2f867d146c99441612905885a [
file
] [
log
] [
blame
]
// PR c++/67007
// { dg-options "-std=c++1z -fconcepts" }
template
<
class
U
>
concept
bool
A
=
requires
(
U u
)
{
u
;
};
template
<
class
T
>
concept
bool
B
=
requires
(
T t
)
{
{
t
}
->
A
;
};
void
foo
(
B
);