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