cardinality of zip of known cardinalities is only finite

[dvirtz]

The last static assert in the following code should succeed but fails, as the actual value is finite:

int ai[] = {1, 2, 3};
int bi[] = {4, 5, 6};
static_assert(range_cardinality<decltype(ai)>::value == 3);
static_assert(range_cardinality<decltype(bi)>::value == 3);
auto zipped = views::zip(ai, bi);
static_assert(range_cardinality<decltype(zipped)>::value == 3);

see https://gcc.godbolt.org/z/_DGT6g