TypeChecker

struct TypeChecker : Sendable

The transformation from a ScopedProgram to a TypedProgram.

Note

A method named with a leading underscore are meant be called only by the method with the same name but without that leading underscore. The former typically implement the actual computation of a value that is memoized by the latter.

Show on GitHub

diagnostics
The diagnostics of the type errors.
Declaration
Swift

private(set) var diagnostics: DiagnosticSet { get }
Show on GitHub
identifier
An identifier for this instance, unique across concurrent type checking tasks.
Declaration
Swift

private let identifier: UInt8
Show on GitHub
nextFreshVariableIdentifier
The identifier of the next fresh variable.
Declaration
Swift

private var nextFreshVariableIdentifier: UInt64
Show on GitHub
cache
The representation under construction.
Declaration
Swift

private var cache: Cache
Show on GitHub
shouldTraceInference
A closure that accepts a node with its containing program and returns true if a trace of type inference should be logged on the console for that node.
Declaration
Swift

private let shouldTraceInference: (@Sendable (AnyNodeID, TypedProgram) -> Bool)?
Show on GitHub
shouldLogRequirementSystem
A closure that accepts a generic declaration with its containing program and returns true if the requirement system of its environment should be logged on the console.
Declaration
Swift

private let shouldLogRequirementSystem: (@Sendable (AnyDeclID, TypedProgram) -> Bool)?
Show on GitHub
program
The local copy of the program being type checked.
Declaration
Swift

var program: TypedProgram { get }
Show on GitHub
init(asContextFor:)
Creates an instance as context for algorithms on p, whose property are already complete.
Declaration
Swift

init(asContextFor p: TypedProgram)
Show on GitHub


                    
                    
                    init(constructing:tracingInferenceIf:loggingRequirementSystemIf:)

Creates an instance for constructing instanceUnderConstruction.

Declaration

Swift

init(
  constructing instanceUnderConstruction: TypedProgram,
  tracingInferenceIf shouldTraceInference: (@Sendable (AnyNodeID, TypedProgram) -> Bool)?,
  loggingRequirementSystemIf shouldLogRequirements: (@Sendable (AnyDeclID, TypedProgram) -> Bool)?
)

Show on GitHub


                    
                    
                    init(_:collaborativelyConstructing:tracingInferenceIf:loggingRequirementSystemIf:)

Creates an instance with given identifier for constructing instanceUnderConstruction collaboratively with other instances.

Requires

identifier is unique across collaborating instances.

Declaration

Swift

init(
  _ identifier: UInt8,
  collaborativelyConstructing instanceUnderConstruction: SharedMutable<TypedProgram>,
  tracingInferenceIf shouldTraceInference: (@Sendable (AnyNodeID, TypedProgram) -> Bool)?,
  loggingRequirementSystemIf shouldLogRequirements: (@Sendable (AnyDeclID, TypedProgram) -> Bool)?
)

Show on GitHub

report(_:)
Reports the given diagnostic.
Declaration
Swift

private mutating func report(_ d: Diagnostic)
Show on GitHub


                    
                    
                    report(_:)

Reports the given diagnostics.

Declaration

Swift

private mutating func report<S>(_ batch: S) where S : Sequence, S.Element == Diagnostic

Show on GitHub

Type relations

canonical(_:in:)
Returns the canonical form of t in scopeOfUse.
Declaration
Swift

mutating func canonical(_ t: AnyType, in scopeOfUse: AnyScopeID) -> AnyType
Show on GitHub


                    
                    
                    canonical(_:in:)

Returns the canonical form of t in scopeOfUse.

Declaration

Swift

private mutating func canonical(_ t: AssociatedTypeType, in scopeOfUse: AnyScopeID) -> AnyType

Show on GitHub


                    
                    
                    canonical(_:in:)

Returns the canonical form of t in scopeOfUse.

Declaration

Swift

private mutating func canonical(_ t: BoundGenericType, in scopeOfUse: AnyScopeID) -> AnyType

Show on GitHub


                    
                    
                    canonical(_:in:)

Returns the canonical form of t in scopeOfUse.

Declaration

Swift

private mutating func canonical(_ t: UnionType, in scopeOfUse: AnyScopeID) -> AnyType

Show on GitHub


                    
                    
                    canonical(_:in:)

Returns the canonical form of v in scopeOfUse.

Declaration

Swift

mutating func canonical(
  _ v: CompileTimeValue, in scopeOfUse: AnyScopeID
) -> CompileTimeValue

Show on GitHub

canonical(_:in:)
Returns arguments with all types replaced by their canonical form in scopeOfUse.
Declaration
Swift

mutating func canonical( _ arguments: GenericArguments, in scopeOfUse: AnyScopeID ) -> GenericArguments
Show on GitHub
areEquivalent(_:_:in:)
Returns true iff t and u are semantically equivalent in scopeOfUse.
Declaration
Swift

mutating func areEquivalent(_ t: AnyType, _ u: AnyType, in scopeOfUse: AnyScopeID) -> Bool
Show on GitHub
isStrictRefinement(_:of:)
Returns true iff t is a refinement of u and t != u.
Declaration
Swift

mutating func isStrictRefinement(_ t: TraitType, of u: TraitType) -> Bool
Show on GitHub
bases(of:knownToRefine:)
Returns the traits which t refines, reporting a cycle if one of them is in bases.

knownBases serves as a memo to catch refinement cycles and is expected to be empty except in recursive calls to bases(of:knownBases:).
Declaration
Swift

private mutating func bases( of t: TraitType, knownToRefine knownBases: Set<TraitType> = [] ) -> RefinementClosure
Show on GitHub
conformedTraits(of:in:)
Returns the traits to which t is declared conforming in scopeOfUse.
Declaration
Swift

mutating func conformedTraits( of t: AnyType, in scopeOfUse: AnyScopeID ) -> Set<TraitType>
Show on GitHub


                    
                    
                    conformedTraits(of:in:)

Returns the traits to which t is declared conforming in scopeOfUse.

Declaration

Swift

private mutating func conformedTraits(
  of t: AssociatedTypeType, in scopeOfUse: AnyScopeID
) -> Set<TraitType>

Show on GitHub

accumulateConformedTraits(declaredInTraitsRequiring:suffixedBy:in:)
Gathers the traits to which the associated type identified by base and suffix conform.

The traits to which an associated type conforms can be declared in the trait introducing it as well as any of the trait defining its qualification. For example, given a type T.X.Y, a a conformance X.Y: P could be declared in the trait introducing X. Hence, to collect all possible traits, one must gather the conformances of Y in the trait defining Y and the conformances of X.Y in the traits defining X.

base is the qualification of the associated type composed of suffix in reverse order. For example, the base T.X and suffix [Z, Y] denote the associated type T.X.Y.Z.
Declaration
Swift

private mutating func accumulateConformedTraits( declaredInTraitsRequiring base: AssociatedTypeType, suffixedBy suffix: [AssociatedTypeDecl.ID], in accumulator: inout Set<TraitType> )
Show on GitHub
conformedTraits(of:in:)
Returns the traits to which t is declared conforming in scopeOfUse.
Declaration
Swift

private func conformedTraits( of t: BuiltinType, in scopeOfUse: AnyScopeID ) -> Set<TraitType>
Show on GitHub


                    
                    
                    conformedTraits(of:in:)

Returns the traits to which t is declared conforming in scopeOfUse.

Declaration

Swift

private mutating func conformedTraits(
  of t: GenericTypeParameterType, in scopeOfUse: AnyScopeID
) -> Set<TraitType>

Show on GitHub


                    
                    
                    conformedTraits(of:in:)

Returns the traits to which t is declared conforming in scopeOfUse.

Declaration

Swift

private mutating func conformedTraits(
  of t: ProductType, in scopeOfUse: AnyScopeID
) -> Set<TraitType>

Show on GitHub

conformedTraits(of:in:)
Returns the traits to which t can be assumed to be conforming in scopeOfUse.
Declaration
Swift

private mutating func conformedTraits( of t: WitnessType, in scopeOfUse: AnyScopeID ) -> Set<TraitType>
Show on GitHub
conformedTraits(declaredInExtensionsOf:exposedTo:)
Returns the traits to which t is declared conforming by conformance declarations exposed to scopeOfUse.
Declaration
Swift

private mutating func conformedTraits( declaredInExtensionsOf t: AnyType, exposedTo scopeOfUse: AnyScopeID ) -> Set<TraitType>
Show on GitHub
conformedTraits(declaredByConstraintsOn:exposedTo:)
Returns the traits to which t is declared conforming in its generic environment.

t is a generic type parameter or an associated type introduced by a generic environment notionally containing scopeOfUse. The return value is the set of traits used as bounds of t in that environment.
Declaration
Swift

private mutating func conformedTraits( declaredByConstraintsOn t: AnyType, exposedTo scopeOfUse: AnyScopeID ) -> Set<TraitType>
Show on GitHub
conforms(_:to:in:)
Returns true if m conforms to c explicitly or structurally in scopeOfUse.

See also explicitlyConforms and structurallyConforms.
Declaration
Swift

mutating func conforms( _ m: AnyType, to c: TraitType, in scopeOfUse: AnyScopeID ) -> Bool
Show on GitHub
explicitlyConforms(_:to:in:)
Returns true if model conforms to trait explicitly in scopeOfUse.

A conformance is explicit if it has been declared in sources, or if it is the consequence of generic requirements written in sources.
Declaration
Swift

private mutating func explicitlyConforms( _ model: AnyType, to trait: TraitType, in scopeOfUse: AnyScopeID ) -> Bool
Show on GitHub
structurallyConforms(_:to:in:)
Returns true if model structurally conforms to trait in scopeOfUse.

Given a trait describing basis operations (e.g., copy) of values, a structural conformance M: T holds iff all the stored parts of M conform to T, structurally or otherwise. In that case, the conformance can be synthesized because its implementation is obvious.
Declaration
Swift

private mutating func structurallyConforms( _ model: AnyType, to trait: TraitType, in scopeOfUse: AnyScopeID ) -> Bool
Show on GitHub
canSynthesizeConformance(_:to:in:)
Returns true if implementations of trait‘s requirements can be synthesized for model in scopeOfImplementation.

A conformance M: T is synthesizable iff M structurally conforms to T.
Declaration
Swift

private mutating func canSynthesizeConformance( _ model: AnyType, to trait: TraitType, in scopeOfImplementation: AnyScopeID ) -> Bool
Show on GitHub
canSynthesizeConformance(_:to:in:)
Returns true if implementations of trait‘s requirements can be synthesized for model in scopeOfImplementation.
Declaration
Swift

private mutating func canSynthesizeConformance( _ model: BoundGenericType, to trait: TraitType, in scopeOfImplementation: AnyScopeID ) -> Bool
Show on GitHub
canSynthesizeConformance(_:to:in:)
Returns true if implementations of trait‘s requirements can be synthesized for model in scopeOfImplementation.
Declaration
Swift

private mutating func canSynthesizeConformance( _ model: ProductType, to trait: TraitType, in scopeOfImplementation: AnyScopeID ) -> Bool
Show on GitHub
demandConformance(of:to:exposedTo:)
Returns the checked conformance of model to trait that is exposed to scopeOfUse, or nil if such a conformance doesn’t exist.
Declaration
Swift

private mutating func demandConformance( of model: AnyType, to trait: TraitType, exposedTo scopeOfUse: AnyScopeID ) -> Conformance?
Show on GitHub
cachedConformance(of:to:exposedTo:)
Returns the checked conformance of model to trait that is exposed to scopeOfUse, or nil if such a conformance doesn’t exist or hasn’t been checked yet.

The result is the innermost available conformance of model to trait in scopeOfUse iff all possible sources have already been checked. Otherwise, the returned conformance may be shadowed by one that hasn’t been checked yet.

Requires
model is canonical.
Declaration
Swift

func cachedConformance( of model: AnyType, to trait: TraitType, exposedTo scopeOfUse: AnyScopeID ) -> Conformance?
Show on GitHub
cachedConformance(of:to:exposedTo:)
Returns the checked conformance of model to trait that is exposed to scopeOfUse, or nil if such a conformance doesn’t exist or hasn’t been checked yet.

