View on GitHub
EqualityConstraint
struct EqualityConstraint : Constraint, Hashable, Sendableextension EqualityConstraint: CustomStringConvertibleA constraint L == R specifying that L is exactly the same type as R.
-
The left operand.
Declaration
Swift
private(set) var left: AnyType { get } -
The right operand.
Declaration
Swift
private(set) var right: AnyType { get } -
Declaration
Swift
let origin: ConstraintOrigin -
Creates an instance with the given properties.
Declaration
Swift
init(_ left: AnyType, _ right: AnyType, 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 }