MSVC-2022_CXX17_recursive_type_error.cpp

#include <boost/property_map/property_map.hpp>
#include <boost/swap.hpp> // compiles if removed

#include <memory>
#include <tuple>

template <typename Type>
class No_copy_class
{
    // Forbid using copy constructor
    No_copy_class(const No_copy_class&) { } // compiles if not private

public:
    No_copy_class() { }
};

template <typename T>
class Wrap
{
    No_copy_class<int> m;
};

template <class Type>
struct Property_map
  : public boost::put_get_helper<int&, Property_map<Type> >
{
    int& operator[](std::size_t);
};

template<typename W>
void f(W&& w)
{
    std::shared_ptr<std::tuple<W> > args; // compiles with boost::tuple
    args = std::make_shared<std::tuple<W> >(std::forward<W>(w));
}

int main (int, char**)
{
    Wrap<Property_map<int> > w;

    f(w);

    return EXIT_SUCCESS;
}