c++20のコルーチンについて

Question

msvcとclangでコルーチンの挙動が違うのですが、これは仕様上どちらでも大丈夫なのでしょうか？

#include <iostream>
#include <experimental/coroutine>

namespace stdex = std::experimental;

#define OUTPUT_FUNCNAME std::cout<<__func__<<std::endl

template<typename T>
struct coroutine
{
	struct promise_type
	{
		T value{};
		auto get_return_object()
		{
			OUTPUT_FUNCNAME;
			return coroutine{ *this };
		}
		auto initial_suspend()
		{
			OUTPUT_FUNCNAME;
			return stdex::suspend_always{};
		}
		auto final_suspend()
		{
			return stdex::suspend_always{};
		}
		auto yield_value(const T& _value)
		{
			value = _value;
			return stdex::suspend_always{};
		}
		void return_void(){}
		void unhandled_exception(){}
	};
	using coro_handle = stdex::coroutine_handle<promise_type>;
	~coroutine()
	{
		if (coro)coro.destroy();
	}
	coroutine(const coroutine&) = delete;
	coroutine(coroutine&& rhs)noexcept
		:coro{ std::exchange(rhs.coro,nullptr) }{}

	T get_value()
	{
		coro.resume();
		return coro.promise().value;
	}

private:
	explicit coroutine(promise_type& p)
		:coro{ coro_handle::from_promise(p) }{}

	coro_handle coro;
};

coroutine<int> Fn()
{
	co_return;
}

int main()
{
	auto coro = Fn();
	return 0;
}

vc++での出力結果
initial_suspend
get_return_object

clangでの出力結果
get_return_object
initial_suspend

順番が逆ですが、ここの処理の順番は未規定や実装依存ですか？

追記:gccも追加

gccでの出力結果
get_return_object
initial_suspend

Answer 1

[dcl.fct.def.coroutine]/7 で順序が規定されています。

The expression promise.get_­return_­object() is used to initialize the glvalue result or prvalue result object of a call to a coroutine. The call to get_­return_­object is sequenced before the call to initial_­suspend and is invoked at most once.

VC++はコンパイラのバグが疑われます。（好意的に解釈すれば、C++20は未発行ですのでどこかの時点では未規定だったのかもしれません。）