Sign in
gnu
/
gcc
/
a25982ada523689c8745d7fb4b1b93c8f5dab2e7
/
.
/
gcc
/
testsuite
/
g++.dg
/
cpp2a
/
concepts-pr78173.C
blob: 50f561abccec82bfa1e59f200a65b55ab77725a3 [
file
] [
log
] [
blame
]
// PR c++/78173
// { dg-do compile { target c++20 } }
template
<
class
T
>
concept
CanDifference
=
requires
(
T x
,
T y
)
{
x
-
y
;
};
static_assert
(!
CanDifference
<
void
*>);