View on GitHub
MergingConstraint
struct MergingConstraint : Constraint, Hashable, Sendableextension MergingConstraint: CustomStringConvertibleA constraint L :> (R1, ..., Rn) specifying that L is the type of a conditional or match
expression whose branches have types R1, ..., Rn.
-
The type of the expression.
Declaration
Swift
private(set) var supertype: AnyType { get } -
The types of the branches.
Declaration
Swift
private(set) var branches: [AnyType] { get } -
Declaration
Swift
let origin: ConstraintOrigin -
Creates an instance with the given properties.
Declaration
Swift
init(_ supertype: AnyType, _ branches: [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 }