Module inference

Bidirectional type inference.

Modules

canonic

conform

infers

solver

Structs

ConstVar

A const variable, created when a generic const argument is not passed, and thus is not known yet and needs to be inferred.

ErrorSet

This struct is used to ensure that when an inference error occurs, it is properly set in the Inference object, and then properly consumed.

ImplVar

An impl variable, created when a generic type argument is not passed, and thus is not known yet and needs to be inferred.

ImplVarId

ImplVarTraitItemMappings

A mapping of an impl var’s trait items to concrete items

Inference

State of inference. A system of inference constraints.

InferenceData

State of inference.

LocalConstVarId

LocalImplVarId

LocalTypeVarId

TypeVar

A type variable, created when a generic type argument is not passed, and thus is not known yet and needs to be inferred.

Enums

InferenceError

InferenceErrorStatus

InferenceId

An id for an inference context. Each inference variable is associated with an inference id.

InferenceVar

Type Aliases

InferenceResult