pub(super) fn item_non_self_assumptions(
tcx: TyCtxt<'_>,
def_id: DefId,
) -> EarlyBinder<'_, Clauses<'_>>
Expand description
This exists as an optimization to compute only the item bounds of the item
that are not Self
bounds.
pub(super) fn item_non_self_assumptions(
tcx: TyCtxt<'_>,
def_id: DefId,
) -> EarlyBinder<'_, Clauses<'_>>
This exists as an optimization to compute only the item bounds of the item
that are not Self
bounds.