同类型要求 Same-type requirement

规定两个类型表达式必须解析为完全相同类型的泛型要求。