Module values 

Structs

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

LiveRegions 🔒

Either a mapping of which points a region is live at (for regular bodies), or which regions are live in the body somewhere (for promoteds, which do not care about where they are live, only that they are).

RegionElement 🔒

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

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.