pub trait InferCtxtExt<'a, 'tcx> {
// Required methods
fn implied_outlives_bounds(
&self,
param_env: ParamEnv<'tcx>,
body_id: LocalDefId,
ty: Ty<'tcx>
) -> Vec<OutlivesBound<'tcx>>;
fn implied_bounds_tys(
&'a self,
param_env: ParamEnv<'tcx>,
body_id: LocalDefId,
tys: FxIndexSet<Ty<'tcx>>
) -> Bounds<'a, 'tcx>;
}