条件遵循 Conditional conformance

只有泛型类型的实参满足声明的约束时才成立的协议遵循。