Replace use of std::ignore with agency::detail::ignore