Trait rustc_borrowck::nll::ToRegionVid

pub trait ToRegionVid {
    // Required method
    fn to_region_vid(self) -> RegionVid;
}

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

fn to_region_vid(self) -> RegionVid

Implementations on Foreign Types

impl ToRegionVid for RegionVid

fn to_region_vid(self) -> RegionVid

impl<'tcx> ToRegionVid for Region<'tcx>

fn to_region_vid(self) -> RegionVid

Implementors