Trait InferCtxtExt

pub trait InferCtxtExt<'tcx> {
    // Required method
    fn implied_bounds_tys<Tys: IntoIterator<Item = Ty<'tcx>>>(
        &self,
        body_id: LocalDefId,
        param_env: ParamEnv<'tcx>,
        tys: Tys,
        disable_implied_bounds_hack: bool,
    ) -> impl Iterator<Item = OutlivesBound<'tcx>>;
}

Required Methods

fn implied_bounds_tys<Tys: IntoIterator<Item = Ty<'tcx>>>( &self, body_id: LocalDefId, param_env: ParamEnv<'tcx>, tys: Tys, disable_implied_bounds_hack: bool, ) -> impl Iterator<Item = OutlivesBound<'tcx>>

Do NOT call this directly. You probably want to construct a OutlivesEnvironment instead if you’re interested in the implied bounds for a given signature.

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> InferCtxtExt<'tcx> for InferCtxt<'tcx>