cpp/experimental/ranges/concepts/Same

The concept is satisfied if and only if  and  denote the same type.

Despite being specified using it, there need not be any subsumption relationship between and.

For the purposes of constraint checking, implies.