View on GitHub
ConstraintExpr
public enum ConstraintExpr : Codable, SendableThe expression of a type constraint defined in a generic clause.
-
An equality constraint involving one or two skolems.
-
A conformance or instance constraint on a skolem.
-
A constraint on a value parameter.
Declaration
Swift
case value(AnyExprID)