View on GitHub
-
The constraint is caused by a type annotation.
Declaration
Swift
case annotation -
The constraint is caused by an expression being passed as an argument.
Declaration
Swift
case argument -
The constraint is caused by a binding reference.
Declaration
Swift
case binding -
The constraint is caused by a conditional expression.
Declaration
Swift
case branchMerge -
The constraint is caused by an expression being used as a callee.
Declaration
Swift
case callee -
The constraint is caused by a cast expression.
Declaration
Swift
case cast -
The constraint is caused by a discard statement.
Declaration
Swift
case discard -
The constraint is caused by an initialization or assignment.
Declaration
Swift
case initializationOrAssignment -
The constraint is caused by a binding initialization with a type hint.
Declaration
Swift
case initializationWithHint -
The constraint is caused by a binding initialization with a pattern.
Declaration
Swift
case initializationWithPattern -
The constraint is caused by optional binding.
Declaration
Swift
case optionalBinding -
The constraint is caused by the evaluation of a literal expression.
Declaration
Swift
case literal -
The constraint is caused by a member binding reference.
Declaration
Swift
case member -
The constraint is caused by some structural property of the AST.
Declaration
Swift
case structural -
The constraint is caused by a return statement.
Declaration
Swift
case `return` -
The constraint is caused by the use of an entity declared under a where clause.
Declaration
Swift
case whereClause -
The constraint is caused by a yield statement.
Declaration
Swift
case yield -
The constraint is caused by another constraint.
Warning
Do not use this kind outside of constraint solving. It is meant to be used by aConstraintSystemto keep track of dependencies.Declaration
Swift
indirect case subordinate(parent: ConstraintOrigin)
FrontEnd Docs (83% documented)