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§
Sourcefn 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>>
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.