pub trait ToRegionVid {
    // Required method
    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§

Implementations on Foreign Types§

source§

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

source§

impl ToRegionVid for RegionVid

Implementors§