Trait OutlivesEnvironmentBuildExt

pub trait OutlivesEnvironmentBuildExt<'tcx> {
    // Required methods
    fn new(
        infcx: &InferCtxt<'tcx>,
        body_id: LocalDefId,
        param_env: ParamEnv<'tcx>,
        assumed_wf_tys: impl IntoIterator<Item = Ty<'tcx>>,
    ) -> Self;
    fn new_with_implied_bounds_compat(
        infcx: &InferCtxt<'tcx>,
        body_id: LocalDefId,
        param_env: ParamEnv<'tcx>,
        assumed_wf_tys: impl IntoIterator<Item = Ty<'tcx>>,
        implied_bounds_compat: bool,
    ) -> Self;
}

Required Methods

fn new( infcx: &InferCtxt<'tcx>, body_id: LocalDefId, param_env: ParamEnv<'tcx>, assumed_wf_tys: impl IntoIterator<Item = Ty<'tcx>>, ) -> Self

fn new_with_implied_bounds_compat( infcx: &InferCtxt<'tcx>, body_id: LocalDefId, param_env: ParamEnv<'tcx>, assumed_wf_tys: impl IntoIterator<Item = Ty<'tcx>>, implied_bounds_compat: bool, ) -> Self

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> OutlivesEnvironmentBuildExt<'tcx> for OutlivesEnvironment<'tcx>