View on GitHub
SubtypingConstraint
struct SubtypingConstraint : Constraint, Hashableextension SubtypingConstraint: CustomStringConvertibleA constraint L <: R (or L < R) specifying that L is subtype (or strict subtype) of R.
Warning
should not be used directly for inference purposes or the type checker will get stuck. UseinferenceConstraint(_:isSubtypeOf:origin:) instead.
-
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 isStrict: Bool -
Declaration
Swift
let origin: ConstraintOrigin -
Creates an instance with the given properties.
Declaration
Swift
init( _ left: AnyType, _ right: AnyType, strictly isStrict: Bool = false, 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 }