The result is the innermost available conformance of model to trait in scopeOfUse iff all possible sources have already been checked. Otherwise, the returned conformance may be shadowed by one that hasn’t been checked yet.

Requires
model is canonical.
Declaration
Swift

private func cachedConformance( of model: BoundGenericType, to trait: TraitType, exposedTo scopeOfUse: AnyScopeID ) -> Conformance?
Show on GitHub


                    
                    
                    closestConformance(in:exposedTo:)

Returns the innermost element in conformances that is exposed to scopeOfUse.

Declaration

Swift

private func closestConformance<C: Collection<Conformance>>(
  in conformances: C, exposedTo scopeOfUse: AnyScopeID
) -> Conformance?

Show on GitHub


                    
                    
                    originsOfConformance(of:to:exposedTo:)

Returns the origins of the conformances of model to trait exposed to scopeOfUse.

Declaration

Swift

private mutating func originsOfConformance(
  of model: AnyType, to trait: TraitType, exposedTo scopeOfUse: AnyScopeID
) -> [ConformanceOrigin]

Show on GitHub


                    
                    
                    originsOfConformance(of:to:exposedTo:)

Returns the origins of the conformances of model to trait exposed to scopeOfUse.

Declaration

Swift

private mutating func originsOfConformance(
  of model: ProductType, to trait: TraitType, exposedTo scopeOfUse: AnyScopeID
) -> [ConformanceOrigin]

Show on GitHub


                    
                    
                    originsOfConformance(to:declaredBy:exposedTo:)

Returns the origins of conformances to trait exposed to scopeOfUse and declared d.

Declaration

Swift

private mutating func originsOfConformance<T: ConformanceSource>(
  to trait: TraitType, declaredBy d: T.ID, exposedTo scopeOfUse: AnyScopeID
) -> [ConformanceOrigin]

Show on GitHub

originsOfConformance(to:declaredInExtensionsOf:exposedTo:)
Returns the origins of the conformances of model to trait that are declared in extensions exposed to scopeOfUse.
Declaration
Swift

private mutating func originsOfConformance( to trait: TraitType, declaredInExtensionsOf model: AnyType, exposedTo scopeOfUse: AnyScopeID ) -> [ConformanceOrigin]
Show on GitHub
demandImplementation(of:for:in:)
Returns the type implementing requirement for model in scopeOfUse, or nil if model does not implement requirement.
Declaration
Swift

private mutating func demandImplementation( of requirement: AssociatedTypeDecl.ID, for model: AnyType, in scopeOfUse: AnyScopeID ) -> AnyType?
Show on GitHub
demandImplementation(of:in:)
Returns the type implementing requirement r in conformance c if c is well-formed.
Declaration
Swift

private mutating func demandImplementation( of r: AssociatedTypeDecl.ID, in c: Conformance ) -> AnyType?
Show on GitHub

Type transformations

specialize(_:for:in:)
Returns generic with occurrences of parameters keying specialization replaced by their corresponding value, performing necessary name lookups from scopeOfUse.

This method has no effect if specialization is empty.
See more
Declaration
Swift

mutating func specialize( _ generic: AnyType, for specialization: GenericArguments, in scopeOfUse: AnyScopeID ) -> AnyType
Show on GitHub


                    
                    
                    specialize(_:for:in:origin:)

Returns the type checking constraint that specializes generic for specialization in scopeOfUse, anchoring it at origin.

Declaration

Swift

private mutating func specialize(
  _ generic: GenericConstraint, for specialization: GenericArguments, in scopeOfUse: AnyScopeID,
  origin: ConstraintOrigin
) -> Constraint

Show on GitHub

openForUnification(_:)
Returns the type declared by d with its generic parameters bound to fresh variables.

Requires
d is a a generic product type or type alias declaration.
Declaration
Swift

mutating func openForUnification(_ d: AnyDeclID) -> BoundGenericType
Show on GitHub

Type checking

synchronize()
Applies all pending updates to the shared instance.
Declaration
Swift

mutating func synchronize()
Show on GitHub
checkAllDeclarations()
Type checks all declarations in self.program.
Declaration
Swift

mutating func checkAllDeclarations()
Show on GitHub
checkModule(_:)
Type checks m.
Declaration
Swift

mutating func checkModule(_ m: ModuleDecl.ID)
Show on GitHub


                    
                    
                    check(_:)

Type checks the sources in batch.

Declaration

Swift

mutating func check<S>(_ batch: S) where S : Sequence, S.Element == NodeID<TranslationUnit>

Show on GitHub

check(_:)
Type checks u and all declarations nested in d.
Declaration
Swift

private mutating func check(_ u: TranslationUnit.ID)
Show on GitHub


                    
                    
                    check(_:ignoringSharedCache:)

Type checks the declarations in batch.

Declaration

Swift

private mutating func check<S: Sequence<T>, T: DeclID>(
  _ batch: S, ignoringSharedCache ignoreSharedCache: Bool = false
)

Show on GitHub


                    
                    
                    check(_:ignoringSharedCache:)

Type checks d and all declarations nested in d.

Type checking is performed if and only if cache[\.declType][d] is nil. In this case, the type of d is computed with uncheckedType(of: d) and assigned to cache[\.declType][d] before type checking. Then, _check(d) is called with cache.declsUnderChecking containing d. After the call, cache.declsUnderChecking doesn’t contain d. A diagnostic is reported if type checking failed.

Type checking typically consists of visiting a declaration to generate proof obligations that are then discharged by solving type constraints and/or type checking additional declarations.

Requires

!cache.declsUnderChecking.contains(d)

Declaration

Swift

private mutating func check<T: DeclID>(
  _ d: T, ignoringSharedCache ignoreSharedCache: Bool = false
)

Parameters

`d`	The declaration to type check.

Show on GitHub

_check(_:)
Type checks d and all declarations nested in d.
Declaration
Swift

private mutating func _check(_ d: ConformanceDecl.ID)
Show on GitHub
_check(_:)
Type checks d and all declarations nested in d.
Declaration
Swift

private mutating func _check(_ d: ExtensionDecl.ID)
Show on GitHub
_check(_:ignoringSharedCache:)
Type checks d and all declarations nested in d.

Requires
d is not the underlying declaration of a lambda.
Declaration
Swift

private mutating func _check(_ d: FunctionDecl.ID, ignoringSharedCache ignoreSharedCache: Bool)
Show on GitHub
_check(_:)
Type checks d and all declarations nested in d.
Declaration
Swift

private mutating func _check(_ d: GenericParameterDecl.ID)
Show on GitHub
_check(_:)
Type checks d and all declarations nested in d.
Declaration
Swift

private mutating func _check(_ d: InitializerDecl.ID)
Show on GitHub
_check(_:)
Type checks d and all declarations nested in d.
Declaration
Swift

private mutating func _check(_ d: MethodDecl.ID)
Show on GitHub
_check(_:)
Type checks d and all declarations nested in d.
Declaration
Swift

private mutating func _check(_ d: MethodImpl.ID)
Show on GitHub
_check(_:)
Type checks d and all declarations nested in d.
Declaration
Swift

private mutating func _check(_ d: ModuleDecl.ID)
Show on GitHub
_check(_:)
Type checks d and all declarations nested in d.
Declaration
Swift

private mutating func _check(_ d: NamespaceDecl.ID)
Show on GitHub
_check(_:)
Type checks d and all declarations nested in d.
Declaration
Swift

private mutating func _check(_ d: OperatorDecl.ID)
Show on GitHub
_check(_:)
Type checks d and all declarations nested in d.
Declaration
Swift

private mutating func _check(_ d: ParameterDecl.ID)
Show on GitHub
_check(_:)
Type checks d and all declarations nested in d.
Declaration
Swift

private mutating func _check(_ d: ProductTypeDecl.ID)
Show on GitHub
_check(_:)
Type checks d and all declarations nested in d.
Declaration
Swift

private mutating func _check(_ d: SubscriptDecl.ID)
Show on GitHub
_check(_:)
Type checks d and all declarations nested in d.
Declaration
Swift

private mutating func _check(_ d: SubscriptImpl.ID)
Show on GitHub
_check(_:)
Type checks d and all declarations nested in d.
Declaration
Swift

private mutating func _check(_ d: TraitDecl.ID)
Show on GitHub


                    
                    
                    _check(_:)

Undocumented

Declaration

Swift

private mutating func _check(_ d: TypeAliasDecl.ID)

Show on GitHub

checkParameters(_:of:)
Type checks the parameters ps of d.

Requires
The parameters in ps have type annotations.
Declaration
Swift

private mutating func checkParameters<T: Decl & LexicalScope>( _ ps: [ParameterDecl.ID], of d: T.ID )
Show on GitHub
checkPostInference(_:solution:ignoringSharedCache:)
Type checks d after its type has been inferred.

This method is called from discharge(obligations:relatedTo:) on declarations whose types appear in the obligations to discharge.

Requires
cache.uncheckedType[d] has been computed.
Declaration
Swift

private mutating func checkPostInference<T: DeclID>( _ d: T, solution: Solution, ignoringSharedCache ignoreSharedCache: Bool )
Show on GitHub
checkPostInference(_:solution:)
Type checks d, which declares a lambda, after its type has been inferred.
Declaration
Swift

private mutating func checkPostInference(_ d: FunctionDecl.ID, solution: Solution)
Show on GitHub
reifyUncheckedType(of:withAssignmentsIn:)
Substitutes open variables occurring in cache.uncheckedType[d] with their corresponding assignment in solution, returning d‘s reified type.

Requires
cache.uncheckedType[d] has been computed.
Declaration
Swift

@discardableResult private mutating func reifyUncheckedType<T: DeclID>( of d: T, withAssignmentsIn solution: Solution ) -> AnyType
Show on GitHub
check(_:asBodyOfCallableProducing:)
Type checks e as the body of a function returning or susbscript projecting r.
Declaration
Swift

private mutating func check(_ e: AnyExprID, asBodyOfCallableProducing r: AnyType)
Show on GitHub
check(_:instanceOf:)
Checks that e is an instance of t.
Declaration
Swift

private mutating func check(_ e: AnyExprID, instanceOf t: AnyType)
Show on GitHub


                    
                    
                    check(_:)

Type checks s.

Declaration

Swift

private mutating func check<T>(_ s: T) where T : StmtID

Show on GitHub

check(_:)
Type checks s.
Declaration
Swift

private mutating func check(_ s: BraceStmt.ID)
Show on GitHub


                    
                    
                    check(_:)

Type checks s.

Declaration

Swift

private mutating func check(_ s: AssignStmt.ID)

Show on GitHub


                    
                    
                    check(_:)

Type checks s.

Declaration

Swift

private mutating func check(_ s: ConditionalBindingStmt.ID)

Show on GitHub


                    
                    
                    check(_:)

Type checks s.

Declaration

Swift

private mutating func check(_ s: ConditionalCompilationStmt.ID)

Show on GitHub


                    
                    
                    check(_:)

Type checks s.

Declaration

Swift

private mutating func check(_ s: ConditionalStmt.ID)

Show on GitHub

check(_:)
Type checks s.
Declaration
Swift

private mutating func check(_ s: ExprStmt.ID)
Show on GitHub
check(_:)
Type checks s.
Declaration
Swift

private mutating func check(_ s: DeclStmt.ID)
Show on GitHub


                    
                    
                    check(_:)

Type checks s.

Declaration

Swift

private mutating func check(_ s: DiscardStmt.ID)

Show on GitHub


                    
                    
                    check(_:)

Type checks s.

Declaration

Swift

private mutating func check(_ s: DoWhileStmt.ID)

Show on GitHub

check(_:)
Type checks s.
Declaration
Swift

private mutating func check(_ s: ForStmt.ID)
Show on GitHub


                    
                    
                    check(_:)

Type checks s.

Declaration

Swift

private mutating func check(_ s: ReturnStmt.ID)

Show on GitHub

