Template:cpp/experimental/ranges/note Same deduction

A deduction constraint of the form effectively requires  to be the exact same type as. This constrains both the expression's type and its value category.