try_make_tuple_like can't create an std::array

[beojan]

I'm trying to decode into an std::array of a non-default constructible class. I have a tag_invoke specialization for the class itself, and I've added the is_sequence_like<std::array<TYPE>> : std::false_type {} specialization.

Unfortunately, this still doesn't quite work because line 318 of boost/json/detail/value_to.hpp uses:

    return {
        boost::system::in_place_value, T(std::move(*std::get<Is>(items))...});

instead of

    return {
        boost::system::in_place_value, T{std::move(*std::get<Is>(items))...}};

[grisumbras]

Do you create TYPE via a tag_invoke overload? I personally wouldn't recomment using the tuple overload for std::array, as it will instantiate quite a lot of templates for larger arrays. Maybe it makes sense for you to create a tag_invoke overload for array<TYPE, N> directly?

Anyways, it probably makes sense to make the change you are suggesting. I don't expect there to be clashes between constructors of tuple types that change behaviour because of a switch from Tuple(a, b) to Tuple{a, b}.

[beojan]

Yes, TYPE has a tag_invoke overload, and I have currently put in a tag_invoke overload for std::array<TYPE, N> too.