View on GitHub
ProofObligations
struct ProofObligations : SendableA set of formulae to be proven for type checking a declaration, expression, or pattern.
-
The scope in which this set is defined.
Declaration
Swift
let scope: AnyScopeID -
A map from variable declaration to its type.
Declaration
Swift
private(set) var declType: DeclProperty<AnyType> { get } -
A map from expression to its type.
Declaration
Swift
private(set) var exprType: ExprProperty<AnyType> { get } -
A map from name expression to its declaration.
Declaration
Swift
private(set) var referredDecl: BindingMap { get } -
A set of type constraints.
Declaration
Swift
private(set) var constraints: ConstraintSet { get } -
trueiff a this set cannot be discharged because.Declaration
Swift
private(set) var isUnsatisfiable: Bool { get } -
Assigns
truetoself.setUnsatisfiable.Declaration
Swift
mutating func setUnsatisfiable() -
Assigns
ttoself.varType[d]. -
Assigns
ttoself.exprType[e]. -
Assigns
rtoself.referredDecl[n].Declaration
Swift
mutating func assign(_ r: DeclReference, to n: NameExpr.ID) -
Inserts
cinto this set.Declaration
Swift
mutating func insert(_ c: Constraint) -
Inserts
batchinto this set.Declaration
Swift
mutating func insert(_ batch: ConstraintSet)