void no_coroutine_traits_bad_arg_await() {
co_await a; }
void no_coroutine_traits_bad_arg_yield() {
co_yield a; }
void no_coroutine_traits_bad_arg_return() {
co_return a; }
void no_coroutine_traits() {
co_await 4; }
namespace std {
template <class... Args>
struct void_t_imp {
using type = void;
};
template <class... Args>
using void_t = typename void_t_imp<Args...>::type;
template <class T, class = void>
struct traits_sfinae_base {};
template <class T>
struct traits_sfinae_base<T, void_t<typename T::promise_type>> {
using promise_type = typename T::promise_type;
};
template <class Ret, class... Args>
struct coroutine_traits : public traits_sfinae_base<Ret> {};
}
template<typename Promise> struct coro {};
template <typename Promise, typename... Ps>
struct std::coroutine_traits<coro<Promise>, Ps...> {
using promise_type = Promise;
};
struct awaitable {
bool await_ready() noexcept;
template <typename F>
void await_suspend(F) noexcept;
void await_resume() noexcept;
} a;
struct suspend_always {
bool await_ready() noexcept { return false; }
template <typename F>
void await_suspend(F) noexcept;
void await_resume() noexcept {}
};
struct suspend_never {
bool await_ready() noexcept { return true; }
template <typename F>
void await_suspend(F) noexcept;
void await_resume() noexcept {}
};
struct auto_await_suspend {
bool await_ready();
template <typename F> auto await_suspend(F) {}
void await_resume();
};
struct DummyVoidTag {};
DummyVoidTag no_specialization() { co_await a;
}
template <typename... T>
struct std::coroutine_traits<int, T...> {};
int no_promise_type() { co_await a;
}
int no_promise_type_multiple_awaits(int) { co_await a;
co_await a;
}
template <>
struct std::coroutine_traits<double, double> { typedef int promise_type; };
double bad_promise_type(double) { co_await a;
}
template <>
struct std::coroutine_traits<double, int> {
struct promise_type {};
};
double bad_promise_type_2(int) { co_yield 0; }
struct promise; struct promise_void;
struct void_tag {};
template <typename... T>
struct std::coroutine_traits<void, T...> { using promise_type = promise; };
template <typename... T>
struct std::coroutine_traits<void, void_tag, T...> { using promise_type = promise_void; };
void undefined_promise() { co_await a;
}
struct yielded_thing { const char *p; short a, b; };
struct not_awaitable {};
struct promise {
void get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend() noexcept;
awaitable yield_value(int); awaitable yield_value(yielded_thing); not_awaitable yield_value(void()); void return_value(int); void unhandled_exception();
};
struct promise_void {
void get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend() noexcept;
void return_void();
void unhandled_exception();
};
void no_coroutine_handle() { co_return 5; }
namespace std {
template <class PromiseType = void>
struct coroutine_handle {
static coroutine_handle from_address(void *) noexcept;
};
template <>
struct coroutine_handle<void> {
template <class PromiseType>
coroutine_handle(coroutine_handle<PromiseType>) noexcept;
static coroutine_handle from_address(void *) noexcept;
};
}
void yield() {
co_yield 0;
co_yield {"foo", 1, 2};
co_yield {1e100}; co_yield {"foo", __LONG_LONG_MAX__}; co_yield {"foo"};
co_yield "foo"; co_yield 1.0;
co_yield yield; }
void check_auto_await_suspend() {
co_await auto_await_suspend{}; }
void coreturn(int n) {
co_await a;
if (n == 0)
co_return 3;
if (n == 1)
co_return {4}; if (n == 2)
co_return "foo"; co_return 42;
}
template <class T>
void co_await_non_dependent_arg(T) {
co_await a;
}
template void co_await_non_dependent_arg(int);
void mixed_yield() {
co_yield 0; return; }
void mixed_yield_invalid() {
co_yield blah; return; }
template <class T>
void mixed_yield_template(T) {
co_yield blah; return; }
template <class T>
void mixed_yield_template2(T) {
co_yield 42;
return; }
template <class T>
void mixed_yield_template3(T v) {
co_yield blah(v);
return; }
void mixed_await() {
co_await a; return; }
void mixed_await_invalid() {
co_await 42; return; }
template <class T>
void mixed_await_template(T) {
co_await 42;
return; }
template <class T>
void mixed_await_template2(T v) {
co_await v; return; }
template void mixed_await_template2(long);
void only_coreturn(void_tag) {
co_return; }
void mixed_coreturn(void_tag, bool b) {
if (b)
co_return; else
return; }
void mixed_coreturn_invalid(bool b) {
if (b)
co_return; else
return; }
template <class T>
void mixed_coreturn_template(void_tag, bool b, T v) {
if (b)
co_return v; else
return; }
template void mixed_coreturn_template(void_tag, bool, int);
template <class T>
void mixed_coreturn_template2(bool b, T) {
if (b)
co_return v; else
return; }
struct CtorDtor {
CtorDtor() {
co_yield 0; }
CtorDtor(awaitable a) {
co_await a; }
~CtorDtor() {
co_return 0; }
void operator=(CtorDtor&) {
co_yield 0; }
void operator=(CtorDtor const &) {
co_yield 0; }
void operator=(CtorDtor &&) {
co_await a; }
void operator=(CtorDtor const &&) {
co_await a; }
void operator=(int) {
co_await a; }
};
namespace std { class type_info; }
void unevaluated() {
decltype(co_await a); sizeof(co_await a); typeid(co_await a); decltype(co_yield 1); sizeof(co_yield 2); typeid(co_yield 3); }
void default_argument(int arg = co_await 0) {}
void await_in_catch_coroutine() {
try {
} catch (...) { []() -> void { co_await a; }(); co_await a; }
}
void await_nested_in_catch_coroutine() {
try {
} catch (...) { try {
co_await a; []() -> void { co_await a; }(); } catch (...) {
co_return 123;
}
}
}
void await_in_lambda_in_catch_coroutine() {
try {
} catch (...) {
[]() -> void { co_await a; }(); }
}
void yield_in_catch_coroutine() {
try {
} catch (...) {
co_yield 1; }
}
void return_in_catch_coroutine() {
try {
} catch (...) {
co_return 123; }
}
constexpr auto constexpr_deduced_return_coroutine() {
co_yield 0; }
void varargs_coroutine(const char *, ...) {
co_await a; }
auto deduced_return_coroutine() {
co_await a; }
struct outer {};
struct await_arg_1 {};
struct await_arg_2 {};
namespace adl_ns {
struct coawait_arg_type {};
awaitable operator co_await(coawait_arg_type) noexcept;
}
namespace dependent_operator_co_await_lookup {
template<typename T> void await_template(T t) {
co_await t; };
template void await_template(awaitable);
struct indirectly_awaitable { indirectly_awaitable(outer); };
awaitable operator co_await(indirectly_awaitable); template void await_template(indirectly_awaitable);
struct not_awaitable {};
template void await_template(not_awaitable);
template<typename T> void await_template_2(T t) {
co_await t;
};
template void await_template(outer); template void await_template_2(outer);
struct transform_awaitable {};
struct transformed {};
struct transform_promise {
typedef transform_awaitable await_arg;
coro<transform_promise> get_return_object();
transformed initial_suspend();
::adl_ns::coawait_arg_type final_suspend() noexcept;
transformed await_transform(transform_awaitable);
void unhandled_exception();
void return_void();
};
template <class AwaitArg>
struct basic_promise {
typedef AwaitArg await_arg;
coro<basic_promise> get_return_object();
awaitable initial_suspend();
awaitable final_suspend() noexcept;
void unhandled_exception();
void return_void();
};
awaitable operator co_await(await_arg_1);
template <typename T, typename U>
coro<T> await_template_3(U t) {
co_await t;
}
template coro<basic_promise<await_arg_1>> await_template_3<basic_promise<await_arg_1>>(await_arg_1);
template <class T, int I = 0>
struct dependent_member {
coro<T> mem_fn() const {
co_await typename T::await_arg{}; }
template <class U>
coro<T> dep_mem_fn(U t) {
co_await t;
}
};
template <>
struct dependent_member<long> {
coro<transform_promise> mem_fn() const { co_await transform_awaitable{};
}
template <class R, class U>
coro<R> dep_mem_fn(U u) { co_await u; }
};
awaitable operator co_await(await_arg_2);
template struct dependent_member<basic_promise<await_arg_1>, 0>;
template struct dependent_member<basic_promise<await_arg_2>, 0>;
template <>
coro<transform_promise>
dependent_member<long>::dep_mem_fn<transform_promise>(int) { co_await transform_awaitable{};
}
void operator co_await(transform_awaitable) = delete;
awaitable operator co_await(transformed);
template coro<transform_promise>
dependent_member<long>::dep_mem_fn<transform_promise>(transform_awaitable);
template <>
coro<transform_promise> dependent_member<long>::dep_mem_fn<transform_promise>(long) {
co_await transform_awaitable{};
}
template <>
struct dependent_member<int> {
coro<transform_promise> mem_fn() const {
co_await transform_awaitable{};
}
};
template coro<transform_promise> await_template_3<transform_promise>(transform_awaitable);
template struct dependent_member<transform_promise>;
template coro<transform_promise> dependent_member<transform_promise>::dep_mem_fn(transform_awaitable);
}
struct yield_fn_tag {};
template <>
struct std::coroutine_traits<void, yield_fn_tag> {
struct promise_type {
awaitable yield_value(int());
void return_value(int());
suspend_never initial_suspend();
suspend_never final_suspend() noexcept;
void get_return_object();
void unhandled_exception();
};
};
namespace placeholder {
awaitable f(), f(int); int g(), g(int); void x() {
co_await f; }
void y() {
co_yield g; }
void z() {
co_await a;
co_return g; }
void x(yield_fn_tag) {
co_await f; }
void y(yield_fn_tag) {
co_yield g;
}
void z(yield_fn_tag) {
co_await a;
co_return g;
}
}
struct bad_promise_1 {
suspend_always initial_suspend();
suspend_always final_suspend() noexcept;
void unhandled_exception();
void return_void();
};
coro<bad_promise_1> missing_get_return_object() { co_await a;
}
struct bad_promise_2 {
coro<bad_promise_2> get_return_object();
suspend_always final_suspend() noexcept;
void unhandled_exception();
void return_void();
};
coro<bad_promise_2> missing_initial_suspend() { co_await a;
}
struct bad_promise_3 {
coro<bad_promise_3> get_return_object();
suspend_always initial_suspend();
void unhandled_exception();
void return_void();
};
coro<bad_promise_3> missing_final_suspend() noexcept { co_await a;
}
struct bad_promise_4 {
coro<bad_promise_4> get_return_object();
not_awaitable initial_suspend();
suspend_always final_suspend() noexcept;
void return_void();
};
coro<bad_promise_4> bad_initial_suspend() { co_await a; }
struct bad_promise_5 {
coro<bad_promise_5> get_return_object();
suspend_always initial_suspend();
not_awaitable final_suspend() noexcept;
void return_void();
};
coro<bad_promise_5> bad_final_suspend() { co_await a; }
struct bad_promise_6 {
coro<bad_promise_6> get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend() noexcept;
void unhandled_exception();
void return_void(); void return_value(int) const; void return_value(int);
};
coro<bad_promise_6> bad_implicit_return() { co_await a;
}
template <class T>
coro<T> bad_implicit_return_dependent(T) { co_await a;
}
template coro<bad_promise_6> bad_implicit_return_dependent(bad_promise_6);
struct bad_promise_7 { coro<bad_promise_7> get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend() noexcept;
void return_void();
};
coro<bad_promise_7> no_unhandled_exception() { co_await a;
}
template <class T>
coro<T> no_unhandled_exception_dependent(T) { co_await a;
}
template coro<bad_promise_7> no_unhandled_exception_dependent(bad_promise_7);
struct bad_promise_base {
private:
void return_void(); };
struct bad_promise_8 : bad_promise_base {
coro<bad_promise_8> get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend() noexcept;
void unhandled_exception() __attribute__((unavailable)); void unhandled_exception() const;
void unhandled_exception(void *) const;
};
coro<bad_promise_8> calls_unhandled_exception() {
co_await a;
}
template <class T>
coro<T> calls_unhandled_exception_dependent(T) {
co_await a;
}
template coro<bad_promise_8> calls_unhandled_exception_dependent(bad_promise_8);
struct bad_promise_9 {
coro<bad_promise_9> get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend() noexcept;
void await_transform(void *);
awaitable await_transform(int) __attribute__((unavailable)); void return_void();
void unhandled_exception();
};
coro<bad_promise_9> calls_await_transform() {
co_await 42; }
struct bad_promise_10 {
coro<bad_promise_10> get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend() noexcept;
int await_transform;
void return_void();
void unhandled_exception();
};
coro<bad_promise_10> bad_coawait() {
co_await 42; }
struct call_operator {
template <class... Args>
awaitable operator()(Args...) const { return a; }
};
void ret_void();
struct good_promise_1 {
coro<good_promise_1> get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend() noexcept;
void unhandled_exception();
static const call_operator await_transform;
using Fn = void (*)();
Fn return_void = ret_void;
};
const call_operator good_promise_1::await_transform;
coro<good_promise_1> ok_static_coawait() {
co_await 42;
}
template<typename T> void ok_generic_lambda_coawait_PR41909() {
[](auto& arg) -> coro<good_promise_1> { co_await 12;
};
[](auto &arg) -> coro<good_promise_1> {
co_await 24;
}("argument");
[](auto &arg) ->coro<good_promise_1> { []() -> coro<good_promise_1> {
co_await 36;
};
co_await 48;
};
}
template void ok_generic_lambda_coawait_PR41909<int>();
template <> struct std::coroutine_traits<int, int, const char **> { using promise_type = promise; };
int main(int, const char**) {
co_await a; }
struct good_promise_2 {
float get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend() noexcept;
void return_void();
void unhandled_exception();
};
template <> struct std::coroutine_handle<good_promise_2> {};
template <> struct std::coroutine_traits<float> { using promise_type = good_promise_2; };
float badly_specialized_coro_handle() { co_return; }
namespace std {
struct nothrow_t {};
constexpr nothrow_t nothrow = {};
}
using SizeT = decltype(sizeof(int));
void* operator new(SizeT __sz, const std::nothrow_t&) noexcept;
void operator delete(void* __p, const std::nothrow_t&) noexcept;
struct promise_on_alloc_failure_tag {};
template <>
struct std::coroutine_traits<int, promise_on_alloc_failure_tag> {
struct promise_type {
int get_return_object() {}
suspend_always initial_suspend() { return {}; }
suspend_always final_suspend() noexcept { return {}; }
void return_void() {}
int get_return_object_on_allocation_failure(); void unhandled_exception();
};
};
extern "C" int f(promise_on_alloc_failure_tag) {
co_return; }
struct bad_promise_11 {
coro<bad_promise_11> get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend() noexcept;
void unhandled_exception();
void return_void();
private:
static coro<bad_promise_11> get_return_object_on_allocation_failure(); };
coro<bad_promise_11> private_alloc_failure_handler() {
co_return; }
template <class T>
coro<T> dependent_private_alloc_failure_handler(T) {
co_return; }
template coro<bad_promise_11> dependent_private_alloc_failure_handler(bad_promise_11);
struct bad_promise_12 {
coro<bad_promise_12> get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend() noexcept;
void unhandled_exception();
void return_void();
static coro<bad_promise_12> get_return_object_on_allocation_failure();
static void* operator new(SizeT);
};
coro<bad_promise_12> throwing_in_class_new() { co_return;
}
template <class T>
coro<T> dependent_throwing_in_class_new(T) { co_return;
}
template coro<bad_promise_12> dependent_throwing_in_class_new(bad_promise_12);
struct good_promise_13 {
coro<good_promise_13> get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend() noexcept;
void unhandled_exception();
void return_void();
static coro<good_promise_13> get_return_object_on_allocation_failure();
};
coro<good_promise_13> uses_nothrow_new() {
co_return;
}
template <class T>
coro<T> dependent_uses_nothrow_new(T) {
co_return;
}
template coro<good_promise_13> dependent_uses_nothrow_new(good_promise_13);
struct good_promise_custom_new_operator {
coro<good_promise_custom_new_operator> get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend() noexcept;
void return_void();
void unhandled_exception();
void *operator new(SizeT, double, float, int);
};
coro<good_promise_custom_new_operator>
good_coroutine_calls_custom_new_operator(double, float, int) {
co_return;
}
struct coroutine_nonstatic_member_struct;
struct good_promise_nonstatic_member_custom_new_operator {
coro<good_promise_nonstatic_member_custom_new_operator> get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend() noexcept;
void return_void();
void unhandled_exception();
void *operator new(SizeT, coroutine_nonstatic_member_struct &, double);
};
struct good_promise_noexcept_custom_new_operator {
static coro<good_promise_noexcept_custom_new_operator> get_return_object_on_allocation_failure();
coro<good_promise_noexcept_custom_new_operator> get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend() noexcept;
void return_void();
void unhandled_exception();
void *operator new(SizeT, double, float, int) noexcept;
};
coro<good_promise_noexcept_custom_new_operator>
good_coroutine_calls_noexcept_custom_new_operator(double, float, int) {
co_return;
}
struct mismatch_gro_type_tag1 {};
template <>
struct std::coroutine_traits<int, mismatch_gro_type_tag1> {
struct promise_type {
void get_return_object() {} suspend_always initial_suspend() { return {}; }
suspend_always final_suspend() noexcept { return {}; }
void return_void() {}
void unhandled_exception();
};
};
extern "C" int f(mismatch_gro_type_tag1) {
co_return; }
struct mismatch_gro_type_tag2 {};
template <>
struct std::coroutine_traits<int, mismatch_gro_type_tag2> {
struct promise_type {
void *get_return_object() {} suspend_always initial_suspend() { return {}; }
suspend_always final_suspend() noexcept { return {}; }
void return_void() {}
void unhandled_exception();
};
};
extern "C" int f(mismatch_gro_type_tag2) {
co_return; }
struct mismatch_gro_type_tag3 {};
template <>
struct std::coroutine_traits<int, mismatch_gro_type_tag3> {
struct promise_type {
int get_return_object() {}
static void get_return_object_on_allocation_failure() {} suspend_always initial_suspend() { return {}; }
suspend_always final_suspend() noexcept { return {}; }
void return_void() {}
void unhandled_exception();
};
};
extern "C" int f(mismatch_gro_type_tag3) {
co_return; }
struct mismatch_gro_type_tag4 {};
template <>
struct std::coroutine_traits<int, mismatch_gro_type_tag4> {
struct promise_type {
int get_return_object() {}
static char *get_return_object_on_allocation_failure() {} suspend_always initial_suspend() { return {}; }
suspend_always final_suspend() noexcept { return {}; }
void return_void() {}
void unhandled_exception();
};
};
extern "C" int f(mismatch_gro_type_tag4) {
co_return; }
struct promise_no_return_func {
coro<promise_no_return_func> get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend() noexcept;
void unhandled_exception();
};
coro<promise_no_return_func> no_return_value_or_return_void() {
co_await a;
}
coro<promise_no_return_func> no_return_value_or_return_void_2() {
co_return; }
coro<promise_no_return_func> no_return_value_or_return_void_3() {
co_return 43; }
struct bad_await_suspend_return {
bool await_ready();
char await_suspend(std::coroutine_handle<>);
void await_resume();
};
struct bad_await_ready_return {
void await_ready();
bool await_suspend(std::coroutine_handle<>);
void await_resume();
};
struct await_ready_explicit_bool {
struct BoolT {
explicit operator bool() const;
};
BoolT await_ready();
void await_suspend(std::coroutine_handle<>);
void await_resume();
};
template <class SuspendTy>
struct await_suspend_type_test {
bool await_ready();
SuspendTy await_suspend(std::coroutine_handle<>);
void await_resume();
};
void test_bad_suspend() {
{
bad_await_ready_return a;
co_await a; }
{
bad_await_suspend_return b;
co_await b; }
{
await_ready_explicit_bool c;
co_await c; }
{
await_suspend_type_test<bool &&> a;
await_suspend_type_test<bool &> b;
await_suspend_type_test<const void> c;
await_suspend_type_test<const volatile bool> d; co_await a; co_await b; co_await c; co_await d; }
}
template <int ID = 0>
struct NoCopy {
NoCopy(NoCopy const&) = delete; };
template <class T, class U>
void test_dependent_param(T t, U) {
((void)t);
co_return 42;
}
template void test_dependent_param(NoCopy<0>, NoCopy<1>);
namespace CoroHandleMemberFunctionTest {
struct CoroMemberTag {};
struct BadCoroMemberTag {};
template <class T, class U>
constexpr bool IsSameV = false;
template <class T>
constexpr bool IsSameV<T, T> = true;
template <class T>
struct TypeTest {
template <class U>
static constexpr bool IsSame = IsSameV<T, U>;
template <class... Args>
static constexpr bool MatchesArgs = IsSameV<T,
std::coroutine_traits<CoroMemberTag, Args...>>;
};
template <class T>
struct AwaitReturnsType {
bool await_ready() const;
void await_suspend(...) const;
T await_resume() const;
};
template <class... CoroTraitsArgs>
struct CoroMemberPromise {
using TraitsT = std::coroutine_traits<CoroTraitsArgs...>;
using TypeTestT = TypeTest<TraitsT>;
using AwaitTestT = AwaitReturnsType<TypeTestT>;
CoroMemberTag get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend() noexcept;
AwaitTestT yield_value(int);
void return_void();
void unhandled_exception();
};
}
template <class... Args>
struct ::std::coroutine_traits<CoroHandleMemberFunctionTest::CoroMemberTag, Args...> {
using promise_type = CoroHandleMemberFunctionTest::CoroMemberPromise<CoroHandleMemberFunctionTest::CoroMemberTag, Args...>;
};
namespace CoroHandleMemberFunctionTest {
struct TestType {
CoroMemberTag test_qual() {
auto TC = co_yield 0;
static_assert(TC.MatchesArgs<TestType &>, "");
static_assert(!TC.MatchesArgs<TestType>, "");
static_assert(!TC.MatchesArgs<TestType *>, "");
}
CoroMemberTag test_asserts(int *) const {
auto TC = co_yield 0;
static_assert(TC.MatchesArgs<const TestType &>, ""); static_assert(TC.MatchesArgs<const TestType &>, ""); static_assert(TC.MatchesArgs<const TestType &, int *>, "");
}
CoroMemberTag test_qual(int *, const float &&, volatile void *volatile) const {
auto TC = co_yield 0;
static_assert(TC.MatchesArgs<const TestType &, int *, const float &&, volatile void *volatile>, "");
}
CoroMemberTag test_qual() const volatile {
auto TC = co_yield 0;
static_assert(TC.MatchesArgs<const volatile TestType &>, "");
}
CoroMemberTag test_ref_qual() & {
auto TC = co_yield 0;
static_assert(TC.MatchesArgs<TestType &>, "");
}
CoroMemberTag test_ref_qual() const & {
auto TC = co_yield 0;
static_assert(TC.MatchesArgs<TestType const &>, "");
}
CoroMemberTag test_ref_qual() && {
auto TC = co_yield 0;
static_assert(TC.MatchesArgs<TestType &&>, "");
}
CoroMemberTag test_ref_qual(const char *&) const volatile && {
auto TC = co_yield 0;
static_assert(TC.MatchesArgs<TestType const volatile &&, const char *&>, "");
}
CoroMemberTag test_args(int) {
auto TC = co_yield 0;
static_assert(TC.MatchesArgs<TestType &, int>, "");
}
CoroMemberTag test_args(int, long &, void *) const {
auto TC = co_yield 0;
static_assert(TC.MatchesArgs<TestType const &, int, long &, void *>, "");
}
template <class... Args>
CoroMemberTag test_member_template(Args...) const && {
auto TC = co_yield 0;
static_assert(TC.template MatchesArgs<TestType const &&, Args...>, "");
}
static CoroMemberTag test_static() {
auto TC = co_yield 0;
static_assert(TC.MatchesArgs<>, "");
static_assert(!TC.MatchesArgs<TestType>, "");
static_assert(!TC.MatchesArgs<TestType &>, "");
static_assert(!TC.MatchesArgs<TestType *>, "");
}
static CoroMemberTag test_static(volatile void *const, char &&) {
auto TC = co_yield 0;
static_assert(TC.MatchesArgs<volatile void *const, char &&>, "");
}
template <class Dummy>
static CoroMemberTag test_static_template(const char *volatile &, unsigned) {
auto TC = co_yield 0;
using TCT = decltype(TC);
static_assert(TCT::MatchesArgs<const char *volatile &, unsigned>, "");
static_assert(!TCT::MatchesArgs<TestType &, const char *volatile &, unsigned>, "");
}
BadCoroMemberTag test_diagnostics() {
co_return;
}
BadCoroMemberTag test_diagnostics(int) const && {
co_return;
}
static BadCoroMemberTag test_static_diagnostics(long *) {
co_return;
}
};
template CoroMemberTag TestType::test_member_template(long, const char *) const &&;
template CoroMemberTag TestType::test_static_template<void>(const char *volatile &, unsigned);
template <class... Args>
struct DepTestType {
CoroMemberTag test_asserts(int *) const {
auto TC = co_yield 0;
static_assert(TC.template MatchesArgs<const DepTestType &>, ""); static_assert(TC.template MatchesArgs<>, ""); static_assert(TC.template MatchesArgs<const DepTestType &, int *>, "");
}
CoroMemberTag test_qual() {
auto TC = co_yield 0;
static_assert(TC.template MatchesArgs<DepTestType &>, "");
static_assert(!TC.template MatchesArgs<DepTestType>, "");
static_assert(!TC.template MatchesArgs<DepTestType *>, "");
}
CoroMemberTag test_qual(int *, const float &&, volatile void *volatile) const {
auto TC = co_yield 0;
static_assert(TC.template MatchesArgs<const DepTestType &, int *, const float &&, volatile void *volatile>, "");
}
CoroMemberTag test_qual() const volatile {
auto TC = co_yield 0;
static_assert(TC.template MatchesArgs<const volatile DepTestType &>, "");
}
CoroMemberTag test_ref_qual() & {
auto TC = co_yield 0;
static_assert(TC.template MatchesArgs<DepTestType &>, "");
}
CoroMemberTag test_ref_qual() const & {
auto TC = co_yield 0;
static_assert(TC.template MatchesArgs<DepTestType const &>, "");
}
CoroMemberTag test_ref_qual() && {
auto TC = co_yield 0;
static_assert(TC.template MatchesArgs<DepTestType &&>, "");
}
CoroMemberTag test_ref_qual(const char *&) const volatile && {
auto TC = co_yield 0;
static_assert(TC.template MatchesArgs<DepTestType const volatile &&, const char *&>, "");
}
CoroMemberTag test_args(int) {
auto TC = co_yield 0;
static_assert(TC.template MatchesArgs<DepTestType &, int>, "");
}
CoroMemberTag test_args(int, long &, void *) const {
auto TC = co_yield 0;
static_assert(TC.template MatchesArgs<DepTestType const &, int, long &, void *>, "");
}
template <class... UArgs>
CoroMemberTag test_member_template(UArgs...) const && {
auto TC = co_yield 0;
static_assert(TC.template MatchesArgs<DepTestType const &&, UArgs...>, "");
}
static CoroMemberTag test_static() {
auto TC = co_yield 0;
using TCT = decltype(TC);
static_assert(TCT::MatchesArgs<>, "");
static_assert(!TCT::MatchesArgs<DepTestType>, "");
static_assert(!TCT::MatchesArgs<DepTestType &>, "");
static_assert(!TCT::MatchesArgs<DepTestType *>, "");
static_assert(TCT::MatchesArgs<int>, ""); }
static CoroMemberTag test_static(volatile void *const, char &&) {
auto TC = co_yield 0;
using TCT = decltype(TC);
static_assert(TCT::MatchesArgs<volatile void *const, char &&>, "");
}
template <class Dummy>
static CoroMemberTag test_static_template(const char *volatile &, unsigned) {
auto TC = co_yield 0;
using TCT = decltype(TC);
static_assert(TCT::MatchesArgs<const char *volatile &, unsigned>, "");
static_assert(!TCT::MatchesArgs<DepTestType &, const char *volatile &, unsigned>, "");
}
};
template struct DepTestType<int>; template CoroMemberTag DepTestType<int>::test_member_template(long, const char *) const &&;
template CoroMemberTag DepTestType<int>::test_static_template<void>(const char *volatile &, unsigned);
struct bad_promise_deleted_constructor {
bad_promise_deleted_constructor() = delete;
coro<bad_promise_deleted_constructor> get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend() noexcept;
void return_void();
void unhandled_exception();
};
coro<bad_promise_deleted_constructor>
bad_coroutine_calls_deleted_promise_constructor() {
co_return;
}
struct good_promise_default_constructor {
good_promise_default_constructor(double, float, int);
good_promise_default_constructor() = default;
coro<good_promise_default_constructor> get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend() noexcept;
void return_void();
void unhandled_exception();
};
coro<good_promise_default_constructor>
good_coroutine_calls_default_constructor() {
co_return;
}
struct some_class;
struct good_promise_custom_constructor {
good_promise_custom_constructor(some_class&, float, int);
good_promise_custom_constructor(double, float, int);
good_promise_custom_constructor() = delete;
coro<good_promise_custom_constructor> get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend() noexcept;
void return_void();
void unhandled_exception();
};
coro<good_promise_custom_constructor>
good_coroutine_calls_custom_constructor(double, float, int) {
co_return;
}
struct some_class {
coro<good_promise_custom_constructor>
good_coroutine_calls_custom_constructor(float, int) {
co_return;
}
coro<good_promise_custom_constructor>
static good_coroutine_calls_custom_constructor(double, float, int) {
co_return;
}
};
struct bad_promise_no_matching_constructor {
bad_promise_no_matching_constructor(int, int, int);
bad_promise_no_matching_constructor() = delete;
coro<bad_promise_no_matching_constructor> get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend() noexcept;
void return_void();
void unhandled_exception();
};
coro<bad_promise_no_matching_constructor>
bad_coroutine_calls_with_no_matching_constructor(int, int) {
co_return;
}
struct some_class2 {
coro<bad_promise_no_matching_constructor>
bad_coroutine_calls_with_no_matching_constructor(int, int, int) {
co_return;
}
};
}
class awaitable_no_unused_warn {
public:
using handle_type = std::coroutine_handle<>;
constexpr bool await_ready() noexcept { return false; }
void await_suspend(handle_type) noexcept {}
int await_resume() noexcept { return 1; }
};
class awaitable_unused_warn {
public:
using handle_type = std::coroutine_handle<>;
constexpr bool await_ready() noexcept { return false; }
void await_suspend(handle_type) noexcept {}
[[nodiscard]] int await_resume() noexcept { return 1; }
};
template <class Await>
struct check_warning_promise {
coro<check_warning_promise> get_return_object();
Await initial_suspend();
Await final_suspend() noexcept;
Await yield_value(int);
void return_void();
void unhandled_exception();
};
coro<check_warning_promise<awaitable_no_unused_warn>>
test_no_unused_warning() {
co_await awaitable_no_unused_warn();
co_yield 42;
}
coro<check_warning_promise<awaitable_unused_warn>>
test_unused_warning() {
co_await awaitable_unused_warn(); co_yield 42; }
struct missing_await_ready {
void await_suspend(std::coroutine_handle<>);
void await_resume();
};
struct missing_await_suspend {
bool await_ready();
void await_resume();
};
struct missing_await_resume {
bool await_ready();
void await_suspend(std::coroutine_handle<>);
};
void test_missing_awaitable_members() {
co_await missing_await_ready{}; co_await missing_await_suspend{}; co_await missing_await_resume{}; }
__attribute__((__always_inline__))
void warn_always_inline() { co_await suspend_always{};
}
[[gnu::always_inline]]
void warn_gnu_always_inline() { co_await suspend_always{};
}