pub(super) fn item_bounds(tcx: TyCtxt<'_>, def_id: DefId) -> &List<Predicate<'_>>