协议报告具有“自我或相关类型要求”，当它没有任何时候

Question

我有以下代码：

protocol LanguageType: Hashable {
    var description: String { get }
}

extension LanguageType {
    var description: String { return "(Self.self)" }
    var hashValue: Int { return "(Self.self)".hashValue }
}

func ==<T: LanguageType, U: LanguageType>(left: T, right: U) -> Bool {
    return left.hashValue == right.hashValue
}

struct English: LanguageType { }

当我执行以下操作时：

let english: LanguageType = English()

我收到以下错误：

应该来自哪个相关类型？
（即使我删除了"\(Self.self)"，它仍会抱怨。）

Answer 1

Equatable将Self作为关联类型要求，LanguageType间接来自Equatable，因此LanguageType将Self作为关联类型要求。