Module rustc_infer::infer::generalize

source ·

Structs

  • CombineDelegate
  • Generalization
    Result from a generalization operation. This includes not only the generalized type, but also a bool flag indicating whether further WF checks are needed.
  • Generalizer 🔒
    The “generalizer” is used when handling inference variables.

Traits

  • GeneralizerDelegate
    Abstracts the handling of region vars between HIR and MIR/NLL typechecking in the generalizer code.

Functions

  • generalize 🔒
    Attempts to generalize term for the type variable for_vid. This checks for cycles – that is, whether the type term references for_vid.