Same<T, U> Concept

Requires type T to be exactly the same type as U.

Type Parameters