Trait rustc_borrowck::nll::ToRegionVid
source · 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
source