`copy_if` test seem to violate the precondition

[AlexGuteniev]

[alg.copy]/16:

Preconditions: The ranges [first, last) and [result, result + (last - first)) do not overlap.

The following test do not have this precondition satisfied, as it doesn't even have [result, result + (last - first)) range:

llvm-project/libcxx/test/std/algorithms/alg.modifying.operations/alg.copy/ranges.copy_if.pass.cpp

Lines 160 to 162 in 79210fe

	std::array<S, 4> in = {{{4, 2}, {1, 3}, {3, 4}, {3, 5}}};
	std::array<S, 2> out;
	auto ret = std::ranges::copy_if(in.begin(), in.end(), out.begin(), [](int i) { return i == 3; }, &S::val);

The following tests seem to be also affected by similar issue:

• std/algorithms/alg.modifying.operations/alg.remove/ranges_remove_copy.pass.cpp
• std/algorithms/alg.modifying.operations/alg.unique/unique_copy.pass.cpp
• std/algorithms/alg.modifying.operations/alg.unique/ranges_unique_copy.pass.cpp

[AlexGuteniev]

This is LWG4262 now.
(If the proposed resolution is fine, can close this issue without changes)

[AlexGuteniev]

This problem does not exist anymore after P3179R9 is merged.
The precondition has changed, so the tests do not violate it anymore.