Template talk:par pred2

(thus, Type1 & is not allowed, nor is Type1 unless for Type1 a move is equivalent to a copy (since C++11)

Shouldn't it be Type1&&?


 * The stuff about references non-sense, pay no attention to it. The actual requirement is that the expression or  is well formed and that  doesn't apply a non-const function on any of the dereferenced iterators (a move that isn't a copy for example). So, for example, all of the following are fine:


 * --Ybab321 (talk) 08:08, 11 April 2023 (PDT)