Function chalk_solve::display::display_self_where_clauses_as_bounds

source ยท
fn display_self_where_clauses_as_bounds<'a, I: Interner>(
    s: &'a InternalWriterState<'a, I>,
    bounds: &'a [QuantifiedWhereClause<I>],
) -> impl Display + 'a
Expand description

Displays a set of bounds, all targeting Self, as just the trait names, separated by +.

For example, a list of quantified where clauses which would normally be displayed as:

Self: A, Self: B, Self: C

Is instead displayed by this function as:

A + B + C

Shared between the Trait in dyn Trait and OpaqueTyDatum bounds.