pub(super) fn explicit_item_bounds(
    tcx: TyCtxt<'_>,
    def_id: DefId
) -> &[(Predicate<'_>, Span)]