Trait InferCtxtRegionExt 

pub trait InferCtxtRegionExt<'tcx> {
    // Required methods
    fn resolve_regions(
        &self,
        body_id: LocalDefId,
        param_env: ParamEnv<'tcx>,
        assumed_wf_tys: impl IntoIterator<Item = Ty<'tcx>>,
    ) -> Vec<RegionResolutionError<'tcx>>;
    fn resolve_regions_with_outlives_env(
        &self,
        outlives_env: &OutlivesEnvironment<'tcx>,
        span: Span,
    ) -> Vec<RegionResolutionError<'tcx>>;
}

Required Methods

fn resolve_regions( &self, body_id: LocalDefId, param_env: ParamEnv<'tcx>, assumed_wf_tys: impl IntoIterator<Item = Ty<'tcx>>, ) -> Vec<RegionResolutionError<'tcx>>

Resolve regions, using the deep normalizer to normalize any type-outlives obligations in the process. This is in rustc_trait_selection because we need to normalize.

Prefer this method over resolve_regions_with_normalize, unless you are doing something specific for normalization.

This function assumes that all infer variables are already constrained.

fn resolve_regions_with_outlives_env( &self, outlives_env: &OutlivesEnvironment<'tcx>, span: Span, ) -> Vec<RegionResolutionError<'tcx>>

Don’t call this directly unless you know what you’re doing.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<'tcx> InferCtxtRegionExt<'tcx> for InferCtxt<'tcx>