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>,
    ) -> 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.

fn resolve_regions_with_outlives_env( &self, outlives_env: &OutlivesEnvironment<'tcx>, ) -> 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", so this trait is not object safe.

Implementors

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