fn region_vid_to_name(
        &self,
        errctx: &ErrorReportingCtx<'_, '_, '_>,
        renctx: &mut RegionErrorNamingCtx,
        region: RegionVid,
    ) -> Option<RegionName> {
        errctx
            .region_infcx
            .give_region_a_name(errctx, renctx, region)
            .filter(Self::region_name_is_suggestable)
    }
/// Returns a name for the region if it is suggestable. See `region_name_is_suggestable`.
Returns a name for the region if it is suggestable.
Returns a name for the region if it is suggestable .
fn region_vid_to_name(
        &self,
        errctx: &ErrorReportingCtx<'_, '_, '_>,
        renctx: &mut RegionErrorNamingCtx,
        region: RegionVid,
    ) -> Option<RegionName> {
        errctx
            .region_infcx
            .give_region_a_name(errctx, renctx, region)
            .filter(Self::region_name_is_suggestable)
    }
fn region_vid_to_name ( & self , errctx : & ErrorReportingCtx < ' _ , ' _ , ' _ > , renctx : & mut RegionErrorNamingCtx , region : RegionVid , ) -> Option < RegionName > { errctx . region_infcx . give_region_a_name ( errctx , renctx , region ) . filter ( Self :: region_name_is_suggestable ) }
Returns a name for the region if it is suggestable.
Returns a name for the region if it is suggestable .
&self
errctx
&ErrorReportingCtx<'_, '_, '_>
renctx
&mut RegionErrorNamingCtx
region
RegionVid