Trait InferCtxtRegionExt 

pub trait InferCtxtRegionExt<'tcx> {
    // Required method
    fn resolve_regions(
        &self,
        body_def_id: LocalDefId,
        param_env: ParamEnv<'tcx>,
        assumed_wf_tys: impl IntoIterator<Item = Ty<'tcx>>,
    ) -> Vec<RegionResolutionError<'tcx>>;
}

Required Methods

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

Resolve regions lexically.

This function assumes that all infer variables are already constrained.

FIXME(#155345): this can probably be moved back to rustc_infer now that normalization is no longer required. These two extension traits won’t be needed then.

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>