On Wed, 26 May 2021 at 18:00, Patrick Palka via Libstdc++ <libstd...@gcc.gnu.org> wrote: > > When input_iterator<_Out> isn't satisfied, we need to avoid substituting > into iter_value_t<_Out> because the latter isn't necessarily > well-formed in that case. To that end, this patch rewrites the > problematic condition in ranges::unique_copy into a nested requirement > which has the correct short-circuiting behavior. > > Tested on x86_64-pc-linux-gnu, does this look OK?
OK, thanks.
