Module rustc_borrowck::region_infer::values

Structs

• LiveLoans 🔒
  Data used to compute the loans that are live at a given point in the CFG, when using -Zpolonius=next.
• LivenessValues 🔒
  Records the CFG locations where each region is live. When we initially compute liveness, we use an interval matrix storing liveness ranges for each region-vid.
• PlaceholderIndex
  A single integer representing a ty::Placeholder.
• PlaceholderIndices 🔒
  Maps from ty::PlaceholderRegion values that are used in the rest of rustc to the internal PlaceholderIndex values that are used in NLL.
• RegionValues 🔒
  Stores the full values for a set of regions (in contrast to LivenessValues, which only stores those points in the where a region is live). The full value for a region may contain points in the CFG, but also free regions as well as bound universe placeholders.

Enums

• RegionElement 🔒
  An individual element in a region value – the value of a particular region variable consists of a set of these elements.

Traits

• ToElementIndex 🔒

Functions

• pretty_print_points 🔒
  For debugging purposes, returns a pretty-printed string of the given points.
• pretty_print_region_elements 🔒
  For debugging purposes, returns a pretty-printed string of the given region elements.