aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/cpp2a/concepts-pr112436.C
blob: 6b755e5ed70a3e740380cd47319b3bc23ab9e7e8 (plain)
1
2
3
4
5
6
7
8
9
// PR c++/112436
// { dg-do compile { target c++20 } }

template<class T>
concept Throwable = requires { throw T(); };
struct Incomplete;

static_assert(!Throwable<Incomplete*>);
static_assert(!Throwable<int(*)[]>);