summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/coroutines/pr104051.C
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/g++.dg/coroutines/pr104051.C')
-rw-r--r--gcc/testsuite/g++.dg/coroutines/pr104051.C29
1 files changed, 29 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/coroutines/pr104051.C b/gcc/testsuite/g++.dg/coroutines/pr104051.C
new file mode 100644
index 00000000000..ce7ae55405a
--- /dev/null
+++ b/gcc/testsuite/g++.dg/coroutines/pr104051.C
@@ -0,0 +1,29 @@
+// { dg-additional-options "-fsyntax-only" }
+#include <coroutine>
+#include <vector>
+template <typename> struct promise {
+ struct final_awaitable {
+ bool await_ready() noexcept;
+ template <typename Promise>
+ std::coroutine_handle<>
+ await_suspend(std::coroutine_handle<Promise>) noexcept;
+ void await_resume() noexcept;
+ };
+ auto get_return_object() {
+ return std::coroutine_handle<promise>::from_promise(*this);
+ }
+ auto initial_suspend() { return std::suspend_always(); }
+ auto final_suspend() noexcept { return true; }
+ void unhandled_exception();
+};
+template <typename T> struct task {
+ using promise_type = promise<T>;
+ task(std::coroutine_handle<promise<T>>);
+ bool await_ready();
+ std::coroutine_handle<> await_suspend(std::coroutine_handle<>);
+ T await_resume();
+};
+task<std::vector<int>> foo() { // { dg-error {awaitable type 'bool' is not a structure} }
+ while ((co_await foo()).empty())
+ ;
+}