// RUN: %clang_cc1 -std=c++2b %s -fsyntax-only -verify

#include "Inputs/std-coroutine.h"

struct S;
template <typename T>
class coro_test {
public:
    struct promise_type;
    using handle = std::coroutine_handle<promise_type>;
	struct promise_type {
        promise_type(const promise_type&) = delete; // #copy-ctr
        promise_type(T);  // #candidate
        coro_test get_return_object();
        std::suspend_never initial_suspend();
	    std::suspend_never final_suspend() noexcept;
	    void return_void();
        void unhandled_exception();


        template<typename Arg, typename... Args>
        void* operator new(decltype(0zu) sz, Arg&&, Args&... args) {
            static_assert(!__is_same(__decay(Arg), S), "Ok"); // expected-error 2{{Ok}}
        }

    };
private:
	handle h;
};


template <typename Ret, typename... P>
struct std::coroutine_traits<coro_test<S&>, Ret, P...> {
  using promise_type = coro_test<S&>::promise_type;
  static_assert(!__is_same(Ret, S&), "Ok"); // expected-error{{static assertion failed due to requirement '!__is_same(S &, S &)': Ok}}
};


struct S {

    coro_test<S&> ok(this S&, int) {
        co_return; // expected-note {{in instantiation}}
    }

    coro_test<const S&> ok2(this const S&) { // expected-note {{in instantiation}}
        co_return;
    }

    coro_test<int> ko(this const S&) {  // expected-error {{no matching constructor for initialization of 'std::coroutine_traits<coro_test<int>, const S &>::promise_type'}} \
                                        // expected-note {{in instantiation}} \
                                       // FIXME: the message below is unhelpful but this is pre-existing
                                       // expected-note@#candidate {{candidate constructor not viable: requires 1 argument, but 0 were provided}} \
                                       // expected-note@#copy-ctr  {{candidate constructor not viable}}
        co_return;
    }

};