check(_:)
Type checks s.
Declaration
Swift

private mutating func check(_ s: WhileStmt.ID)
Show on GitHub
check(_:)
Type checks s.
Declaration
Swift

private mutating func check(_ s: YieldStmt.ID)
Show on GitHub


                    
                    
                    check(_:)

Type checks condition.

Declaration

Swift

private mutating func check(_ condition: [ConditionItem])

Show on GitHub

imports(exposedTo:)
Returns the modules visible as imports in u.

The returned set contains the modules declared as explicit imports at the top of u along with the standard library and the module containing u.
Declaration
Swift

private mutating func imports(exposedTo u: TranslationUnit.ID) -> Set<ModuleDecl.ID>
Show on GitHub
insertImport(_:from:in:)
If d is a valid import in u, inserts the module referred by d in imports; reports a diagnostic otherwise.
Declaration
Swift

private mutating func insertImport( _ d: ImportDecl.ID, from u: TranslationUnit.ID, in imports: inout Set<ModuleDecl.ID> )
Show on GitHub
checkEnvironment(of:)
Builds and type checks the generic environment of d.
Declaration
Swift

private mutating func checkEnvironment<T>(of d: T.ID) where T : GenericDecl
Show on GitHub
checkEnvironment(of:)
Builds and type checks the generic environment of d.
Declaration
Swift

private mutating func checkEnvironment(of d: TraitDecl.ID)
Show on GitHub
checkEnvironment(of:)
Builds and type checks the generic environment of d.
Declaration
Swift

private mutating func checkEnvironment<T>(of d: T.ID) where T : TypeExtendingDecl
Show on GitHub
checkAllConformances(declaredBy:)
Type checks the conformances declared by d.

Only well-typed conformances are added to self.conformances. A diagnostic is reported for each ill-typed conformance.
Declaration
Swift

private mutating func checkAllConformances<T>(declaredBy d: T.ID) where T : ConformanceSource
Show on GitHub


                    
                    
                    checkConformances(to:declaredBy:)

Type checks the conformances to traits declared by d.

Declaration

Swift

private mutating func checkConformances(to traits: RefinementClosure, declaredBy d: AnyDeclID)

Parameters

`traits`	A refinement closure for one of the traits mentioned by `d`. For instance, if `d` is a type declaration `type A: P, Q {}`, `traits` is a closure describing the refinements of either `P` or `Q`.
`d`	A conformance source.

Show on GitHub


                    
                    
                    checkConformance(to:declaredBy:in:)

Type checks the conformance to trait declared by origins in scopeOfDefinition.

This method deterministically selects the declaration severing as the origin of a type’s conformance to a specific trait in a scope, reporting diagnostics of ambiguous cases.

Requires

Conformances to traits strictly refined by trait have already been checked.

Declaration

Swift

private mutating func checkConformance(
  to trait: TraitType, declaredBy origins: [ConformanceOrigin],
  in scopeOfDefinition: AnyScopeID
)

Parameters

`trait`	A trait belonging to the refinement closure of a trait mentioned by one of the conformance sources in `origins`.
`origins`	The declarations introducing a conformance to `trait` in `scopeOfDefinition`.
`scopeOfDefinition`	The outermost scope in which the conformance is checked.

Show on GitHub


                    
                    
                    checkConformance(to:declaredBy:)

Type checks the conformance to trait declared by origin.

Requires

Conformances to traits strictly refined by trait have already been checked.

Declaration

Swift

private mutating func checkConformance(
  to trait: TraitType, declaredBy origin: ConformanceOrigin
)

Parameters

`trait`	A trait belonging to the refinement closure of a trait mentioned `origin`.
`origin`	A declaration introducing a conformance to `trait`.

Show on GitHub

insertConformance(_:)
Registers conformance c iff it hasn’t been established.

Note
This method doesn’t write to the shared cache.
Declaration
Swift

private mutating func insertConformance(_ c: Conformance)
Show on GitHub


                    
                    
                    registerSynthesizedDecl(_:in:)

Registers the use of synthesized declaration d in m.

Declaration

Swift

private mutating func registerSynthesizedDecl(
  _ d: SynthesizedFunctionDecl, in m: ModuleDecl.ID
)

Show on GitHub


                    
                    
                    checkedType(of:usedAs:ignoringSharedCache:)

Type checks d and all declarations nested in d, returning the type of d.

Requires

!cache.declsUnderChecking.contains(d)

Declaration

Swift

@discardableResult
private mutating func checkedType(
  of d: BindingDecl.ID,
  usedAs purpose: BindingDeclUse = .irrefutable,
  ignoringSharedCache ignoreSharedCache: Bool = false
) -> AnyType

Show on GitHub

checkedType(of:withHint:)
Type checks e and returns its type, using hint as contextual type information.
Declaration
Swift

private mutating func checkedType(of e: AnyExprID, withHint hint: AnyType? = nil) -> AnyType
Show on GitHub


                    
                    
                    checkedType(of:asArgumentTo:)

Type checks e as an argument to p and returns its type.

Declaration

Swift

private mutating func checkedType(
  of e: AnyExprID, asArgumentTo p: ParameterType
) -> AnyType

Show on GitHub

partiallyCheckedType(of:withHint:)
Returns the inferred type of e, along with a set of goals to solve to check that type.
Declaration
Swift

private mutating func partiallyCheckedType( of e: AnyExprID, withHint hint: AnyType? = nil ) -> (AnyType, ProofObligations)
Show on GitHub
forEachGenericParentScope(inheritedBy:do:)
Calls action with the innermost generic scopes containing s.

A scope s inherits from a generic environment g if:
- s is notionally contained in g; and/or
- s is an extension and g is the environment of the type extended by s.
Declaration
Swift

private mutating func forEachGenericParentScope( inheritedBy s: AnyScopeID, do action: (inout Self, AnyScopeID) -> Void )
Show on GitHub
environment(of:)
Returns the generic environment introduced by s, if any.
Declaration
Swift

private mutating func environment(of s: AnyScopeID) -> GenericEnvironment?
Show on GitHub


                    
                    
                    environment(of:)

Returns the generic environment introduced by d.

Declaration

Swift

private mutating func environment<T: GenericDecl & LexicalScope>(
  of d: T.ID
) -> GenericEnvironment

Show on GitHub

environment(of:)
Returns the generic environment introduced by d.
Declaration
Swift

private mutating func environment(of d: TraitDecl.ID) -> GenericEnvironment
Show on GitHub
generatePublicRequirements(of:in:)
Inserts the public requirements introduced by the generic signature of t in its partially formed environment.
Declaration
Swift

private mutating func generatePublicRequirements( of t: TraitType, in partiallyFormedEnvironment: inout GenericEnvironment )
Show on GitHub


                    
                    
                    environment(of:)

Returns the generic environment introduced by d.

Declaration

Swift

private mutating func environment<T>(of d: T.ID) -> GenericEnvironment where T : TypeExtendingDecl

Show on GitHub

initialEnvironment(of:introducing:)
Creates the partially formed generic environment of d, which introduces parameters, initialized with constraints inherited from the enclosing generic environment.
Declaration
Swift

private mutating func initialEnvironment<T: Decl>( of d: T.ID, introducing parameters: [GenericParameterDecl.ID] ) -> GenericEnvironment
Show on GitHub
possiblyPartiallyFormedEnvironment(of:)
Returns the generic environment introduced by d, which may be partially formed.
Declaration
Swift

private mutating func possiblyPartiallyFormedEnvironment( of d: AnyDeclID ) -> GenericEnvironment?
Show on GitHub


                    
                    
                    commit(_:)

Writes finalResult to the cache.

Declaration

Swift

private mutating func commit(_ finalResult: consuming GenericEnvironment) -> GenericEnvironment

Show on GitHub

insertConstraints(of:in:)
Inserts d‘s constraints in e.

e is the environment in which d is introduced.
Declaration
Swift

private mutating func insertConstraints( of d: AssociatedTypeDecl.ID, in e: inout GenericEnvironment )
Show on GitHub
insertConstraints(of:in:)
Inserts d‘s constraints in e.

e is the environment in which d is introduced.
Declaration
Swift

private mutating func insertConstraints( of d: AssociatedValueDecl.ID, in e: inout GenericEnvironment )
Show on GitHub


                    
                    
                    insertConstraint(_:in:)

Evaluates c as a generic constraint and inserts it in e.

Declaration

Swift

private mutating func insertConstraint(
  _ c: SourceRepresentable<WhereClause.ConstraintExpr>, in e: inout GenericEnvironment
)

Show on GitHub

insertConformanceRequirement(_:_:in:)
Inserts a rule in e‘s requirement system specifying that l conforms to r.
Declaration
Swift

private mutating func insertConformanceRequirement( _ l: AnyType, _ r: TraitType, in e: inout GenericEnvironment )
Show on GitHub
insertEqualityRequirement(_:_:in:)
Inserts a rule in e‘s requirement system specifying that l is equal to r.
Declaration
Swift

private mutating func insertEqualityRequirement( _ l: AnyType, _ r: AnyType, in e: inout GenericEnvironment )
Show on GitHub


                    
                    
                    insertRequirement(_:in:)

Inserts the requirement r into e.

Declaration

Swift

@discardableResult
private mutating func insertRequirement(
  _ r: RequirementRule, in e: inout GenericEnvironment
) -> (inserted: Bool, ruleAfterInsertion: RequirementSystem.RuleID)

Show on GitHub

dependencies(of:)
Returns the traits to which a conformance can be derived in the environment of d.
Declaration
Swift

private mutating func dependencies<T>(of d: T.ID) -> [TraitType] where T : Decl
Show on GitHub
traitMentions(in:)
Returns the traits to which a conformance can be derived given the constraints in d.
Declaration
Swift

private mutating func traitMentions<T>(in d: T.ID) -> [TraitType] where T : Decl
Show on GitHub
traitMentions(in:)
Returns the traits to which a conformance can be derived given the constraints in d.
Declaration
Swift

private mutating func traitMentions(in d: ConformanceDecl.ID) -> [TraitType]
Show on GitHub
traitMentions(in:)
Returns the traits to which a conformance can be derived given the constraints in d.
Declaration
Swift

private mutating func traitMentions(in d: ExtensionDecl.ID) -> [TraitType]
Show on GitHub
traitMentions(in:)
Returns the traits to which a conformance can be derived given the constraints in d.
Declaration
Swift

private mutating func traitMentions(in d: TraitDecl.ID) -> [TraitType]
Show on GitHub
traitMentions(in:)
Returns the traits to which a conformance can be derived given the constraints in g.
Declaration
Swift

private mutating func traitMentions(in g: GenericClause) -> [TraitType]
Show on GitHub
traitMentions(in:)
Returns the traits to which a conformance can be derived given the constraints in w.
Declaration
Swift

private mutating func traitMentions(in w: WhereClause) -> [TraitType]
Show on GitHub
traitComponent(containing:)
Returns the strongly connected component that contains t in the trait dependency graph.
Declaration
Swift

private mutating func traitComponent(containing t: TraitType) -> Int
Show on GitHub
uncheckedType(of:ignoringSharedCache:)
Returns the type of d, computing it if necessary, without type checking d.

This method returns the value for d in cache[\.declType] or cache.uncheckedType if it has been computed. Otherwise, it calls _uncheckedType(d) with cache.uncheckedType[d] assigned to .inProgress. After the call, cache.uncheckedType[d] == .complete(t), where t is the return value. A diagnostic is reported if type the type of d contains an error.

Requires
cache.uncheckedType[d] != .inProgress
Declaration
Swift

private mutating func uncheckedType<T: DeclID>( of d: T, ignoringSharedCache ignoreSharedCache: Bool = false ) -> AnyType
Show on GitHub
commitUncheckedType(_:for:)
Commits t as the unchecked type of d to the local cache.
Declaration
Swift

private mutating func commitUncheckedType(_ t: AnyType, for d: AnyDeclID) -> AnyType
Show on GitHub


                    
                    
                    _uncheckedType(of:)

Computes and returns the type of d.

Declaration

Swift

