Expand description

Module for inferring the variance of type and lifetime parameters. See the rustc dev guide chapter for more info.

Modules

  • Code to gather up constraints. Constraint construction and representation
  • solve 🔒
    Code to solve constraints and write out the results. Constraint solving
  • terms 🔒
    Defines the TermsContext basically houses an arena where we can allocate terms.
  • Code to write unit tests of variance.
  • xform 🔒
    Code for transforming variances.

Functions