Same-type requirement

A generic requirement stating that two type expressions must resolve to exactly the same type.