View on GitHub
ConformanceConstraint
struct ConformanceConstraint : Constraint, Hashable, Sendableextension ConformanceConstraint: CustomStringConvertibleA constraint L : T specifying that L conforms to trait T.
-
Declaration
Swift
let origin: ConstraintOrigin -
Creates an instance with the given properties.
Declaration
Swift
init(_ model: AnyType, conformsTo concept: TraitType, origin: ConstraintOrigin) -
Inserts the type variables that occur free in
selfintos.Declaration
Swift
func collectOpenVariables(in s: inout Set<TypeVariable>) -
-
Declaration
Swift
var description: String { get }