Satisfied when T and U can be compared with == and !=. More...
T
U
==
!=
Satisfied when T and U can be compared with == and !=.