Module cairo_lang_semantic::expr::inference

source ·
Expand description

Bidirectional type inference.

Modules

Structs

  • 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
  • Inference
    State of inference. A system of inference constraints.
  • InferenceData
    State of inference.
  • 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

Type Aliases