@Igor_akhmetov Andrey Игорь, Андрей, привет! Препарирую coroutines ts в текущей

реализации MSVC (Visual Studio Community 2019 16.5.5), у меня по логу фуннция-член initial_suspend промиса вызывается раньше, чем его конструктор:
[thrid][this ]message
-------------------------------------------------------------------------------------------------------------
[26788][01335708]auto __thiscall coreturn::result_type<int>::promise_type::initial_suspend(void) entered ???
[26788][01335708]auto __thiscall coreturn::result_type<int>::promise_type::initial_suspend(void) leaved
[26788][0133573C]__thiscall tracer::tracer(struct tracer &&) noexcept entered
[26788][0133573C]__thiscall tracer::tracer(struct tracer &&) noexcept leaved
[26788][01335708]__thiscall coreturn::result_type<int>::promise_type::promise_type(void) entered ???
[26788][01335708]__thiscall coreturn::result_type<int>::promise_type::promise_type(void) leaved
код простой:
template<typename T>
struct result_type
{
struct promise_type;
using coroutine_handle = std::experimental::coroutine_handle<promise_type>;

result_type(coroutine_handle handle) : handle {handle}
{
scope_tracer _{ __FUNCSIG__, this};
}
result_type(result_type const&)
{
scope_tracer _{ __FUNCSIG__, this };
}
~result_type()
{
scope_tracer _{ __FUNCSIG__, this };
}
T get() {
scope_tracer _{ __FUNCSIG__, this };
return handle.promise().value;;
}
struct promise_type {
T value;
promise_type() : value{ } {
scope_tracer _{ __FUNCSIG__, this };
}
promise_type(tracer param) : value{ } {
scope_tracer _{ __FUNCSIG__, this };
}
~promise_type() {
scope_tracer _{ __FUNCSIG__, this };
}
auto get_return_object() {
scope_tracer _{ __FUNCSIG__, this };
return result_type<T>{coroutine_handle::from_promise(*this)};
}
auto initial_suspend() {
scope_tracer _{ __FUNCSIG__, this };
return co_suspend_never{};
}
auto return_value(T v) {
scope_tracer _{ __FUNCSIG__, this };
logger::info("return value is ", value = v);
return co_suspend_never{};
}
auto final_suspend() noexcept {
scope_tracer _{ __FUNCSIG__, this };
return co_suspend_never{};
}
void unhandled_exception() {
scope_tracer _{ __FUNCSIG__, this };
std::terminate();
}
};
coroutine_handle handle;
};

result_type<int> co_return_func(tracer param)
{
scope_tracer _(__FUNCSIG__);
logger::info("co_return: 42");
co_return 42;
}


это как-то можно объяснить?

И вопрос по поводу вызова конструктора promise_type. Если конструктор промиса принимает аргументы функции, то ведь он должен быть вызван, а не дефолтный:
promise_type(tracer param) : value{ } {
scope_tracer _{ __FUNCSIG__, this };
}
а MSVC требует default constructor.

другие компилеры не пробовал?

Как повторить? На таком коде https://gcc.godbolt.org/z/mkqMap 16.6 сначала вызывает конструктор.