Trait InferCtxtExt

Source
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§

Source

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§

Source§

impl<'tcx> InferCtxtExt<'tcx> for InferCtxt<'tcx>