[−][src]Trait rustc_mir::borrow_check::nll::ToRegionVid

pub trait ToRegionVid {
    pub 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

pub fn to_region_vid(self) -> RegionVid[src]

Loading content...

Implementations on Foreign Types

impl<'tcx> ToRegionVid for &'tcx RegionKind[src]

impl ToRegionVid for RegionVid[src]

Loading content...

Implementors

Loading content...