<ranges>: Explicitly specify the template parameters for tuple

[cpplearner]

Class template argument deduction for std::tuple does not always result in a tuple of the arguments (e.g. when the first argument is a pair). This PR adds the template parameters to ensure that these uses of tuple behave as expected in pathological cases.

example

#include <ranges>
#include <utility>

struct Tag {};

using Sent = std::pair<Tag, int>;

bool operator==(int*, Sent);
std::ptrdiff_t operator-(int*, Sent);
std::ptrdiff_t operator-(Sent, int*);

struct Rng {
    int* begin();
    Sent end();
};

int main() {
    auto x  = std::views::cartesian_product(Rng{});
    (void) (x.begin() - std::default_sentinel); // `operator-` calls `_It._Distance_from(_It._End_tuple(...))`
    // Before: `_End_tuple` returns a `tuple<Tag, int>`, which results in an error in `_Distance_from`
    // After: `_End_tuple` returns a `tuple<Sent>` as expected
}

[StephanTLavavej]

Looks good to me. I'm not concerned about adding test coverage for this extremely pathological scenario.

[StephanTLavavej]

I'm mirroring this to the MSVC-internal repo - please notify me if any further changes are pushed.

[StephanTLavavej]

Thanks for noticing and fixing this problem! 🦅 😸 🛠️