[GNATS 27519] Spurious diagnostic class has no member "promise_type"

[jhsedg]

Customer bug ID

/asio/test/co_composed_select.test/co_composed.cpp

Description

​The preprocessed file is in 27519.C
​
​
​$CPFE --gnu_version=120100 --c++20 -tused -w /tmp/CO.E.C
​"../libs/asio/test/co_composed.cpp", line 46: error: class
​ "std::__n4861::coroutine_traits<void, const lambda ->void *,
​ boost::asio::detail::co_composed_state<void (),
​ boost::asio::detail::detached_handler,
​ boost::asio::detail::co_composed_returns<>>>" has no member
​ "promise_type"
​ [](auto state) -> void
​ ^
​ detected during:
​ instantiation of function "lambda ->void [with
​ =boost::asio::detail::co_composed_state<void (),
​ boost::asio::detail::detached_handler,
​ boost::asio::detail::co_composed_returns<>>]" at line
​ 1097 of "../boost/asio/co_composed.hpp"
​ instantiation of "void
​ boost::asio::detail::initiate_co_composed<Implementation,
​ void (), Signatures...>::operator()(Handler &&, InitArgs
​ &&...) && [with Implementation=lambda ->void,
​ Signatures=<>,
​ Handler=boost::asio::detail::detached_handler,
​ InitArgs=<>]" at line 68 of
​ "../boost/asio/impl/detached.hpp"
​ instantiation of
​ "boost::asio::async_result<boost::asio::detached_t,
​ Signatures...>::return_type
​ boost::asio::async_result<boost::asio::detached_t,
​ Signatures...>::initiate(Initiation &&,
​ RawCompletionToken &&, Args &&...) [with Signatures=<void
​ ()>,
​ Initiation=boost::asio::detail::initiate_co_composed<lamb
​ da ->void, void ()>, RawCompletionToken=const
​ boost::asio::detached_t &, Args=<>]" at line 632 of
​ "../boost/asio/async_result.hpp"
​ instantiation of "auto
​ boost::asio::async_initiate<CompletionToken,Signatures...
​ ,Initiation,Args...>(Initiation &&,
​ boost::asio::type_identity_t &, Args
​ &&...)->decltype(()) [with
​ CompletionToken=const boost::asio::detached_t &,
​ Signatures=<void ()>,
​ Initiation=boost::asio::detail::initiate_co_composed<lamb
​ da ->void, void ()>, Args=<>]" at line 44
​
​"../libs/asio/test/co_composed.cpp", line 70: error: class
​ "std::__n4861::coroutine_traits<void, const lambda [](auto,
​ boost::asio::io_context &)->void *,
​ boost::asio::detail::co_composed_state<void (),
​ boost::asio::detail::detached_handler,
​ boost::asio::detail::co_composed_returns<>>, boost::asio::io_context
​ &>" has no member "promise_type"
​ [](auto state, boost::asio::io_context& ctx) -> void
​ ^
​ detected during:
​ instantiation of function "lambda [](auto, boost::asio::io_context
​ &)->void [with
​ =boost::asio::detail::co_composed_state<void (),
​ boost::asio::detail::detached_handler,
​ boost::asio::detail::co_composed_returns<>>]" at line
​ 1097 of "../boost/asio/co_composed.hpp"
​ instantiation of "void
​ boost::asio::detail::initiate_co_composed<Implementation,
​ void (), Signatures...>::operator()(Handler &&, InitArgs
​ &&...) && [with Implementation=lambda [](auto,
​ boost::asio::io_context &)->void, Signatures=<>,
​ Handler=boost::asio::detail::detached_handler,
​ InitArgs=<std::reference_wrapperboost::asio::io_context
​ >]" at line 68 of "../boost/asio/impl/detached.hpp"
​ instantiation of
​ "boost::asio::async_result<boost::asio::detached_t,
​ Signatures...>::return_type
​ boost::asio::async_result<boost::asio::detached_t,
​ Signatures...>::initiate(Initiation &&,
​ RawCompletionToken &&, Args &&...) [with Signatures=<void
​ ()>,
​ Initiation=boost::asio::detail::initiate_co_composed<lamb
​ da [](auto, boost::asio::io_context &)->void, void ()>,
​ RawCompletionToken=const boost::asio::detached_t &,
​ Args=<std::reference_wrapperboost::asio::io_context>]"
​ at line 632 of "../boost/asio/async_result.hpp"
​ instantiation of "auto
​ boost::asio::async_initiate<CompletionToken,Signatures...
​ ,Initiation,Args...>(Initiation &&,
​ boost::asio::type_identity_t &, Args
​ &&...)->decltype(()) [with
​ CompletionToken=const boost::asio::detached_t &,
​ Signatures=<void ()>,
​ Initiation=boost::asio::detail::initiate_co_composed<lamb
​ da [](auto, boost::asio::io_context &)->void, void ()>,
​ Args=<std::reference_wrapperboost::asio::io_context>]"
​ at line 68