pub trait ToRegionVid {
    fn to_region_vid(self) -> RegionVid;
}
Expand description

Right now, we piggy back on the ReVar to store our NLL inference regions. These are indexed with RegionVid. This method will assert that the region is a ReVar and extract its internal index. This is reasonable because in our MIR we replace all universal regions with inference variables.

Required Methods

Implementations on Foreign Types

Implementors