private mutating func _uncheckedType(of d: AssociatedTypeDecl.ID) -> AnyType

Show on GitHub


                    
                    
                    _uncheckedType(of:)

Computes and returns the type of d.

Declaration

Swift

private mutating func _uncheckedType(of d: AssociatedValueDecl.ID) -> AnyType

Show on GitHub

_uncheckedType(of:)
Computes and returns the type of d.
Declaration
Swift

private mutating func _uncheckedType(of d: BindingDecl.ID) -> AnyType
Show on GitHub


                    
                    
                    _uncheckedType(of:)

Computes and returns the type of d.

Declaration

Swift

private mutating func _uncheckedType<T>(of d: T.ID) -> AnyType where T : TypeExtendingDecl

Show on GitHub

_uncheckedType(of:)
Computes and returns the type of d.
Declaration
Swift

private mutating func _uncheckedType(of d: FunctionDecl.ID) -> AnyType
Show on GitHub


                    
                    
                    _uncheckedType(of:)

Computes and returns the type of d.

Declaration

Swift

private mutating func _uncheckedType(of d: GenericParameterDecl.ID) -> AnyType

Show on GitHub

_uncheckedType(of:)
Computes and returns the type of d.
Declaration
Swift

private mutating func _uncheckedType(of d: ImportDecl.ID) -> AnyType
Show on GitHub
_uncheckedType(of:)
Computes and returns the type of d.
Declaration
Swift

private mutating func _uncheckedType(of d: InitializerDecl.ID) -> AnyType
Show on GitHub
_uncheckedType(of:)
Computes and returns the type of d.
Declaration
Swift

private mutating func _uncheckedType(of d: MethodDecl.ID) -> AnyType
Show on GitHub
_uncheckedType(of:)
Computes and returns the type of d.
Declaration
Swift

private mutating func _uncheckedType(of d: MethodImpl.ID) -> AnyType
Show on GitHub
_uncheckedType(of:)
Computes and returns the type of d.
Declaration
Swift

private mutating func _uncheckedType(of d: ModuleDecl.ID) -> AnyType
Show on GitHub
_uncheckedType(of:)
Computes and returns the type of d.
Declaration
Swift

private mutating func _uncheckedType(of d: OperatorDecl.ID) -> AnyType
Show on GitHub
_uncheckedType(of:)
Computes and returns the type of d.
Declaration
Swift

private mutating func _uncheckedType(of d: NamespaceDecl.ID) -> AnyType
Show on GitHub
_uncheckedType(of:)
Computes and returns the type of d.

Requires
d has a type annotation.
Declaration
Swift

private mutating func _uncheckedType(of d: ParameterDecl.ID) -> AnyType
Show on GitHub
_uncheckedType(of:)
Computes and returns the type of d.
Declaration
Swift

private mutating func _uncheckedType(of d: ProductTypeDecl.ID) -> AnyType
Show on GitHub
_uncheckedType(of:)
Computes and returns the type of d.
Declaration
Swift

private mutating func _uncheckedType(of d: SubscriptDecl.ID) -> AnyType
Show on GitHub
_uncheckedType(of:)
Computes and returns the type of d.
Declaration
Swift

private mutating func _uncheckedType(of d: SubscriptImpl.ID) -> AnyType
Show on GitHub
_uncheckedType(of:)
Computes and returns the type of d.
Declaration
Swift

private mutating func _uncheckedType(of d: TraitDecl.ID) -> AnyType
Show on GitHub
_uncheckedType(of:)
Computes and returns the type of d.
Declaration
Swift

private mutating func _uncheckedType(of d: TypeAliasDecl.ID) -> AnyType
Show on GitHub
_uncheckedType(of:)
Computes and returns the type of d.
Declaration
Swift

private mutating func _uncheckedType(of d: VarDecl.ID) -> AnyType
Show on GitHub


                    
                    
                    uncheckedCaptureTypes(of:)

Computes and returns the types of d‘s captures.

Requires

d is not a member declaration.

Declaration

Swift

private mutating func uncheckedCaptureTypes<T: CapturingDecl>(
  of d: T.ID
) -> (explicit: [TupleType.Element], implicit: [TupleType.Element])

Show on GitHub

uncheckedInputTypes(of:declaredBy:)
Computes and returns the types of the inputs ps of d.

Requires
The parameters in ps have type annotations.
Declaration
Swift

private mutating func uncheckedInputTypes<T: Decl & LexicalScope>( of ps: [ParameterDecl.ID], declaredBy d: T.ID ) -> [CallableTypeParameter]
Show on GitHub
uncheckedInputTypes(of:withHint:)
Computes and returns the types of the inputs of e‘s underlying declaration, using hint to guess the passing conventions of unanotated parameters.

hint is used as contextual information to refine guesses iff it is a lambda type with the same number of parameters as e. Parameter annotations take precedence in case of conflict.

After the call, cache.uncheckedType[p] may be assigned to a type variable if p has no type annotation. Type checking is expected to reify such variables once the type of the expression in which e occurs has been checked.
Declaration
Swift

private mutating func uncheckedInputTypes( of e: LambdaExpr.ID, withHint hint: ArrowType? ) -> [CallableTypeParameter]
Show on GitHub
uncheckedPassingConventions(of:withHint:)
Returns the passing conventions of e‘s parameters inferred from uses in e’s body.

Parameters used immutably are inferred to be passed let unless corresponding hints specify a different convention. Parameters used mutably are inferred to be passed inout unless corresponding hints specify a convention other than let.

Requires
hint is nil or contains has as many elements as e’s parameters.
Declaration
Swift

private mutating func uncheckedPassingConventions( of e: LambdaExpr.ID, withHint hint: [CallableTypeParameter]? ) -> [AccessEffect]
Show on GitHub
uncheckedOutputType(in:)
Computes and returns the type of values expected to be returned or projected in scopeOfUse, or returns nil if scopeOfUse is not nested in the declaration of a callable entity.
Declaration
Swift

private mutating func uncheckedOutputType(in scopeOfUse: AnyScopeID) -> AnyType?
Show on GitHub
uncheckedOutputType(of:)
Computes and returns the type of values returned by d.
Declaration
Swift

private mutating func uncheckedOutputType(of d: FunctionDecl.ID) -> AnyType
Show on GitHub
uncheckedOutputType(of:)
Computes and returns the type of values returned by d.
Declaration
Swift

private mutating func uncheckedOutputType(of d: MethodImpl.ID) -> AnyType
Show on GitHub
uncheckedOutputType(of:)
Computes and returns the type of values projected by d.
Declaration
Swift

private mutating func uncheckedOutputType(of d: SubscriptImpl.ID) -> AnyType
Show on GitHub


                    
                    
                    explicitCaptures(_:of:)

Returns the types of the explicit captures cs of d.

Declaration

Swift

private mutating func explicitCaptures<T: Decl & LexicalScope>(
  _ cs: [BindingDecl.ID], of d: T.ID
) -> [TupleType.Element]

Show on GitHub


                    
                    
                    implicitCaptures(of:ignoring:)

Returns the implicit captures found in the body of d.

Declaration

Swift

private mutating func implicitCaptures<T: CapturingDecl>(
  of d: T.ID, ignoring explicitCaptures: Set<String>
) -> [TupleType.Element]

Show on GitHub

memberwiseInitializer(of:)
Returns type of d‘s memberwise initializer.
Declaration
Swift

private mutating func memberwiseInitializer(of d: ProductTypeDecl.ID) -> ArrowType
Show on GitHub
extendedModel(_:)
Returns the model for which d declares conformances.

Requires
d is a conformance source.
Declaration
Swift

private mutating func extendedModel(_ d: AnyDeclID) -> AnyType
Show on GitHub
extendedTrait(_:)
If d is a trait extension, returns the trait that it extends; returns nil otherwise.
Declaration
Swift

private mutating func extendedTrait(_ d: ExtensionDecl.ID) -> TraitType?
Show on GitHub

Evaluation

evalPartialTypeAnnotation(_:withHint:updating:)
Evaluates and returns the value of e, which is an annotation that may contain wildcards or elided generic arguments, using hint for context and updating obligations with new goals.
Declaration
Swift

private mutating func evalPartialTypeAnnotation( _ e: AnyExprID, withHint hint: AnyType? = nil, updating obligations: inout ProofObligations ) -> AnyType?
Show on GitHub
evalTypeAnnotation(_:)
Evaluates and returns the value of e, which is a type annotation.
Declaration
Swift

private mutating func evalTypeAnnotation(_ e: AnyExprID) -> AnyType
Show on GitHub
evalGenericArguments(_:)
Evaluates and returns the generic arguments in s.

Wildcards are evaluated as fresh variables to support partial type inference. These may be substituted by either a type or a value.
Declaration
Swift

private mutating func evalGenericArguments(_ s: [LabeledArgument]) -> [CompileTimeValue]
Show on GitHub


                    
                    
                    evalGenericArgument(_:)

Evaluates and returns the value of e.

Declaration

Swift

private mutating func evalGenericArgument(_ e: LabeledArgument) -> CompileTimeValue

Show on GitHub

evalBufferTypeExpression(_:havingInferredElementType:)
Evaluates e as a buffer type expression, having inferred that the type of the buffer’s elements is t.
Declaration
Swift

private mutating func evalBufferTypeExpression( _ e: SubscriptCallExpr.ID, havingInferredElementType t: AnyType ) -> MetatypeType
Show on GitHub
ensureValidTypeAnnotation(_:inferredAs:)
Ensures that t is a valid type for an annotation and returns its meaning iff it is; otherwise, returns nil.
Declaration
Swift

private mutating func ensureValidTypeAnnotation( _ e: AnyExprID, inferredAs t: AnyType ) -> AnyType?
Show on GitHub
denotationAsType(expressionTyped:)
Returns the value expressed by an expression of type t iff that value is a type.
Declaration
Swift

private func denotationAsType(expressionTyped t: AnyType) -> AnyType?
Show on GitHub
denotation(of:)
Returns the value expressed by e.
Declaration
Swift

private func denotation(of e: AnyExprID) -> CompileTimeValue
Show on GitHub


                    
                    
                    denotation(of:)

Returns the value expressed by e

Declaration

Swift

private func denotation(of e: IntegerLiteralExpr.ID) -> CompileTimeValue

Show on GitHub

denotation(of:)
Returns the value expressed by e
Declaration
Swift

private func denotation(of e: NameExpr.ID) -> CompileTimeValue
Show on GitHub
evalTypeQualification(of:)
Evaluates and returns the qualification of e, which is a type annotation.
Declaration
Swift

private mutating func evalTypeQualification(of e: NameExpr.ID) -> AnyType?
Show on GitHub
inferredQualification(of:implicitlyIn:updating:)
Returns the inferred qualification of e, using implicitQualification to resolve implicit domains and updating obligations.
Declaration
Swift

public mutating func inferredQualification( of e: NameExpr.ID, implicitlyIn implicitQualification: AnyType?, updating obligations: inout ProofObligations ) -> AnyType?
Show on GitHub


                    
                    
                    evalParameterAnnotations(of:)

Evaluates and returns the parameter annotations of e.

Declaration

Swift

private mutating func evalParameterAnnotations(
  of e: ArrowTypeExpr.ID
) -> [CallableTypeParameter]

Show on GitHub

evalParameterAnnotation(_:)
Evaluates and returns the value of e.
Declaration
Swift

private mutating func evalParameterAnnotation(_ e: ParameterTypeExpr.ID) -> AnyType
Show on GitHub
evalReturnTypeAnnotation(of:)
Evaluates and returns the return type annotation of d.

The value of d‘s explicit return type annotation is returned if it is defined. Otherwise, a fresh type variable is returned if d appears in an expression context (i.e., d is the underlying declaration of a lambda). Otherwise, .void is returned.
Declaration
Swift

private mutating func evalReturnTypeAnnotation(of d: FunctionDecl.ID) -> AnyType
Show on GitHub
evalReturnTypeAnnotation(of:)
Evaluates and returns the return type annotation of d.

