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