View on GitHub
RequirementSymbol
enum RequirementSymbol : HashableA part of a term in a requirement rewriting system.
-
An associated type.
Declaration
Swift
case associatedType(AssociatedTypeDecl.ID) -
A generic parameter type.
Declaration
Swift
case parameterType(GenericParameterDecl.ID) -
A trait.
Declaration
Swift
case trait(TraitDecl.ID) -
A concrete type constraint.
Declaration
Swift
case concrete(AnyType) -
The kind of this symbol.
Declaration
Swift
var kind: Int { get }