View on GitHub
PredicateConstraint
struct PredicateConstraint : Constraint, Hashableextension PredicateConstraint: CustomStringConvertibleA constraint that consists of an arbitrary expression that must evaluate to true.
-
The expression of the constraint.
Declaration
Swift
let expr: AnyExprID -
Declaration
Swift
let origin: ConstraintOrigin -
Creates an instance with the given properties.
Declaration
Swift
init(_ expr: AnyExprID, 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 }