Module rustc_infer::infer::relate::generalize

source ·

Structs§

  • 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.