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(*)[]>);
|