Function rustc_traits::implied_outlives_bounds::compute_implied_outlives_bounds

fn compute_implied_outlives_bounds<'tcx>(
    infcx: &InferCtxt<'_, 'tcx>, 
    param_env: ParamEnv<'tcx>, 
    ty: Ty<'tcx>
) -> Fallible<Vec<OutlivesBound<'tcx>>>