The value of d‘s explicit return type annotation is returned if it is defined. Otherwise, .void is returned.
Declaration
Swift

private mutating func evalReturnTypeAnnotation(of d: MethodDecl.ID) -> AnyType
Show on GitHub
evalTraitComposition(_:)
Evaluates the traits in composition, returning a sequence of pairs (n, t) where n is an expression in composition and t the corresponding trait.

The returned sequence contains an element for each valid trait expression in composition. A diagnostic is reported each invalid expression.
Declaration
Swift

private mutating func evalTraitComposition<S: Sequence<NameExpr.ID>>( _ composition: S ) -> [(name: NameExpr.ID, trait: TraitType)]
Show on GitHub
eval(existentialBound:)
Evaluates and returns e, which is a type annotation describing the subject of an extension or a bound in an existential type, along with its associated constraints.
Declaration
Swift

private mutating func eval(existentialBound e: AnyExprID) -> (AnyType, Set<GenericConstraint>)
Show on GitHub
eval(existentialBound:)
Evaluates and returns e, which is a type annotation describing the subject of an extension or a bound in an existential type, along with its associated constraints.

When a name expression describes the subject of an extension or a bound an existential bound, generic parameters are interpreted as sugared constraints that would otherwise be defined in a where clause. For example, in conformance Array<Int>: P {}, the extended type is Array and Int is interpreted as a constraint on Array‘s generic parameter.
See more
Declaration
Swift

private mutating func eval( existentialBound e: NameExpr.ID ) -> (AnyType, Set<GenericConstraint>)
Show on GitHub


                    
                    
                    bindExistentialBoundComponent(_:)

Binds n to its declaration and returns its type.

Declaration

Swift

private mutating func bindExistentialBoundComponent(
  _ n: NameResolutionResult.ResolvedComponent
) -> AnyType?

Show on GitHub

eval(existentialInterface:)
Evaluates e, which expresses the bounds of an existential type expression, returning the type of each bound and all associated constraints.
Declaration
Swift

private mutating func eval( existentialInterface e: [NameExpr.ID] ) -> (ExistentialType.Interface, Set<GenericConstraint>)
Show on GitHub

Name lookup

lookup(_:memberOf:exposedTo:)
Returns the declarations that introduce name and are exposed to scopeOfUse.

Declarations are lookup up qualified in nominalScope if it isn’t nil. Otherwise, they are looked up unqualified from scopeOfuse. Access modifiers are ignored.
Declaration
Swift

private mutating func lookup( _ name: SourceRepresentable<Name>, memberOf nominalScope: AnyType?, exposedTo scopeOfuse: AnyScopeID ) -> [AnyDeclID]
Show on GitHub
lookup(unqualified:in:)
Returns the declarations that introduce an entity with given stem exposed to scopeOfUse without qualification.

Requires
The imports of the module containing scopeOfUse have been configured.
Declaration
Swift

private mutating func lookup( unqualified stem: String, in scopeOfUse: AnyScopeID ) -> Set<AnyDeclID>
Show on GitHub
insert(newMatches:into:)
Merges newMatches into partialResult, returning true iff a non-overloadable declaration was inserted.

Bindings under checking are not inserted, thus preventing initializing expressions from referring to the left hand side of a binding initialization (e.g., let x = x).

Requires
partialResult doesn’t contain any non-overloadable declaration.
Declaration
Swift

private mutating func insert( newMatches: Set<AnyDeclID>, into partialResult: inout Set<AnyDeclID> ) -> Bool
Show on GitHub
lookup(_:in:exposedTo:)
Returns the declarations that introduce a name with given stem in the declaration space of lookupContext and are exposed to scopeOfUse.
Declaration
Swift

private mutating func lookup( _ stem: String, in lookupContext: AnyScopeID, exposedTo scopeOfUse: AnyScopeID ) -> Set<AnyDeclID>
Show on GitHub
lookup(_:in:exposedTo:)
Returns the declarations that introduce a name with given stem in the declaration space of lookupContext and are exposed to scopeOfUse.
Declaration
Swift

private mutating func lookup<T: TypeExtendingDecl>( _ stem: String, in lookupContext: T.ID, exposedTo scopeOfUse: AnyScopeID ) -> Set<AnyDeclID>
Show on GitHub
lookup(_:in:exposedTo:)
Returns the declarations that introduce a name with given stem in the declaration space of lookupContext and are exposed to scopeOfUse.
Declaration
Swift

private mutating func lookup( _ stem: String, in lookupContext: TypeAliasDecl.ID, exposedTo scopeOfUse: AnyScopeID ) -> Set<AnyDeclID>
Show on GitHub
lookup(_:memberOf:exposedTo:)
Returns the declarations that introduce a name with given stem as member of nominalScope and are exposed to scopeOfUse.
Declaration
Swift

private mutating func lookup( _ stem: String, memberOf nominalScope: AnyType, exposedTo scopeOfUse: AnyScopeID ) -> Set<AnyDeclID>
Show on GitHub
lookup(_:memberOf:exposedTo:)
Returns the declarations that introduce a name with given stem as member of nominalScope and are exposed to scopeOfUse.
Declaration
Swift

private mutating func lookup( _ stem: String, memberOf nominalScope: AssociatedTypeType, exposedTo scopeOfUse: AnyScopeID ) -> Set<AnyDeclID>
Show on GitHub
lookup(_:memberOf:exposedTo:)
Returns the declarations that introduce a name with given stem as member ofnominalScope and exposed to scopeOfUse.
Declaration
Swift

private mutating func lookup( _ stem: String, memberOf nominalScope: ExistentialType, exposedTo scopeOfUse: AnyScopeID ) -> Set<AnyDeclID>
Show on GitHub
lookup(_:memberOf:exposedTo:)
Returns the declarations that introduce a name with given stem as member of nominalScope and are exposed to scopeOfUse.
Declaration
Swift

private mutating func lookup( _ stem: String, memberOf nominalScope: GenericTypeParameterType, exposedTo scopeOfUse: AnyScopeID ) -> Set<AnyDeclID>
Show on GitHub
lookup(_:memberOf:exposedTo:)
Returns the declarations that introduce a name with given stem as member of nominalScope and are exposed to scopeOfUse.
Declaration
Swift

private mutating func lookup( _ stem: String, memberOf nominalScope: TypeAliasType, exposedTo scopeOfUse: AnyScopeID ) -> Set<AnyDeclID>
Show on GitHub
lookup(_:inExtensionsOf:exposedTo:)
Returns the declarations that introduce a name with given stem in extensions of nominalScope and are exposed to scopeOfUse.
Declaration
Swift

private mutating func lookup( _ stem: String, inExtensionsOf nominalScope: AnyType, exposedTo scopeOfUse: AnyScopeID ) -> Set<AnyDeclID>
Show on GitHub


                    
                    
                    lookup(operator:used:in:)

Returns the declarations of an operator specified operator that are visible in scopeOfUse.

Declaration

Swift

private func lookup<T: ScopeID>(
  operator operatorName: Identifier, used notation: OperatorNotation,
  in scopeOfUse: T
) -> [OperatorDecl.ID]

Show on GitHub

lookup(operator:used:in:)
Returns the declaration of the specified operator that are visible in scopeOfUse, or nil if no such operator is declared in scopeOfUse.
Declaration
Swift

private func lookup( operator operatorName: Identifier, used notation: OperatorNotation, in scopeOfUse: ModuleDecl.ID ) -> OperatorDecl.ID?
Show on GitHub
lookupImplicitCapture(_:occurringIn:)
Returns the stem and declaration of c, which occurs in d, or nil if either c doesn’t have to be captured or lookup failed.
Declaration
Swift

private mutating func lookupImplicitCapture<T: Decl & LexicalScope>( _ c: NameExpr.ID, occurringIn d: T.ID ) -> (stem: String, decl: AnyDeclID)?
Show on GitHub
names(introducedIn:)
Returns the names introduced in s.

The returned table only contains names whose declaration are lexically contained directly in s. Names introduced by declarations in extensions or inherited by conformance are looked up using lookup(_:memberOf:exposedTo:).
Declaration
Swift

private mutating func names<T>(introducedIn s: T) -> Cache.LookupTable where T : ScopeID
Show on GitHub
extensions(of:exposedTo:)
Returns the declarations extending subject exposed to scopeOfUse.
Declaration
Swift

private mutating func extensions( of subject: AnyType, exposedTo scopeOfUse: AnyScopeID ) -> [AnyDeclID]
Return Value

The declarations extending subject, which all conform to TypeExtendingDecl.

Show on GitHub
_extensions(of:exposedTo:)
Returns the declarations extending subject exposed to scopeOfUse.

Requires
subject is canonical.
Declaration
Swift

private mutating func _extensions( of subject: AnyType, exposedTo scopeOfUse: AnyScopeID ) -> [AnyDeclID]
Show on GitHub
appendExtensions(declaredIn:extending:to:)
Adds the declarations in s that extends t to partialResult.

Requires
t is canonical.
Declaration
Swift

private mutating func appendExtensions( declaredIn s: AnyScopeID, extending t: AnyType, to partialResult: inout [AnyDeclID] )
Show on GitHub
decl(in:named:)
Returns d if it has name n, otherwise the implementation of d with name n or nil if no such implementation exists.

Requires
The base name of d is equal to n.stem
Declaration
Swift

private mutating func decl(in d: AnyDeclID, named n: Name) -> AnyDeclID?
Show on GitHub
labels(_:)
Returns the labels of ds name.

Only function, method, or subscript declarations may have labels. This method returns [] for any other declaration.
Declaration
Swift

private mutating func labels(_ d: AnyDeclID) -> [String?]
Show on GitHub
labels(_:)
Returns the labels of ds name.
Declaration
Swift

private func labels(_ d: FunctionDecl.ID) -> [String?]
Show on GitHub


                    
                    
                    labels(_:)

Returns the labels of ds name.

Declaration

Swift

private mutating func labels(_ d: InitializerDecl.ID) -> [String?]

Show on GitHub

operatorNotation(_:)
Returns the operator notation of d‘s name, if any.
Declaration
Swift

private func operatorNotation(_ d: AnyDeclID) -> OperatorNotation?
Show on GitHub
bridgedScope(of:)
If s is contained in a type extending declaration, returns the scope extended by that declaration; returns nil otherwise.
Declaration
Swift

private mutating func bridgedScope<S>(of s: S) -> AnyScopeID? where S : ScopeID
Show on GitHub
scopeExtended(by:)
Returns the scope of the declaration extended by d, if any.
Declaration
Swift

mutating func scopeExtended<T>(by d: T.ID) -> AnyScopeID? where T : TypeExtendingDecl
Show on GitHub
nominalParent(of:)
Returns the innermost nominal scope in which d is contained, if any.
Declaration
Swift

private mutating func nominalParent(of d: AnyDeclID) -> AnyScopeID?
Show on GitHub
isAccessibleWithQualification(_:in:)
Returns true iff a qualified reference to d is visible in scopeOfUse.

Qualified name lookup may “see” a declaration d iff one the following holds:
- d is declared public.
- d is a trait requirement.
- d is declared internal and scopeOfUse is in the same scope.
- d is declared private and the innermost scope enclosing d also encloses scopeOfUse.
Declaration
Swift

private mutating func isAccessibleWithQualification( _ d: AnyDeclID, in scopeOfUse: AnyScopeID ) -> Bool
Show on GitHub
isNotionallyContained(_:in:)
Returns true if child is lexically contained in or in an extension of ancestor.
Declaration
Swift

private mutating func isNotionallyContained<T: NodeIDProtocol, U: ScopeID>( _ child: T, in ancestor: U ) -> Bool
Show on GitHub

Name resolution

resolve(_:usedAs:withNonNominalPrefix:)
Resolves components of n from left to right until all components have been resolved or one component requires overload resolution.

If the leftmost component of n is non-nominal, resolveNonNominalPrefix is called on self and the second component c of n (which is nominal), returning the type T of c‘s nominal scope or nil if such a type can’t be determined. If a type is returned, name resolution proceeds, looking for c as a member of T. Otherwise, .canceled(nil, u) is returned, where u is the nominal suffix of n, starting from c.
Declaration
Swift

