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

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

Loading content...

Implementations on Foreign Types

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

impl ToRegionVid for RegionVid[src]

Loading content...

Implementors

Loading content...