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