コルーチンのconstexprという提案はありましたか？

Question

コルーチンの学習していてふと思ったのですが、constexpr対応できないのかなと思いました。
例えばですが、

struct generator
{
	struct promise_type;
	using handle_t = std::coroutine_handle<promise_type>;
	struct promise_type
	{
		int value;
		auto get_return_object()
		{
			return generator{ handle_t::from_promise(*this) };
		}
		auto initial_suspend()
		{
			return std::suspend_always{};
		}
		auto final_suspend()
		{
			return std::suspend_always{};
		}
		auto yield_value(int _value)
		{
			value = _value;
			return std::suspend_always{};
		}
		auto return_void() {}
		auto unhandled_exception() {}
	};
	void move_next()
	{
		handle.resume();
	}
	int get_value()
	{
		return handle.promise().value;
	}
	generator(const generator&) = delete;
	generator(generator&& _rhs)noexcept
		:handle{ std::exchange(_rhs.handle,nullptr) }
	{}
private:
	explicit generator(handle_t _handle)
		:handle{ _handle }
	{}
	handle_t handle;
};

generator F()
{
	co_yield 1;
	co_yield 2;
}

int main()
{
	auto x = F();
	x.move_next();
	auto n1 = x.get_value();
	x.move_next();
	auto n2 = x.get_value();
	return 0;
}

このようなコードだったらn1には1,n2には2が入ると確定だと思います。
[質問]
①constexpr対応しようという話はあったのか
②もしあった場合、どのような理由でなしになったのか

お願いします。

Answer 1

①constexpr対応しようという話はあったのか
②もしあった場合、どのような理由でなしになったのか

おそらく、まだコンパイル時処理を議論するフェーズに無いのではと推測します。
C++20に採択されたコルーチンは実行時ヒープメモリ・アロケーションを前提とする仕組みですが、このような動的メモリ確保を避ける最適化(Halo; coroutine Heap Allocation eLision Optimization)が議論されている段階です。

コンパイル時処理(constexpr)への言及は記憶にありませんが、時間があるならばC++ Coroutinesに関連する提案文書のリストから探してみてください :D