private mutating func resolve( _ n: NameExpr.ID, usedAs purpose: NameUse = .unapplied, withNonNominalPrefix resolveNonNominalPrefix: (inout Self, NameExpr.ID) -> AnyType? ) -> NameResolutionResult
Show on GitHub


                    
                    
                    resolve(_:in:usedAs:)

Resolves a single name component n being used as purpose in context.

Declaration

Swift

private mutating func resolve(
  _ n: NameExpr.ID, in context: NameResolutionContext?, usedAs purpose: NameUse
) -> [NameResolutionResult.Candidate]

Show on GitHub

resolve(_:specializedBy:in:exposedTo:usedAs:)
Returns the declarations of name exposed to scopeOfUse and specialized by arguments.

The return value is a set of candidates, each of which corresponding to one possible way to resolve name to a specific declaration. The declarations are searched with an unqualified lookup unless context is set, in which case they are searched in the declaration space of context.type. The specialization of generic is obtained by appending arguments to parent.arguments.

If name resolves to an initializer and purpose is .constructor, the corresponding candidate is assigned a constructor type. If purpose has call labels, they are used to filter candidates with different labels.
See more
Declaration
Swift

mutating func resolve( _ name: SourceRepresentable<Name>, specializedBy arguments: [CompileTimeValue], in context: NameResolutionContext?, exposedTo scopeOfUse: AnyScopeID, usedAs purpose: NameUse ) -> NameResolutionResult.CandidateSet
Show on GitHub
resolve(builtin:)
Returns the declaration of name interpreted as a member of the built-in module.
Declaration
Swift

private mutating func resolve( builtin name: SourceRepresentable<Name> ) -> NameResolutionResult.CandidateSet
Show on GitHub
resolve(compilerKnownAlias:specializedBy:exposedTo:)
Returns the declarations of name interpreted as a compiler-known type alias (e.g., Never or Union<A, B>) specialized by arguments, or nil if an error occurred.
See more
Declaration
Swift

private mutating func resolve( compilerKnownAlias name: SourceRepresentable<Name>, specializedBy arguments: [CompileTimeValue], exposedTo scopeOfUse: AnyScopeID ) -> NameResolutionResult.CandidateSet
Show on GitHub


                    
                    
                    resolve(union:specializedBy:)

Resolves name as a reference to a union type specialized by arguments.

Declaration

Swift

private mutating func resolve(
  union name: SourceRepresentable<Name>, specializedBy arguments: [CompileTimeValue]
) -> NameResolutionResult.CandidateSet

Show on GitHub


                    
                    
                    resolve(metatype:specializedBy:)

Resolves name as a reference to a metatype specialized by arguments.

Declaration

Swift

private mutating func resolve(
  metatype name: SourceRepresentable<Name>, specializedBy arguments: [CompileTimeValue]
) -> NameResolutionResult.CandidateSet

Show on GitHub


                    
                    
                    resolve(sugared:memberOf:exposedTo:usedAs:)

Resolves name as a sugared reference to a constructor or nameless subscript declaration or returns nil if name isn’t a sugar.

Declaration

Swift

private mutating func resolve(
  sugared name: SourceRepresentable<Name>, memberOf parent: NameResolutionContext,
  exposedTo scopeOfUse: AnyScopeID, usedAs purpose: NameUse
) -> NameResolutionResult.CandidateSet?

Show on GitHub


                    
                    
                    filterResolutionCandidates(_:in:)

Returns the candidates cs that are viable picks for overload resolution in scopeOfUse.

Declaration

Swift

private mutating func filterResolutionCandidates(
  _ cs: [NameResolutionResult.Candidate], in scopeOfUse: AnyScopeID
) -> [NameResolutionResult.Candidate]

Show on GitHub

resolveType(of:referredToBy:specializedBy:in:exposedTo:usedAs:reportingDiagnosticsTo:)
Returns the resolved type of the entity declared by d when referred to by name with the given arguments, or nil if d is ill-formed.

If d is generic, context determines how to construct its complete list of arguments and the specialization of the returned type is performed in scopeOfUse. Diagnostics of errors related to the construction of the generic argument list are stored in log.

If d declares an initializer and purpose is .constructor, the returned type is the constructor form of d‘s type.
Declaration
Swift

private mutating func resolveType( of d: AnyDeclID, referredToBy name: SourceRepresentable<Name>, specializedBy arguments: [CompileTimeValue], in context: NameResolutionContext?, exposedTo scopeOfUse: AnyScopeID, usedAs purpose: NameUse, reportingDiagnosticsTo log: inout DiagnosticSet ) -> (type: AnyType, specialization: GenericArguments, isConstructor: Bool)?
Show on GitHub


                    
                    
                    resolveType(of:lookedUpIn:exposedTo:reportingDiagnosticsAt:)

Returns the generic type of a reference to d, found in context, reporting diagnostics at diagnosticSite.

Declaration

Swift

private mutating func resolveType(
  of d: AnyDeclID, lookedUpIn context: NameResolutionContext? = nil,
  exposedTo scopeOfUse: AnyScopeID,
  reportingDiagnosticsAt diagnosticSite: SourceRange
) -> AnyType

Show on GitHub


                    
                    
                    resolveType(of:lookedUpIn:exposedTo:reportingDiagnosticsAt:)

Returns the generic type of a reference to d, found in context and occurring in scopeOfUse, reporting diagnostics at diagnosticSite.

Declaration

Swift

private mutating func resolveType(
  of d: AssociatedTypeDecl.ID, lookedUpIn context: NameResolutionContext?,
  exposedTo scopeOfUse: AnyScopeID,
  reportingDiagnosticsAt diagnosticSite: SourceRange
) -> AnyType

Show on GitHub


                    
                    
                    resolveType(of:qualifiedBy:exposedTo:reportingDiagnosticsAt:)

Returns the generic type of a reference to d, occurring qualified by domain in scopeOfUse, reporting diagnostics at diagnosticSite.

Declaration

Swift

private mutating func resolveType(
  of d: AssociatedTypeDecl.ID, qualifiedBy domain: AnyType,
  exposedTo scopeOfUse: AnyScopeID,
  reportingDiagnosticsAt diagnosticSite: SourceRange
) -> AnyType

Show on GitHub

resolveType(of:implementedBy:forConformanceExposedTo:reportingDiagnosticsAt:)
Returns the generic type of a reference to d, which is implemented by domain for a conformance exposed to scopeOfUse, reporting diagnostics at diagnosticSite.

domain is notionally the subject of a conformance lens focusing on its conformance to the trait that declared d.
Declaration
Swift

private mutating func resolveType( of d: AssociatedTypeDecl.ID, implementedBy domain: AnyType, forConformanceExposedTo scopeOfUse: AnyScopeID, reportingDiagnosticsAt diagnosticSite: SourceRange ) -> AnyType
Show on GitHub


                    
                    
                    resolveType(of:lookedUpIn:)

Returns the generic type of a reference to d, found in context.

Declaration

Swift

private mutating func resolveType(
  of d: SubscriptDecl.ID, lookedUpIn context: NameResolutionContext?
) -> AnyType

Show on GitHub

resolveReceiverMetatype(in:)
Computes and returns the type of Self in scopeOfUse.
Declaration
Swift

private mutating func resolveReceiverMetatype(in scopeOfUse: AnyScopeID) -> MetatypeType?
Show on GitHub


                    
                    
                    resolveReceiverMetatype(in:)

Computes and returns the type of Self in scopeOfUse.

Declaration

Swift

private mutating func resolveReceiverMetatype<T: GenericDecl>(
  in scopeOfUse: T.ID
) -> MetatypeType?

Show on GitHub


                    
                    
                    resolveReceiverMetatype(in:)

Computes and returns the type of Self in scopeOfUse.

Declaration

Swift

private mutating func resolveReceiverMetatype<T: TypeExtendingDecl>(
  in scopeOfUse: T.ID
) -> MetatypeType?

Show on GitHub

resolveReceiverMetatype(in:)
Computes and returns the type of Self in scopeOfUse.
Declaration
Swift

private mutating func resolveReceiverMetatype(in scopeOfUse: TraitDecl.ID) -> MetatypeType?
Show on GitHub
resolveTraitReceiver(in:)
Computes and returns the type of Self as a trait receiver in scopeOfUse, returning nil if scopeOfUse isn’t notionally contained in a trait.
Declaration
Swift

private mutating func resolveTraitReceiver( in scopeOfUse: AnyScopeID ) -> GenericTypeParameterType?
Show on GitHub
isCaptured(referenceTo:occurringIn:)
Returns true if references to d are captured if they occur in scopeOfUse.
Declaration
Swift

private mutating func isCaptured( referenceTo d: AnyDeclID, occurringIn scopeOfUse: AnyScopeID ) -> Bool
Show on GitHub


                    
                    
                    genericArguments(passedTo:typed:referredToBy:specializedBy:reportingDiagnosticsTo:)

Returns the generic arguments passed to d, which has type t and is being referred to by name, reporting diagnostics to log.

Declaration

Swift

private mutating func genericArguments(
  passedTo d: AnyDeclID, typed t: AnyType,
  referredToBy name: SourceRepresentable<Name>, specializedBy arguments: [CompileTimeValue],
  reportingDiagnosticsTo log: inout DiagnosticSet
) -> GenericArguments

Show on GitHub

genericQualificationArguments(inScopeIntroducing:resolvedIn:)
Returns the generic arguments passed to the qualification of symbols introduced in d that that have been looked up in context.

The arguments of context are returned if the latter isn’t nil. Otherwise, the arguments captured in the scope introducing d are returned as a table mapping accumulated generic parameters to a skolem.
Declaration
Swift

private mutating func genericQualificationArguments( inScopeIntroducing d: AnyDeclID, resolvedIn context: NameResolutionContext? ) -> GenericArguments
Show on GitHub
associateGenericParameters(_:of:to:reportingDiagnosticsTo:)
Returns a table mapping the elements of parameters, which are introduced by name‘s declaration, to their corresponding values in arguments if the two arrays have the same length. Otherwise, returns nil and reports diagnostics to log.
Declaration
Swift

private mutating func associateGenericParameters( _ parameters: [GenericParameterDecl.ID], of name: SourceRepresentable<Name>, to arguments: [CompileTimeValue], reportingDiagnosticsTo log: inout DiagnosticSet ) -> GenericArguments
Show on GitHub


                    
                    
                    forEachConstraint(associatedWith:in:do:)

Calls action on self and each constraint that must hold for a reference to d occurring in scopeOfUse.

Declaration

Swift

private mutating func forEachConstraint(
  associatedWith d: AnyDeclID, in scopeOfUse: AnyScopeID,
  do action: (inout Self, GenericConstraint) -> Void
)

Show on GitHub

evaluateResolutionConstraint(_:associatedWith:specializedBy:in:reportingDiagnosticsTo:)
Checks c, which is caused by the resolution of n specialized by z in scopeOfUse, reporting diagnostics to log.

If the constraint does not contain skolems or open type variables, the result is nil and a diagnostic is reported to log iff the constraint does not hold. Otherwise, the result is a type checking constraint that has to be solved in context.
Declaration
Swift

private mutating func evaluateResolutionConstraint( _ c: GenericConstraint, associatedWith n: SourceRepresentable<Name>, specializedBy z: GenericArguments, in scopeOfUse: AnyScopeID, reportingDiagnosticsTo log: inout DiagnosticSet ) -> Constraint?
Show on GitHub
genericParameters(introducedBy:)
Returns the generic parameters introduced in the generic environment of d.

If d is a variant implementation, the result is the parameters introduce by the containing bundle declaration.
Declaration
Swift

private mutating func genericParameters(introducedBy d: AnyDeclID) -> [GenericParameterDecl.ID]
Show on GitHub


                    
                    
                    capturedGenericParameter(of:)

Returns the generic parameters captured by d.

Declaration

Swift

private mutating func capturedGenericParameter<T>(of d: T) -> [GenericParameterDecl.ID] where T : DeclID

