Relation

public enum Relation : String, Hashable, Codable

A relation between the two types identified in the generic requirement.

For example, the declaration struct S<T: Equatable> has a single generic requirement that the type identified by "T" conforms to the type identified by "Equatable".

  • The type identified on the left-hand side is equivalent to the type identified on the right-hand side of the generic requirement.

    Declaration

    Swift

    case sameType

  • The type identified on the left-hand side conforms to the type identified on the right-hand side of the generic requirement.

    Declaration

    Swift

    case conformance