Function implied_outlives_bounds 

pub fn implied_outlives_bounds<'tcx>(_: TyCtxt<'tcx>, _: &Key<'tcx>) -> bool