Show on GitHub

accumulatedGenericParameters(in:)
Returns generic parameters captured by s.

A declaration may take generic parameters even if it doesn’t declare any. For example, a nested function will implicitly capture the generic parameters introduced in its context.
Declaration
Swift

mutating func accumulatedGenericParameters<T: ScopeID>( in s: T ) -> [GenericParameterDecl.ID]
Show on GitHub
traitDeclaring(_:)
Returns the trait of which d is a member, or nil if d isn’t member of a trait.
Declaration
Swift

mutating func traitDeclaring<T>(_ d: T) -> TraitType? where T : DeclID
Show on GitHub
implicitArgument(to:exposedTo:)
Returns the declaration defining the value that can be passed as an implicit argument to a parameter of type t in scope s.
Declaration
Swift

mutating func implicitArgument(to t: ParameterType, exposedTo s: AnyScopeID) -> AnyDeclID?
Show on GitHub

Quantifier elimination

InstantiationContext
A context in which a generic parameter can be instantiated.
See more
Declaration
Swift

private struct InstantiationContext
Show on GitHub
instantiationContext(in:)
Creates a context for instantiating generic parameters used in scopeOfUse.
Declaration
Swift

private mutating func instantiationContext(in scopeOfUse: AnyScopeID) -> InstantiationContext
Show on GitHub
instantiationContext(_:in:)
Creates a context for instantiating generic parameters in scopeOfUse by for using r.
Declaration
Swift

private mutating func instantiationContext( _ r: DeclReference, in scopeOfUse: AnyScopeID ) -> InstantiationContext
Show on GitHub
instantiationContext(forUsing:in:)
Creates a context for instantiating generic parameters in scopeOfUse by for using d.
Declaration
Swift

private mutating func instantiationContext( forUsing d: AnyDeclID, in scopeOfUse: AnyScopeID ) -> InstantiationContext
Show on GitHub
instantiationContext(forUsing:in:)
Creates a context for instantiating generic parameters in scopeOfUse by for using d.
Declaration
Swift

private mutating func instantiationContext( forUsing d: InitializerDecl.ID, in scopeOfUse: AnyScopeID ) -> InstantiationContext
Show on GitHub
open(type:at:)
Replaces the generic parameters in subject by fresh variables, forming instantiation constraints at site.
Declaration
Swift

private mutating func open(type: AnyType, at site: SourceRange) -> InstantiatedType
Show on GitHub
instantiate(_:in:updating:anchoringInstantiationConstraintsAt:)
Replaces the generic parameters in candidate by fresh variables if their environments don’t contain scopeOfUse, updating substitutions with opened generic parameters and anchoring instantiation constraints at cause.
Declaration
Swift

private mutating func instantiate( _ candidate: NameResolutionResult.Candidate, in scopeOfUse: AnyScopeID, updating substitutions: inout GenericArguments, anchoringInstantiationConstraintsAt cause: ConstraintOrigin ) -> NameResolutionResult.Candidate
Show on GitHub
instantiate(_:in:cause:)
Replaces the generic parameters in subject by fresh variables if their environments don’t contain scopeOfUse, assigning cause to instantiation constraints.
Declaration
Swift

private mutating func instantiate( _ subject: AnyType, in scopeOfUse: AnyScopeID, cause: ConstraintOrigin ) -> InstantiatedType
Show on GitHub
instantiate(_:in:cause:updating:)
Replaces the generic parameters in subject by fresh variables if their environments don’t contain contextOfUse, assigning cause to instantiation constraints.
See more
Declaration
Swift

private mutating func instantiate( _ subject: AnyType, in contextOfUse: InstantiationContext, cause: ConstraintOrigin, updating substitutions: inout GenericArguments ) -> InstantiatedType
Show on GitHub


                    
                    
                    instantiate(_:in:updating:)

Replaces the generic parameters in subject by fresh variables if their environments don’t contain contextOfUse.

Declaration

Swift

private mutating func instantiate(
  _ subject: AnyTerm, in contextOfUse: InstantiationContext,
  updating substitutions: inout GenericArguments
) -> AnyTerm

Show on GitHub


                    
                    
                    instantiate(_:in:updating:)

Returns a fresh variables if p‘ environment doesn’t contain contextOfUse.

Declaration

Swift

private mutating func instantiate(
  _ p: GenericTypeParameterType, in contextOfUse: InstantiationContext,
  updating substitutions: inout GenericArguments
) -> AnyType

Show on GitHub


                    
                    
                    instantiate(_:in:updating:)

Returns a fresh variables if p‘ environment doesn’t contain contextOfUse.

Declaration

Swift

private mutating func instantiate(
  _ p: GenericTermParameter, in contextOfUse: InstantiationContext,
  updating substitutions: inout GenericArguments
) -> AnyTerm

Show on GitHub

instantiate(constraints:in:updating:anchoringInstantiationConstraintsAt:)
Instantiates the contents of constraints in contextOfUse, updating substitutions with opened generic parameters and anchoring instantiation constraints at cause.
Declaration
Swift

private mutating func instantiate( constraints: inout ConstraintSet, in contextOfUse: InstantiationContext, updating substitutions: inout GenericArguments, anchoringInstantiationConstraintsAt cause: ConstraintOrigin )
Show on GitHub


                    
                    
                    shouldOpen(_:in:)

Returns true iff contextOfUse is not contained in p‘s environment.

Declaration

Swift

private func shouldOpen(
  _ p: GenericParameterDecl.ID, in contextOfUse: InstantiationContext
) -> Bool

Show on GitHub

isRecursive(useOf:in:)
Returns true iff a use of d in scopeOfUse is recursive.
Declaration
Swift

private func isRecursive(useOf d: AnyDeclID, in scopeOfUse: AnyScopeID) -> Bool
Show on GitHub

Type inference


                    
                    
                    inferredType(of:usedAs:updating:)

Returns the inferred type of d, which is is used as purpose, inserting new proof obligations in obligations.

Declaration

Swift

private mutating func inferredType(
  of d: BindingDecl.ID, usedAs purpose: BindingDeclUse,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    inferredType(of:withHint:updating:)

Returns the inferred type of e, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func inferredType<T: ExprID>(
  of e: T, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    _inferredType(of:withHint:updating:)

Returns the inferred type of e, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func _inferredType(
  of e: ArrowTypeExpr.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    _inferredType(of:withHint:updating:)

Returns the inferred type of e, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func _inferredType(
  of e: BooleanLiteralExpr.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    _inferredType(of:withHint:updating:)

Returns the inferred type of e, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func _inferredType(
  of e: BufferLiteralExpr.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    _inferredType(of:withHint:updating:)

Returns the inferred type of e, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func _inferredType(
  of e: CaptureExpr.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    _inferredType(of:withHint:updating:)

Returns the inferred type of e, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func _inferredType(
  of e: CastExpr.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    _inferredType(of:withHint:updating:)

Returns the inferred type of e, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func _inferredType(
  of e: ConditionalExpr.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    _inferredType(of:withHint:updating:)

Undocumented

Declaration

Swift

private mutating func _inferredType(
  of e: ConformanceLensExpr.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    _inferredType(of:withHint:updating:)

Returns the inferred type of e, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func _inferredType(
  of e: ExistentialTypeExpr.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    _inferredType(of:withHint:updating:)

Returns the inferred type of e, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func _inferredType(
  of e: FloatLiteralExpr.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    _inferredType(of:withHint:updating:)

Returns the inferred type of e, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func _inferredType(
  of e: FunctionCallExpr.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub

_inferredType(of:withCallee:withHint:updating:)
Returns the inferred type of e knowing its callee has type callee, updating obligations and gathering contextual information from hint.
Declaration
Swift

private mutating func _inferredType( of e: FunctionCallExpr.ID, withCallee callee: AnyType, withHint hint: AnyType?, updating obligations: inout ProofObligations ) -> AnyType
Show on GitHub


                    
                    
                    _inferredType(of:usedAs:withHint:updating:)

Returns the inferred type of e, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func _inferredType(
  of e: InoutExpr.ID, usedAs purpose: NameUse = .unapplied, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    _inferredType(of:withHint:updating:)

Returns the inferred type of e, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func _inferredType(
  of e: IntegerLiteralExpr.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    _inferredType(of:withHint:updating:)

Returns the inferred type of e, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func _inferredType(
  of e: LambdaExpr.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    _inferredType(of:withHint:updating:)

Returns the inferred type of e, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func _inferredType(
  of e: MatchExpr.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub

_inferredType(of:implicitlyIn:usedAs:withHint:updating:)
Returns the inferred type of e, updating obligations and gathering contextual information from hint and implicitQualification.

If the leftmost component of e is implicit, (e.g., .foo.bar), then its next component is resolved using qualified name lookup in implicitQualification. purpose describes the way e is used.
Declaration
Swift

private mutating func _inferredType( of e: NameExpr.ID, implicitlyIn implicitQualification: AnyType? = nil, usedAs purpose: NameUse = .unapplied, withHint hint: AnyType? = nil, updating obligations: inout ProofObligations ) -> AnyType
Show on GitHub


                    
                    
                    _inferredType(of:withHint:updating:)

Returns the inferred type of e, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func _inferredType(
  of e: PragmaLiteralExpr.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    _inferredType(of:withHint:updating:)

Returns the inferred type of e, using hint for context and updating obligations.

Declaration

Swift

private mutating func _inferredType(
  of e: RemoteTypeExpr.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    _inferredType(of:withHint:updating:)

Returns the inferred type of e, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func _inferredType(
  of e: SequenceExpr.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    _inferredType(of:withHint:updating:)

Returns the inferred type of e, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func _inferredType(
  of e: FoldedSequenceExpr, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    _inferredType(of:withHint:updating:)

Returns the inferred type of e, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func _inferredType(
  of e: StringLiteralExpr.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    _inferredType(of:withHint:updating:)

Returns the inferred type of e, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func _inferredType(
  of e: SubscriptCallExpr.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub

_inferredType(of:withCallee:withHint:updating:)
Returns the inferred type of e knowing its callee has type callee, updating obligations and gathering contextual information from hint.
Declaration
Swift

private mutating func _inferredType( of e: SubscriptCallExpr.ID, withCallee callee: AnyType, withHint hint: AnyType?, updating obligations: inout ProofObligations ) -> AnyType
Show on GitHub


                    
                    
                    _inferredType(of:withHint:updating:)

Returns the inferred type of e, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func _inferredType(
  of e: TupleExpr.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    _inferredType(of:withHint:updating:)

Returns the inferred type of e, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func _inferredType(
  of e: TupleMemberExpr.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    _inferredType(of:withHint:updating:)

Returns the inferred type of e, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func _inferredType(
  of e: TupleTypeExpr.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    _inferredType(of:withHint:updating:)

Returns the inferred type of e using hint for context and updating obligations.

Declaration

Swift

private mutating func _inferredType(
  of e: WildcardExpr.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub

inferredCalleeType(of:implicitlyIn:updating:)
Returns the inferred type of e‘s callee using q to resolve implicit qualifications and updating obligations.
Declaration
Swift

private mutating func inferredCalleeType( of e: FunctionCallExpr.ID, implicitlyIn q: AnyType?, updating obligations: inout ProofObligations ) -> AnyType
Show on GitHub
inferredCalleeType(of:implicitlyIn:updating:)
Returns the inferred type of e‘s callee using q to resolve implicit qualifications and updating obligations.
Declaration
Swift

private mutating func inferredCalleeType( of e: SubscriptCallExpr.ID, implicitlyIn q: AnyType?, updating obligations: inout ProofObligations ) -> AnyType
Show on GitHub
inferredType(ofCallee:usedAs:implicitlyIn:updating:)
Returns the inferred type of callee, which is a callee used as purpose, using q to resolve implicit qualifications and updating obligations.
Declaration
Swift

private mutating func inferredType( ofCallee callee: AnyExprID, usedAs purpose: NameUse, implicitlyIn q: AnyType?, updating obligations: inout ProofObligations ) -> AnyType
Show on GitHub
_inferredType(ofLiteral:withHint:defaultingTo:updating:)
Returns the inferred type of literal, which is a literal, updating obligations, gathering contextual information from hint, and defaulting to defaultType if contextual information doesn’t allow top-down inference.

If hint is not nil, it is constrained to be conforming to the ExpressibleBy***Literal corresponding to defaultType and the type of e if inferred as hint. Otherwise, the type of literal is inferred as defaultType.

Requires
literal is a literal expression.
Declaration
Swift

private mutating func _inferredType<T: Expr>( ofLiteral literal: T.ID, withHint hint: AnyType? = nil, defaultingTo defaultType: AnyType, updating obligations: inout ProofObligations ) -> AnyType
Show on GitHub
inferredReturnType(of:withHint:updating:)
Returns the inferred type of e‘s output, updating obligations and gathering contextual information from hint.
Declaration
Swift

private mutating func inferredReturnType( of e: LambdaExpr.ID, withHint hint: AnyType? = nil, updating obligations: inout ProofObligations ) -> AnyType
Show on GitHub


                    
                    
                    inferredType(of:withHint:updating:)

Returns the inferred type of p, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func inferredType(
  of p: AnyPatternID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    inferredType(of:withHint:updating:)

Returns the inferred type of p, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func inferredType(
  of p: BindingPattern.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    inferredType(of:withHint:updating:)

Returns the inferred type of p, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func inferredType(
  of p: ExprPattern.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    inferredType(of:withHint:updating:)

Returns the inferred type of p, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func inferredType(
  of p: NamePattern.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    inferredType(of:withHint:updating:)

Returns the inferred type of p, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func inferredType(
  of p: OptionPattern.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    inferredType(of:withHint:updating:)

Returns the inferred type of p, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func inferredType(
  of p: TuplePattern.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub


                    
                    
                    inferredType(of:withHint:updating:)

Returns the inferred type of p, updating obligations and gathering contextual information from hint.

Declaration

Swift

private mutating func inferredType(
  of p: WildcardPattern.ID, withHint hint: AnyType? = nil,
  updating obligations: inout ProofObligations
) -> AnyType

Show on GitHub

inferredIterationElementType(of:)
Returns the inferred type of the elements over which s iterates.

The returned type is obtained by looking at the traits implemented by the type D of the loop’s iteration domain. For a non-consuming loop (i.e., a loop whose pattern is introduced with let or inout), the return value is the implementation of Collection.Element for D‘s conformance to Collection in the innermost scope enclosing s. If such a conformance does not exist, or if the loop is consuming, then the return value is the implementation of Iterator.Element for D’s conformance to Iterator, or nil if such a conformance doesn not exist.
Declaration
Swift

private mutating func inferredIterationElementType(of s: ForStmt.ID) -> AnyType?
Show on GitHub


                    
                    
                    constrain(_:in:)

Updates obligations with the constraints implied by the result of name resolution for each element in components.

Declaration

Swift

private mutating func constrain(
  _ components: [NameResolutionResult.ResolvedComponent], in obligations: inout ProofObligations
) -> AnyType

Show on GitHub

constrain(_:to:in:extending:)
Updates obligations to constrain name as a reference to one of candidates, extending substitutions with opened generic parameters, and returning the inferred type of name.

Requires
candidates is not empty
Declaration
Swift

private mutating func constrain( _ name: NameExpr.ID, to candidates: [NameResolutionResult.Candidate], in obligations: inout ProofObligations, extending substitutions: inout GenericArguments ) -> AnyType
Show on GitHub
constrain(_:to:in:)
Constrains subject to have type t in obligations, returning cache.local.exprType[e] if it isn’t nil or t otherwise.

Note
Unlike assign(_:to:), this method doesn’t override inferredTypes[subject] if it isn’t nil but creates an equality constraint instead.
Declaration
Swift

@discardableResult private mutating func constrain<T: ExprID>( _ e: T, to t: AnyType, in obligations: inout ProofObligations ) -> AnyType
Show on GitHub
discharge(_:relatedTo:ignoringSharedCache:)
Proves the formulae in obligations, which relate to the well-typedness of n, returning the best assignment of universally quantified variables.
Declaration
Swift

@discardableResult private mutating func discharge<T: NodeIDProtocol>( _ obligations: ProofObligations, relatedTo n: T, ignoringSharedCache ignoreSharedCache: Bool = false ) -> Solution
Show on GitHub


                    
                    
                    commit(_:satisfying:ignoringSharedCache:)

Commits the choices made in solution to satisfy obligations in the program.

Declaration

Swift

private mutating func commit(
  _ solution: Solution, satisfying obligations: ProofObligations,
  ignoringSharedCache ignoreSharedCache: Bool
)

Show on GitHub

tracingInference(relatedTo:_:)
Calls action on self, logging a trace of constraint solving iff shouldTraceInference(n) returns true.
Declaration
Swift

private mutating func tracingInference<T: NodeIDProtocol>( relatedTo n: T, _ action: (inout Self, Bool) -> Solution ) -> Solution
Show on GitHub


                    
                    
                    rank(_:_:)

Returns the rank of lhs relative ro rhs.

Declaration

Swift

mutating func rank(_ lhs: Solution, _ rhs: Solution) -> StrictPartialOrdering

Show on GitHub

compareBindingPrecedence(_:_:in:at:)
Compares lhs and rhs in scopeOfUse and returns whether one has either shadows or is more specific than the other.

lhs and rhs are assumed to have compatible types.
Declaration
Swift

private mutating func compareBindingPrecedence( _ lhs: AnyDeclID, _ rhs: AnyDeclID, in scopeOfUse: AnyScopeID, at site: SourceRange ) -> StrictPartialOrdering
Show on GitHub
compareDepth(_:_:in:)
Compares lhs and rhs in scopeOfUse and returns whether one shadows the other.

lhs is deeper than rhs w.r.t. scopeOfUse if any of these statements hold:
- lhs and rhs are members of traits t1 and t2, respectively, and t1 refines t2.
- lhs isn’t member of a trait and rhs is.
- lhs is lexically deeper than rhs (see Program.compareLexicalDepth).
Declaration
Swift

private mutating func compareDepth( _ lhs: AnyDeclID, _ rhs: AnyDeclID, in scopeOfUse: AnyScopeID ) -> StrictPartialOrdering
Show on GitHub
compareSpecificity(_:_:in:at:)
Compares lhs and rhs in scopeOfUse and returns whether one is more specific than the other, instantiating generic type constraints at site.

lhs is more specific than rhs iff both lhs and rhs are callable types with the same labels and lhs accepts strictly less arguments than rhs.
Declaration
Swift

private mutating func compareSpecificity( _ lhs: AnyType, _ rhs: AnyType, in scopeOfUse: AnyScopeID, at site: SourceRange ) -> StrictPartialOrdering
Show on GitHub
isMoreSpecific(_:_:in:at:)
Returns true iff lhs is more specific than rhs in scopeOfUse, instantiating generic type constraints at site.

Requires
lhs and rhs are CallableTypes.
Declaration
Swift

private mutating func isMoreSpecific( _ lhs: AnyType, _ rhs: AnyType, in scopeOfUse: AnyScopeID, at site: SourceRange ) -> Bool
Show on GitHub

AST Restructuring

fold(_:)
Returns a binary tree encoding the evaluation order of e or nil if e contains an undefined operator.
Declaration
Swift

private mutating func fold(_ e: SequenceExpr.ID) -> FoldedSequenceExpr?
Show on GitHub


                    
                    
                    fold(_:into:)

Returns a copy of initialResult in which tail has been incorporated or nil if tail contains an undefined operator.

Declaration

Swift

private mutating func fold(
  _ tail: ArraySlice<SequenceExpr.TailElement>,
  into initialResult: FoldedSequenceExpr
) -> FoldedSequenceExpr?

Show on GitHub

Helpers

freshVariable()
Creates a fresh type variable.

The returned instance is unique access concurrent type checker instances.
Declaration
Swift

mutating func freshVariable() -> TypeVariable
Show on GitHub
freshTermVariable()
Creates a fresh term variable.

The returned instance is unique access concurrent type checker instances.
Declaration
Swift

mutating func freshTermVariable() -> TermVariable
Show on GitHub
isArrow(_:)
Returns true iff t is known as an arrow type.
Declaration
Swift

private func isArrow(_ t: AnyType) -> Bool
Show on GitHub
isSubscript(_:)
Returns true iff t is known as a subscript type.
Declaration
Swift

private func isSubscript(_ t: AnyType) -> Bool
Show on GitHub
isBoundToNominalTypeDecl(_:in:)
Returns true iff e is bound to a nominal type declaration in o.
Declaration
Swift

private mutating func isBoundToNominalTypeDecl(_ e: AnyExprID, in o: ProofObligations) -> Bool
Show on GitHub
isBoundToNominalTypeDecl(_:)
Returns true iff r is bound to a nominal type declaration.
Declaration
Swift

private mutating func isBoundToNominalTypeDecl(_ r: DeclReference) -> Bool
Show on GitHub
isNominalTypeDecl(_:)
Returns true iff d is a nominal type declaration.
Declaration
Swift

private mutating func isNominalTypeDecl(_ d: AnyDeclID) -> Bool
Show on GitHub
isVar(_:)
Returns true iff d introduces var bindings.
Declaration
Swift

private func isVar(_ d: BindingDecl.ID) -> Bool
Show on GitHub
isTraitReceiver(_:)
Returns true iff t is the receiver of a trait declaration.
Declaration
Swift

private func isTraitReceiver(_ t: GenericTypeParameterType) -> Bool
Show on GitHub
isAbstractAssociatedDomain(_:)
Returns true iff t is a generic type parameter an associated type rooted at one.
Declaration
Swift

private func isAbstractAssociatedDomain(_ t: AnyType) -> Bool
Show on GitHub
requiresBody(_:)
Returns true if d isn’t a trait requirement, an FFI, or an external function.
Declaration
Swift

private func requiresBody(_ d: FunctionDecl.ID) -> Bool
Show on GitHub
traitIntroducing(_:)
Returns the trait whose g is the receiver, if any.
Declaration
Swift

private func traitIntroducing(_ g: GenericParameterDecl.ID) -> TraitType?
Show on GitHub
canFallThrough(_:)
Returns true iff control flow may jump to the statement after s.
Declaration
Swift

private mutating func canFallThrough<T>(_ s: T) -> Bool where T : StmtID
Show on GitHub
canFallThrough(_:)
Returns true iff control flow may jump to the statement after s.
Declaration
Swift

private mutating func canFallThrough(_ s: BraceStmt.ID) -> Bool
Show on GitHub
canFallThrough(_:)
Returns false iff executing s always terminates the program.
Declaration
Swift

private mutating func canFallThrough(_ s: ExprStmt.ID) -> Bool
Show on GitHub


                    
                    
                    compareOrder(_:_:)

Returns how a and b are ordered.

Declaration

Swift

private mutating func compareOrder(
  _ a: TraitType, _ b: TraitType
) -> StrictOrdering

Show on GitHub


                    
                    
                    compareOrder(_:_:)

Returns how a and b are ordered.

Declaration

Swift

private mutating func compareOrder(
  _ a: RequirementSymbol, _ b: RequirementSymbol
) -> StrictOrdering

Show on GitHub


                    
                    
                    compareOrder(_:_:)

Returns how a and b are ordered.

Declaration

Swift

private mutating func compareOrder(
  _ a: RequirementTerm, _ b: RequirementTerm
) -> StrictOrdering

Show on GitHub

buildTerm(_:)
Returns the requirement term corresponding to t.
Declaration
Swift

func buildTerm(_ t: AnyType) -> RequirementTerm
Show on GitHub

Caching

Cache
A possibly shared instance of a typed program.
See more
Declaration
Swift

struct Cache : Sendable
Show on GitHub
SynchronizationUpdate
A synchronization update to perform on a shared instance.
See more
Declaration
Swift

private struct SynchronizationUpdate : Hashable, Sendable
Show on GitHub